Showing 1–39 of 39 results for author: Hyttinen, T

On Model Theory of Second-Order Objects

Authors: Tapani Hyttinen, Joni Puljujärvi, Davide Emilio Quadrellaro

Abstract: Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that generalizes the standard notion of abstract elementary class, and show that it is an example of an accessible category. We apply our framework to show that the logic… ▽ More Motivated by team semantics and existential second-order logic, we develop a model-theoretic framework for studying second-order objects such as sets and relations. We introduce a notion of abstract elementary team categories that generalizes the standard notion of abstract elementary class, and show that it is an example of an accessible category. We apply our framework to show that the logic $\mathsf{FOT}$ introduced by Kontinen and Yang satisfies a version of Lindström's Theorem. Finally, we consider the problem of transferring categoricity between different cardinalities for complete theories in existential second-order logic (or independence logic) and prove both a downwards and an upwards categoricity transfer result. △ Less

Submitted 6 May, 2024; originally announced May 2024.

MSC Class: 03C45; 03C48; 03C85

Varieties of strictly n-generated Heyting algebras

Authors: Tapani Hyttinen, Davide Emilio Quadrellaro

Abstract: For any $n<ω$ we construct an infinite Heyting algebra $H_n$ which is $(n+1)$-generated but that contains only finite $n$-generated subalgebras. From this we conclude that for every $n<ω$ there exists a variety of Heyting algebras which contains an infinite $(n+1)$-generated Heyting algebra, but which contains only finite $n$-generated Heyting algebras. For the case $n=2$ this provides a negative… ▽ More For any $n<ω$ we construct an infinite Heyting algebra $H_n$ which is $(n+1)$-generated but that contains only finite $n$-generated subalgebras. From this we conclude that for every $n<ω$ there exists a variety of Heyting algebras which contains an infinite $(n+1)$-generated Heyting algebra, but which contains only finite $n$-generated Heyting algebras. For the case $n=2$ this provides a negative answer to a question posed by G. Bezhanishvili and R. Grigolia in [3]. △ Less

Submitted 21 June, 2023; originally announced June 2023.

MSC Class: 03C05; 06D20; 08B99

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

Authors: Tapani Hyttinen, Jouko Väänänen

Abstract: 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 the… ▽ More 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. △ Less

Submitted 27 August, 2022; originally announced August 2022.

MSC Class: 03C62; 03C15

On approximations of Feynman path integrals

Authors: Tapani Hyttinen

Abstract: We study approximations of Feynman path integrals in finite dimensional spaces and how the approximations determine the propagator. We study approximations of Feynman path integrals in finite dimensional spaces and how the approximations determine the propagator. △ Less

Submitted 9 June, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

On ultraproducts, the spectral theorem and rigged Hilbert spaces

Authors: Åsa Hirvonen, Tapani Hyttinen

Abstract: 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 c… ▽ More 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$. △ Less

Submitted 15 August, 2022; v1 submitted 10 February, 2020; originally announced February 2020.

An AEC framework for fields with commuting automorphisms

Authors: Tapani Hyttinen, Kaisa Kangas

Abstract: 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 the… ▽ More 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). △ Less

Submitted 12 August, 2022; v1 submitted 24 April, 2019; originally announced April 2019.

First-Order Model Theory of Free Projective Planes

Authors: Tapani Hyttinen, Gianluca Paolini

Abstract: 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… ▽ More 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. △ Less

Submitted 10 February, 2020; v1 submitted 8 November, 2018; originally announced November 2018.

Comments: New version, several open questions have been solved

MSC Class: 03C45; 51E15

On $Σ_1^1$-completeness of quasi-orders on $κ^κ$

Authors: Tapani Hyttinen, Vadim Kulikov, Miguel Moreno

