BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Tapani Hyttinen

Tapani Hyttinen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.FA

Catalog footprint

What is connected

16works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

An AEC framework for fields with commuting automorphisms

In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA,the model companion of difference fields with one automorphism. Our fields with commuting automorphisms generalize this setting. We have several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms,the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting automorphisms.We prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models,that the class is homogeneous,and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On highly equivalent non-isomorphic countable models of arithmetic and set theory

It is well-known that the first order Peano axioms PA have a continuum of non-isomorphic countable models. The question, how close to being isomorphic such countable models can be, seems to be less investigated. A measure of closeness to isomorphism of countable models is the length of back-and-forth sequences that can be established between them. We show that for every countable ordinal alpha there are countable non-isomorphic models of PA with a back-and-forth sequence of length alpha between them. This implies that the Scott height (or rank) of such models is bigger than $α$. We also prove the same result for models of ZFC.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On ultraproducts, the spectral theorem and rigged Hilbert spaces

We start by showing how to approximate unitary and bounded self-adjoint operators by operators in finite dimensional spaces. Using ultraproducts we give a precise meaning for the approximation. In this process we see how the spectral measure is obtained as an ultralimit of counting measures that arise naturally from the finite dimensional approximations. Then we see how generalized distributions can be interpreted in the ultraproduct. Finally we study how one can calculate kernels of operators $K$ by calculating them in the finite dimensional approximations and how one needs to interpret Dirac deltas in the ultraproduct in order to get the kernels as propagators $\langle x_{1}|K|x_{0}\rangle$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

First-Order Model Theory of Free Projective Planes

We prove that the theory of open projective planes is complete and strictly stable, and infer from this that Marshall Hall's free projective planes $(π^n : 4 \leq n \leq ω)$ are all elementary equivalent and that their common theory is strictly stable and decidable, being in fact the theory of open projective planes. We further characterize the elementary substructure relation in the class of open projective planes, and show in particular that $(π^n : 4 \leq n \leq ω)$ is an elementary chain. We then prove that the theory of open projective planes does not have a prime model, that it has elimination of quantifiers down to Boolean combinations of existential formulas, and that it is not model complete. Finally, we characterize the forking independence relation in models of the theory and prove that the $π^n$'s ($4 \leq n \leq ω)$ are strongly type-homogeneous.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Borel-reducibility Counterpart of Shelah's Main Gap Theorem

We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is strictly above the isomorphism of models of T with respect to Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations are considered on models of some fixed uncountable cardinality obeying certain restrictions.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Measuring dependence in metric abstract elementary classes with perturbations

We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we give a new example of such a class based on B. Zilber's approximations of Weyl algebras. We introduce a way to measure the dependence of a tuple $a$ from a set $B$ over another set $A$. We prove basic properties of the notion, e.g. that $a$ is independent of $B$ over $A$ in the usual sense of homogeneous model theory if and only if the measure of dependence is $<\varepsilon$ for all $\varepsilon >0$. As an example of our measure of dependence we show a connection between the measure and entropy in models from quantum mechanics in which the spectrum of the observable is discrete. As an application, we show that weak simplicity implies a very strong form of simplicity and study the question of when the dependence inside a set of all realisations of some type can be seen to arise from a pregeometry in cases when the type is not regular. In the end of the paper, we demonstrate our notions and results in one more example: a class built from the $p$-adic integers.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Quantum Team Logic and Bell's Inequalities

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this end we generalise the team semantics of dependence logic [7] first to probabilistic team semantics, and then to what we call quantum team semantics.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On model theory of covers of algebraically closed fields

We study covers of the multiplicative group of an algebraically closed field as quasiminimal pregeometry structures and prove that they satisfy the axioms for Zariski-like structures presented in \cite{lisuriart}, section 4. These axioms are intended to generalize the concept of a Zariski geometry into a non-elementary context. In the axiomatization, it is required that for a structure $\M$, there is, for each $n$, a collection of subsets of $\M^n$, that we call the \emph{irreducible sets}, satisfying certain properties. These conditions are generalizations of some qualities of irreducible closed sets in the Zariski geometry context. They state that some basic properties of closed sets (in the Zariski geometry context) are satisfied and that specializations behave nicely enough. They also ensure that there are some traces of Compactness even though we are working in a non-elementary context.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On compactness of logics that can express properties of symmetry or connectivity

A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to prove that for a number of natural properties P speaking about automorphism groups or connectivity, every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. We also give an example of a logic that extends first-order logic, has the compactness property and can express the property "the cardinality of the automorphism group is at most $2^{\aleph_0}$".

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Borel* Sets in the Generalised Baire Space

We start by giving a survey to the theory of Borel*(κ) sets in the generalized Baire space Baire(κ) = κ^κ. In particular we look at the relation of this complexity class to other complexity classes which we denote by Borel(κ), Δ^1_1(κ) and Σ^1_1(κ) and the connections between Borel*(κ)-sets and the infinitely deep language M_{κ^+κ}. In the end of the paper we prove the consistency of Borel*(κ) \ne Σ^1_1(κ).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On Second-order Characterizability

We investigate the extent of second order characterizable structures by extending Shelah's Main Gap dichotomy to second order logic. For this end we consider a countable complete first order theory T. We show that all sufficiently large models of T have a characterization up to isomorphism in the extension of second order logic obtained by adding a little bit of infinitary logic if and only if T is shallow superstable with NDOP and NOTOP. Our result relies on cardinal arithmetic assumptions. Under weaker assumptions we get consistency results or alternatively results about second order logic with Henkin semantics.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On Σ^1_1-complete Equivalence Relations on the Generalized Baire Space

Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if V = L, then many of them are Σ^1_1-complete, in particular the isomorphism relation of dense linear orders. Then we show that it is undecidable in ZFC whether or not the isomorphism relation of a certain well behaved theory (stable, NDOP, NOTOP) is Σ^1_1-complete (it is, if V = L, but can be forced not to be).

0 citations0 reviewsNo code linkedOpen access