Abstract: We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $Σ_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($κ>ω$). This improvement to known results in $L$ has many new consequences concerning the $Σ_1^1$-completeness of quasi-orders and equivalence relations such as the embeddability of dense linear orders as well as the equivalence modulo various v… ▽ More We prove under $V=L$ that the inclusion modulo the non-stationary ideal is a $Σ_1^1$-complete quasi-order in the generalized Borel-reducibility hierarchy ($κ>ω$). This improvement to known results in $L$ has many new consequences concerning the $Σ_1^1$-completeness of quasi-orders and equivalence relations such as the embeddability of dense linear orders as well as the equivalence modulo various versions of the non-stationary ideal. This serves as a partial or complete answer to several open problems stated in literature. Additionally the theorem is applied to prove a dichotomy in $L$: If the isomorphism of a countable first-order theory (not necessarily complete) is not $Δ_1^1$, then it is $Σ_1^1$-complete. We also study the case $V\ne L$ and prove $Σ_1^1$-completeness results for weakly ineffable and weakly compact $κ$. △ Less

Submitted 8 December, 2019; v1 submitted 6 April, 2018; originally announced April 2018.

Categoricity and Universal Classes

Authors: Tapani Hyttinen, Kaisa Kangas

Abstract: Let $(\mathcal{K} ,\subseteq )$ be a universal class with $LS(\mathcal{K})=λ$ categorical in regular $κ>λ^+$ with arbitrarily large models, and let $\mathcal{K}^*$ be the class of all $\mathcal{A}\in\mathcal{K}_{>λ}$ for which there is $\mathcal{B} \in \mathcal{K}_{\geκ}$ such that $\mathcal{A}\subseteq\mathcal{B}$. We prove that $\mathcal{K}^*$ is categorical in every $ξ>λ^+$,… ▽ More Let $(\mathcal{K} ,\subseteq )$ be a universal class with $LS(\mathcal{K})=λ$ categorical in regular $κ>λ^+$ with arbitrarily large models, and let $\mathcal{K}^*$ be the class of all $\mathcal{A}\in\mathcal{K}_{>λ}$ for which there is $\mathcal{B} \in \mathcal{K}_{\geκ}$ such that $\mathcal{A}\subseteq\mathcal{B}$. We prove that $\mathcal{K}^*$ is categorical in every $ξ>λ^+$, $\mathcal{K}_{\ge\beth_{(2^{λ^+})^+}} \subseteq \mathcal{K}^{*}$, and the models of $\mathcal{K}^*_{>λ^+}$ are essentially vector spaces (or trivial i.e. disintegrated). △ Less

Submitted 9 January, 2018; v1 submitted 22 December, 2017; originally announced December 2017.

On large cardinals and generalized Baire spaces

Authors: David Asperó, Tapani Hyttinen, Vadim Kulikov, Miguel Moreno

Abstract: Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $κ$. We show the consistency of $E^{λ^{++},λ^{++}}_{λ\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{λ^{++}}_λ$ in the space $(λ^{++})^{λ^{++}}$, being continuously reducible to… ▽ More Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $κ$. We show the consistency of $E^{λ^{++},λ^{++}}_{λ\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{λ^{++}}_λ$ in the space $(λ^{++})^{λ^{++}}$, being continuously reducible to $E^{2,λ^{++}}_{λ^+\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{λ^{++}}_{λ^+}$ in the space $2^{λ^{++}}$. Then we show the consistency of $E^{2,κ}_{reg}$, the relation of equivalence modulo the non-stationary ideal restricted to regular cardinals in the space $2^κ$, being $Σ_1^1$-complete. We finish by showing, for $Π_2^1$-indescribable $κ$, that the isomorphism relation between dense linear orders of cardinality $κ$ is $Σ_1^1$-complete. △ Less

Submitted 9 August, 2017; originally announced August 2017.

Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case

Authors: Tapani Hyttinen, Gianluca Paolini

Abstract: We study classes of right-angled Coxeter groups with respect to the strong submodel relation of parabolic subgroup. We show that the class of all right-angled Coxeter group is not smooth, and establish some general combinatorial criteria for such classes to be abstract elementary classes, for them to be finitary, and for them to be tame. We further prove two combinatorial conditions ensuring the s… ▽ More We study classes of right-angled Coxeter groups with respect to the strong submodel relation of parabolic subgroup. We show that the class of all right-angled Coxeter group is not smooth, and establish some general combinatorial criteria for such classes to be abstract elementary classes, for them to be finitary, and for them to be tame. We further prove two combinatorial conditions ensuring the strong rigidity of a right-angled Coxeter group of arbitrary rank. The combination of these results translate into a machinery to build concrete examples of $\mathrm{AECs}$ satisfying given model-theoretic properties. We exhibit the power of our method constructing three concrete examples of finitary classes. We show that the first and third class are non-homogeneous, and that the last two are tame, uncountably categorical and axiomatizable by a single $L_{ω_{1}, ω}$-sentence. We also observe that the isomorphism relation of any countable complete first-order theory is $κ$-Borel reducible (in the sense of generalized descriptive set theory) to the isomorphism relation of the theory of right-angled Coxeter groups whose Coxeter graph is an infinite random graph. △ Less

Submitted 16 April, 2018; v1 submitted 19 May, 2016; originally announced May 2016.

MSC Class: 03C48; 05E15

Journal ref: Notre Dame J. Formal Logic 60, no. 4 (2019), 707-731

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

Authors: Tapani Hyttinen, Vadim Kulikov, Miguel Moreno

Abstract: 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 vari… ▽ More 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. △ Less

Submitted 1 February, 2016; originally announced February 2016.

Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices

Authors: Tapani Hyttinen, Gianluca Paolini

Abstract: Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability theory. One of them, $(\mathbf{K}^3, \preccurlyeq)$, is $ω$-stable, it has a monster model and an independence calculus that satisfies all the usual properties of non-forking. On the other hand, these classes are rather… ▽ More Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability theory. One of them, $(\mathbf{K}^3, \preccurlyeq)$, is $ω$-stable, it has a monster model and an independence calculus that satisfies all the usual properties of non-forking. On the other hand, these classes are rather unusual, e.g. in $(\mathbf{K}^3, \preccurlyeq)$ the Smoothness Axiom fails, and so $(\mathbf{K}^3, \preccurlyeq)$ is not an $\mathrm{AEC}$. △ Less

Submitted 9 October, 2017; v1 submitted 4 December, 2015; originally announced December 2015.

MSC Class: 03C48; 03C45; 06B99; 05E99

On the reducibility of isomorphism relations

Authors: Tapani Hyttinen, Miguel Moreno

Abstract: We study the Borel reducibility of isomorphism relations in the generalized Baire space $κ^κ$. In the main result we show for inaccessible $κ$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$. We study the Borel reducibility of isomorphism relations in the generalized Baire space $κ^κ$. In the main result we show for inaccessible $κ$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$. △ Less

Submitted 17 September, 2015; originally announced September 2015.

A Logic for Arguing About Probabilities in Measure Teams

Authors: Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Abstract: We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our axiomatisation. We use the Hardy-Weinberg Principle of biology and the Bell's Inequalities of quantum physics as examples. We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our axiomatisation. We use the Hardy-Weinberg Principle of biology and the Bell's Inequalities of quantum physics as examples. △ Less

Submitted 8 September, 2016; v1 submitted 6 September, 2015; originally announced September 2015.

MSC Class: 03B48

On model theory of covers of algebraically closed fields

Authors: Tapani Hyttinen, Kaisa Kangas

Abstract: 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… ▽ More 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. △ Less

Submitted 3 February, 2015; originally announced February 2015.

Quasiminimal structures, groups and Zariski-like geometries

Authors: Tapani Hyttinen, Kaisa Kangas

Abstract: We generalize Hrushovski's Group Configuration Theorem to quasiminimal classes. As an application, we present Zariski-like structures, a generalization of Zariski geometries, and show that a group can be found there if the pregeometry obtained from the bounded closure operator is non-trivial. We generalize Hrushovski's Group Configuration Theorem to quasiminimal classes. As an application, we present Zariski-like structures, a generalization of Zariski geometries, and show that a group can be found there if the pregeometry obtained from the bounded closure operator is non-trivial. △ Less

Submitted 8 February, 2017; v1 submitted 3 February, 2015; originally announced February 2015.

Quantum Team Logic and Bell's Inequalities

Authors: Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Abstract: 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… ▽ More 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. △ Less

Submitted 9 March, 2016; v1 submitted 19 September, 2014; originally announced September 2014.

MSC Class: 03B48; 81P10

Journal ref: Review of Symbolic Logic 8 (2015) 722-742

Reduction of Database Independence to Dividing in Atomless Boolean Algebras

Authors: Tapani Hyttinen, Gianluca Paolini

Abstract: We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov [4], the form… ▽ More We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov [4], the former case of independence can be seen as the discrete version of the latter. △ Less

Submitted 7 December, 2017; v1 submitted 5 September, 2014; originally announced September 2014.

MSC Class: 03C45; 06E05; 68P15; 03C80

On Borel Reducibility in Generalised Baire Space

Authors: Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov

Abstract: In this paper we study the Borel reducibility of Borel equivalence relations, including some orbit equivalence relations, on the generalised Baire space $κ^κ$ for an uncountable $κ$ with the property $κ^{<κ}=κ$. The theory looks quite different from its classical counterpart where $κ=ω$, although some basic theorems do generalise. In this paper we study the Borel reducibility of Borel equivalence relations, including some orbit equivalence relations, on the generalised Baire space $κ^κ$ for an uncountable $κ$ with the property $κ^{<κ}=κ$. The theory looks quite different from its classical counterpart where $κ=ω$, although some basic theorems do generalise. △ Less

Submitted 19 August, 2014; originally announced August 2014.

MSC Class: 03E15; 03E35

On Eigenvectors, Approximations and the Feynman Propagator

Authors: Åsa Hirvonen, Tapani Hyttinen

Abstract: Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product… ▽ More Trying to interpret B. Zilber's project on model theory of quantum mechanics we study a way of building limit models from finite-dimensional approximations. Our point of view is that of metric model theory, and we develop a method of taking ultraproducts of unbounded operators. We first calculate the Feynman propagator for the free particle as defined by physicists as an inner product $\langle x_{0}| K^{t}| x_{1}\rangle $ of the eigenvector $| x_{0}\rangle $ of the position operator with eigenvalue $x_{0}$ and $K^{t}(| x_{1}\rangle )$, where $K^{t}$ is the time evolution operator. However, due to a discretising effect, the eigenvector method does not work as expected, and without heavy case-by-case scaling, it gives the wrong value. We look at this phenomenon, and then complement this by showing how to instead calculate the kernel of the time evolution operator (for both the free particle and the harmonic oscillator) in the limit model. We believe that our method of calculating these is new. △ Less

Submitted 16 March, 2018; v1 submitted 19 June, 2014; originally announced July 2014.

Measuring dependence in metric abstract elementary classes with perturbations

Authors: Åsa Hirvonen, Tapani Hyttinen

Abstract: 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 se… ▽ More 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. △ Less

Submitted 5 January, 2016; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: 30 pages, intro revised, preliminaries and examples added

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

Authors: Vera Koponen, Tapani Hyttinen

Abstract: 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 an… ▽ More 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}$". △ Less

Submitted 12 April, 2013; originally announced April 2013.

MSC Class: 03C80; 03C95

Journal ref: Studia Logica, 103 (2015) 1-20

Quasiminimal structures and excellence

Authors: Martin Bays, Bradd Hart, Tapani Hyttinen, Meeri Kesälä, Jonathan Kirby

Abstract: We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies a number of categoricity proofs. We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies a number of categoricity proofs. △ Less

Submitted 27 October, 2013; v1 submitted 6 October, 2012; originally announced October 2012.

Comments: Detail added to proof of 5.2; publication info added

MSC Class: 03C45

Journal ref: Bulletin of the London Mathematical Society, 46(1): 155-163, 2014

Borel* Sets in the Generalised Baire Space

Authors: Tapani Hyttinen, Vadim Kulikov

Abstract: 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… ▽ More 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(κ). △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: 19 pages

MSC Class: 03E47; 03-02

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

Authors: Tapani Hyttinen, Vadim Kulikov

Abstract: 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-compl… ▽ More 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). △ Less

Submitted 18 September, 2012; originally announced September 2012.

Comments: 22 pages

MSC Class: 03C55; 03E47

On Second-order Characterizability

Authors: Tapani Hyttinen, Kaisa Kangas, Jouko Väänänen

Abstract: 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 i… ▽ More 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. △ Less

Submitted 25 August, 2012; originally announced August 2012.

MSC Class: 03C85; 03B15

Generalized Descriptive Set Theory and Classification Theory

Authors: Sy-David Friedman, Tapani Hyttinen, Vadim Kulikov

Abstract: Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalize… ▽ More Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations. △ Less

Submitted 18 July, 2012; originally announced July 2012.

Comments: 86 pages, preprint at CRM nr. 999

Journal ref: Memoirs of the American Mathematical Society. Year 2014: Volume 230, Number 1081

Hilbert Spaces with Generic Predicates

Authors: Alexander Berenstein, Tapani Hyttinen, Andrés Villaveces

Abstract: We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure, then a distance to a random subset. The theory obtained with the random substructure is ω-stable, while the one obtained with the distance to a random subset is… ▽ More We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form first of a distance function to a random substructure, then a distance to a random subset. The theory obtained with the random substructure is ω-stable, while the one obtained with the distance to a random subset is $TP_2$ and $NSOP_1$. That example is the first continuous structure in that class. △ Less

Submitted 20 March, 2017; v1 submitted 12 April, 2007; originally announced April 2007.

Comments: 27 pages

MSC Class: 03B99; 03C10; 03C30; 03C45

Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A

Authors: Tapani Hyttinen, Saharon Shelah

Abstract: We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. △ Less

Submitted 28 June, 2004; originally announced June 2004.

Report number: Shelah [HySh:474]

Journal ref: Journal of Symbolic Logic, 59:984--996, 1994

Interpreting groups and fields in some nonelementary classes

Authors: Tapani Hyttinen, Olivier Lessmann, Saharon Shelah

Abstract: This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is quasiminimal and q unbounded. Let P=p(C) and Q=q(C). Suppose that there exists an integer n<omega such that dim(a_1...a_n/A cup C)=n, for any independent a_1,..., a_… ▽ More This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is quasiminimal and q unbounded. Let P=p(C) and Q=q(C). Suppose that there exists an integer n<omega such that dim(a_1...a_n/A cup C)=n, for any independent a_1,..., a_n in P and finite subset C subseteq Q, but dim(a_1...a_n a_{n+1}/A cup C) <= n, for some independent a_1,...,a_n,a_{n+1} in P and some finite subset C subseteq Q. Then C interprets a group G which acts on the geometry P' obtained from P. Furthermore, either C interprets a non-classical group, or n=1,2,3 and * If n=1 then G is abelian and acts regularly on P'. * If n=2 the action of G on P' is isomorphic to the affine action of K times K^* on the algebraically closed field K. * If n = 3 the action of G on P' is isomorphic to the action of PGL_2(K) on the projective line {P}^1(K) of the algebraically closed field K . △ Less

Submitted 23 June, 2004; originally announced June 2004.

Report number: Shelah [HLSh:821]

More on the Ehrenfencht-Fraisse game of length omega_1

Authors: Tapani Hyttinen, Saharon Shelah, Jouko Väänänen

Abstract: Let A and B be two first order structures of the same relational vocabulary L. The Ehrenfeucht-Fraisse-game of length gamma of A and B denoted by EFG_gamma(A,B) is defined as follows: There are two players called for all and exists. First for all plays x_0 and then exists plays y_0. After this for all plays x_1, and exists plays y_1, and so on. Eventually a sequence <(x_beta,y_beta): beta<gamma>… ▽ More Let A and B be two first order structures of the same relational vocabulary L. The Ehrenfeucht-Fraisse-game of length gamma of A and B denoted by EFG_gamma(A,B) is defined as follows: There are two players called for all and exists. First for all plays x_0 and then exists plays y_0. After this for all plays x_1, and exists plays y_1, and so on. Eventually a sequence <(x_beta,y_beta): beta<gamma> has been played. The rules of the game say that both players have to play elements of A cup B. Moreover, if for all plays his x_beta in A (B), then exists has to play his y_beta in B (A). Thus the sequence < (x_beta,y_beta):beta<gamma > determines a relation pi subseteq AxB. Player exists wins this round of the game if pi is a partial isomorphism. Otherwise for all wins. The game EFG_gamma^delta (A,B) is defined similarly except that the players play sequences of length<delta at a time. Theorem 1: The following statements are equiconsistent relative to ZFC: (A) There is a weakly compact cardinal. (B) CH and EF_{omega_1}(A,B) is determined for all models A,B of cardinality aleph_2 . Theorem 2: Assume that 2^omega <2^{omega_3} and T is a countable complete first order theory. Suppose that one of (i)-(iii) below holds. Then there are A,B models T of power omega_3 such that for all cardinals 1<theta<=omega_3, EF^theta_{omega_1}(A,B) is non-determined. [(i)] T is unstable. [(ii)] T is superstable with DOP or OTOP. [(iii)] T is stable and unsuperstable and 2^omega <= omega_3. △ Less

Submitted 17 December, 2002; originally announced December 2002.

Report number: Shelah [HShV:776]

Potential isomorphism and semi-proper trees

Authors: Alex Hellsten, Tapani Hyttinen, Saharon Shelah

Abstract: We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the cardinality of the models. We introduce the notions of semi-proper and weakly semi-proper trees, and note that there is a strong connection between the existenc… ▽ More We study a notion of potential isomorphism, where two structures are said to be potentially isomorphic if they are isomorphic in some generic extension that preserves stationary sets and does not add new sets of cardinality less than the cardinality of the models. We introduce the notions of semi-proper and weakly semi-proper trees, and note that there is a strong connection between the existence of potentially isomorphic models for a given complete theory and the existence of weakly semi-proper trees. We prove the existence of semi-proper trees under certain cardinal arithmetic assumptions. We also show the consistency of the non-existence of weakly semi-proper trees assuming the consistency of some large cardinals. △ Less

Submitted 27 December, 2001; originally announced December 2001.

Report number: Shelah [HHSh:770]

Forcing a Boolean Algebra with predesigned automorphism group

Authors: Tapani Hyttinen, Saharon Shelah

Abstract: For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is aleph_{omega} a possible number of automorphisms of a rich Boolean algebra? For suitable groups G we will show that one can add a Boolean algebra B by forcing in such a way that Aut(B) is almost isomorphic to G. In particular, we will give a positive answer to the following question due to J.Roitman: Is aleph_{omega} a possible number of automorphisms of a rich Boolean algebra? △ Less

Submitted 6 February, 2001; originally announced February 2001.

Report number: Shelah [HySh:756]

Strong splitting in stable homogeneous models

Authors: Tapani Hyttinen, Saharon Shelah

Abstract: We study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [T. Hyttinen, On nonstructure of elementary submodels of a stable homogeneous structure, Fundamenta Mathematicae, 156(1998): 167-182]. We apply this to prove a structure theorem. We also show that dop and sdop are essentially equivalent, where the negation of dop is the property we us… ▽ More We study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [T. Hyttinen, On nonstructure of elementary submodels of a stable homogeneous structure, Fundamenta Mathematicae, 156(1998): 167-182]. We apply this to prove a structure theorem. We also show that dop and sdop are essentially equivalent, where the negation of dop is the property we use in our structure theorem and sdop implies nonstructure. △ Less

Submitted 28 November, 1999; originally announced November 1999.

Report number: Shelah [HySh:629]

Main gap for locally saturated elementary submodels of a homogeneous structure

Authors: Tapani Hyttinen, Saharon Shelah

Abstract: We prove a main gap theorem for e-saturated submodels of a homogeneous structure. We also study the number of e-saturated models, which are not elementarily embeddable to each other We prove a main gap theorem for e-saturated submodels of a homogeneous structure. We also study the number of e-saturated models, which are not elementarily embeddable to each other △ Less

Submitted 14 April, 1998; originally announced April 1998.

Report number: Shelah [HySh:676]

Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C

Authors: Tapani Hyttinen, Saharon Shelah

Abstract: In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop. In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop. △ Less

Submitted 14 September, 1997; originally announced September 1997.

Report number: Shelah [HySh:602]

On the number of elementary submodels of an unsuperstable homogeneous structure

Authors: Tapani Hyttinen, Saharon Shelah

Abstract: We show that if M is a stable unsuperstable homogeneous structure, then for most kappa < |M|, the number of elementary submodels of M of power kappa is 2^kappa . We show that if M is a stable unsuperstable homogeneous structure, then for most kappa < |M|, the number of elementary submodels of M of power kappa is 2^kappa . △ Less

Submitted 14 February, 1997; originally announced February 1997.

Report number: Shelah [HySh:632]

Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

Authors: Tapani Hyttinen, Saharon Shelah

Abstract: We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HySh:474]. We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HySh:474]. △ Less

Submitted 14 February, 1992; originally announced February 1992.

Report number: Shelah [HySh:529]

Journal ref: J. Symbolic Logic 60 (1995), 1260--1272