Showing 1–19 of 19 results for author: Rossegger, D

Feferman's completeness theorem

Authors: Fedor Pakhomov, Michael Rathjen, Dino Rossegger

Abstract: Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this paper is twofold. On the one hand this is an expository paper, giving two new proofs of Feferman's completeness theorem that, we hope, shed light on this mysterio… ▽ More Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this paper is twofold. On the one hand this is an expository paper, giving two new proofs of Feferman's completeness theorem that, we hope, shed light on this mysterious and often overlooked result. On the other hand, we combine one of our proofs with results from computable structure theory due to Ash and Knight to give sharp bounds on the order types of well-orders necessary to attain the completeness for levels of the arithmetical hierarchy. △ Less

Submitted 15 May, 2024; originally announced May 2024.

MSC Class: 03F15; 03F30; 03C57

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

Authors: Meng-Che "Turbo" Ho, Khanh Le, Dino Rossegger

Abstract: We answer a question of Calderoni and Clay by showing that the conjugation equivalence relation of left orderings of the Baumslag-Solitar groups $\mathrm{BS}(1,n)$ is hyperfinite for any $n$. Our proof relies on a classification of $\mathrm{BS}(1,n)$'s left-orderings via its one-dimensional dynamical realizations. We furthermore use the effectiveness of the dynamical realizations of… ▽ More We answer a question of Calderoni and Clay by showing that the conjugation equivalence relation of left orderings of the Baumslag-Solitar groups $\mathrm{BS}(1,n)$ is hyperfinite for any $n$. Our proof relies on a classification of $\mathrm{BS}(1,n)$'s left-orderings via its one-dimensional dynamical realizations. We furthermore use the effectiveness of the dynamical realizations of $\mathrm{BS}(1,n)$ to study algorithmic properties of the left-orderings on $\mathrm{BS}(1,n)$. △ Less

Submitted 14 May, 2024; originally announced May 2024.

MSC Class: 03E15; 20F60; 03C57; 03D45

Learning Equivalence Relations on Polish Spaces

Authors: Dino Rossegger, Theodore Slaman, Tomasz Steifer

Abstract: We investigate natural variations of behaviourally correct learning and explanatory learning -- two learning paradigms studied in algorithmic learning theory -- that allow us to ``learn'' equivalence relations on Polish spaces. We give a characterization of the learnable equivalence relations in terms of their Borel complexity and show that the behaviorally correct and explanatory learnable equiva… ▽ More We investigate natural variations of behaviourally correct learning and explanatory learning -- two learning paradigms studied in algorithmic learning theory -- that allow us to ``learn'' equivalence relations on Polish spaces. We give a characterization of the learnable equivalence relations in terms of their Borel complexity and show that the behaviorally correct and explanatory learnable equivalence relations coincide both in uniform and non-uniform versions of learnability and provide a characterization of the learnable equivalence relations in terms of their Borel complexity. We also show that the set of uniformly learnable equivalence relations is $\pmbΠ^1_1$-complete in the codes and study the learnability of several equivalence relations arising naturally in logic as a case study. △ Less

Submitted 26 March, 2024; originally announced March 2024.

MSC Class: 03E15; 68Q32; 03D80

The Borel complexity of the class of models of first-order theories

Authors: Uri Andrews, David Gonzalez, Steffen Lempp, Dino Rossegger, Hongyu Zhu

Abstract: We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\boldsymbolΠ_ω^0$-complete set of models. We also give sharp conditions for theories to have a $\boldsymbolΠ^0_n$-complete set of models. Finally, we determine the Turing degrees needed to witness the compl… ▽ More We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\boldsymbolΠ_ω^0$-complete set of models. We also give sharp conditions for theories to have a $\boldsymbolΠ^0_n$-complete set of models. Finally, we determine the Turing degrees needed to witness the completeness. △ Less

Submitted 15 February, 2024; originally announced February 2024.

MSC Class: 03C62; 03C52; 03E15

Learning Families of Algebraic Structures from Text

Authors: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra Soskova, Stefan Vatev

Abstract: We adapt the classical notion of learning from text to computable structure theory. Our main result is a model-theoretic characterization of the learnability from text for classes of structures. We show that a family of structures is learnable from text if and only if the structures can be distinguished in terms of their theories restricted to positive infinitary $Σ_2$ sentences. We adapt the classical notion of learning from text to computable structure theory. Our main result is a model-theoretic characterization of the learnability from text for classes of structures. We show that a family of structures is learnable from text if and only if the structures can be distinguished in terms of their theories restricted to positive infinitary $Σ_2$ sentences. △ Less

Submitted 8 February, 2024; originally announced February 2024.

MSC Class: 03C57; 03E15 ACM Class: F.4.1

Scott sentence complexities of linear orderings

Authors: David Gonzalez, Dino Rossegger

Abstract: We study possible Scott sentence complexities of linear orderings using two approaches. First, we investigate the effect of the Friedman-Stanley embedding on Scott sentence complexity and show that it only preserves $Π^{\mathrm{in}}_α$ complexities. We then take a more direct approach and exhibit linear orderings of all Scott complexities except $Σ^{\mathrm{in}}_{3}$ and $Σ^{\mathrm{in}}_{λ+1}$ fo… ▽ More We study possible Scott sentence complexities of linear orderings using two approaches. First, we investigate the effect of the Friedman-Stanley embedding on Scott sentence complexity and show that it only preserves $Π^{\mathrm{in}}_α$ complexities. We then take a more direct approach and exhibit linear orderings of all Scott complexities except $Σ^{\mathrm{in}}_{3}$ and $Σ^{\mathrm{in}}_{λ+1}$ for $λ$ a limit ordinal. We show that the former can not be the Scott sentence complexity of a linear ordering. In the process we develop new techniques which appear to be helpful to calculate the Scott sentence complexities of structures. △ Less

Submitted 11 May, 2023; originally announced May 2023.

MSC Class: 03C57; 03D45; 03C70; 03E15

A Lopez-Escobar Theorem for Continuous Domains

Authors: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev

Abstract: We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(τ)$ be the set of countable structures with universe $ω$ in vocabulary $τ$ topologized by the Scott topology. We show that an invariant set $X \subseteq Mod(τ)$ is $Π^0_α$ in the effective Borel hierarchy of this topology if and only if it is definable by a $Π^p_α$ - formula, a positive $Π^0_α$ formula in t… ▽ More We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(τ)$ be the set of countable structures with universe $ω$ in vocabulary $τ$ topologized by the Scott topology. We show that an invariant set $X \subseteq Mod(τ)$ is $Π^0_α$ in the effective Borel hierarchy of this topology if and only if it is definable by a $Π^p_α$ - formula, a positive $Π^0_α$ formula in the infinitary logic $L_{ω_1,ω}$. As a corollary of this result we obtain a new pullback theorem for positive computable embeddings: Let $K$ be positively computably embeddable in $K'$ by $Φ$, then for every $Π^p_α$ formula $ξ$ in the vocabulary of $K'$ there is a $Π^p_α$ formula $ξ^\star$ in the vocabulary of $K$ such that for all $A \in K$, $A \models ξ^\star$ if and only if $Φ(A) \models ξ$. We use this to obtain new results on the possibility of positive computable embeddings into the class of linear orderings. △ Less

Submitted 5 February, 2024; v1 submitted 24 January, 2023; originally announced January 2023.

Comments: 17 pages

MSC Class: 03C57 (Primary); 03E15 (Secondary) ACM Class: F.4.1

Degrees of categoricity and treeable degrees

Authors: Barbara F. Csima, Dino Rossegger

Abstract: We give a characterization of the strong degrees of categoricity of computable structures greater or equal to $\mathbf 0''$. They are precisely the \emph{treeable} degrees -- the least degrees of paths through computable trees -- that compute $\mathbf 0''$. As a corollary, we obtain several new examples of degrees of categoricity. Among them we show that every degree $\mathbf d$ with… ▽ More We give a characterization of the strong degrees of categoricity of computable structures greater or equal to $\mathbf 0''$. They are precisely the \emph{treeable} degrees -- the least degrees of paths through computable trees -- that compute $\mathbf 0''$. As a corollary, we obtain several new examples of degrees of categoricity. Among them we show that every degree $\mathbf d$ with $\mathbf 0^{(α)}\leq \mathbf d\leq \mathbf 0^{(α+1)}$ for $α$ a computable ordinal greater than $2$ is the strong degree of categoricity of a rigid structure. Using quite different techniques we show that every degree $\mathbf d$ with $\mathbf 0'\leq \mathbf d\leq \mathbf 0''$ is the strong degree of categoricity of a structure. Together with the above example this answers a question of Csima and Ng. To complete the picture we show that there is a degree $\mathbf d$ with $\mathbf 0'< \mathbf d< \mathbf 0''$ that is not the degree of categoricity of a rigid structure. △ Less

Submitted 10 May, 2023; v1 submitted 9 September, 2022; originally announced September 2022.

Comments: Replaces arXiv:2209.04524 where it was incorrectly claimed that "Every degree of categoricity above 0'' is strong". We do not have a proof of this fact. Changes were made to reflect this

MSC Class: 03C75; 03D45; 03E15

The structural complexity of models of arithmetic

Authors: Antonio Montalbán, Dino Rossegger

Abstract: We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $ω$ and that non-standard models of true arithmetic must have Scott rank greater than $ω$. Other than that there are no restrictions. By giving a reduction via $Δ^{\mathrm{in}}_{1}$ bi-interpretability from the class of linear orderings to the canonical st… ▽ More We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $ω$ and that non-standard models of true arithmetic must have Scott rank greater than $ω$. Other than that there are no restrictions. By giving a reduction via $Δ^{\mathrm{in}}_{1}$ bi-interpretability from the class of linear orderings to the canonical structural $ω$-jump of models of an arbitrary completion $T$ of $\mathrm{PA}$ we show that every countable ordinal $α>ω$ is realized as the Scott rank of a model of $T$. △ Less

Submitted 2 August, 2022; originally announced August 2022.

MSC Class: 03E15; 03C62; 03H15

Relations enumerable from positive information

Authors: Barbara F. Csima, Luke MacLean, Dino Rossegger

Abstract: We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to consider structures given by their positive atomic diagram -- the computable join of all relations of the structure. Fixing a structure $\mathcal{A}$, a natural class of relations in this setting are the relations $R$ s… ▽ More We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to consider structures given by their positive atomic diagram -- the computable join of all relations of the structure. Fixing a structure $\mathcal{A}$, a natural class of relations in this setting are the relations $R$ such that $R^{\hat{\mathcal{A}}}$ is enumeration reducible to the positive atomic diagram of $\hat{\mathcal{A}}$ for every $\hat{ \mathcal{A}}\cong \mathcal{A}$ -- the relatively intrinsically positively enumerable (r.i.p.e.) relations. We show that the r.i.p.e. relations are exactly the relations that are definable by $Σ^p_1$ formulas, a subclass of the infinitary $Σ^0_1$ formulas. We then introduce a new natural notion of the jump of a structure and study its interaction with other notions of jumps. At last we show that positively enumerable functors, a notion studied by Csima, Rossegger, and Yu, are equivalent to a notion of interpretability using $Σ^p_1$ formulas. △ Less

Submitted 12 July, 2022; v1 submitted 2 June, 2022; originally announced June 2022.

MSC Class: 03C75; 03D45

Positive enumerable functors

Authors: Barbara Csima, Dino Rossegger, Zhi Ying "Daniel" Yu

Abstract: We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with established reductions based on functors and alternative definitions. We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with established reductions based on functors and alternative definitions. △ Less

Submitted 8 February, 2021; v1 submitted 28 November, 2020; originally announced November 2020.

MSC Class: 03C75; 03D45

Degree spectra of analytic complete equivalence relations

Authors: Dino Rossegger

Abstract: We study the bi-embeddability and elementary bi-embeddability relation on graphs under Borel reducibility and investigate the degree spectra realized by this relations. We first give a Borel reduction from embeddability on graphs to elementary embeddability on graphs. As a consequence we obtain that elementary bi-embeddability on graphs is a analytic complete equivalence relation. We then investig… ▽ More We study the bi-embeddability and elementary bi-embeddability relation on graphs under Borel reducibility and investigate the degree spectra realized by this relations. We first give a Borel reduction from embeddability on graphs to elementary embeddability on graphs. As a consequence we obtain that elementary bi-embeddability on graphs is a analytic complete equivalence relation. We then investigate the algorithmic properties of this reduction to show that every bi-embeddability spectrum of a graph is the jump spectrum of an elementary bi-embeddability spectrum of a graph. △ Less

Submitted 18 October, 2023; v1 submitted 1 October, 2020; originally announced October 2020.

MSC Class: 03C75; 03D45; 03E15

On bi-embeddable categoricity of algebraic structures

Authors: Nikolay Bazhenov, Dino Rossegger, Maxim Zubkov

Abstract: In several classes of countable structures it is known that every hyperarithmetic structure has a computable presentation up to bi-embeddability. In this article we investigate the complexity of embeddings between bi-embeddable structures in two such classes, the classes of linear orders and Boolean algebras. We show that if $\mathcal L$ is a computable linear order of Hausdorff rank $n$, then for… ▽ More In several classes of countable structures it is known that every hyperarithmetic structure has a computable presentation up to bi-embeddability. In this article we investigate the complexity of embeddings between bi-embeddable structures in two such classes, the classes of linear orders and Boolean algebras. We show that if $\mathcal L$ is a computable linear order of Hausdorff rank $n$, then for every bi-embeddable copy of it there is an embedding computable in $2n-1$ jumps from the atomic diagrams. We furthermore show that this is the best one can do: Let $\mathcal L$ be a computable linear order of Hausdorff rank $n\geq 1$, then $\mathbf 0^{(2n-2)}$ does not compute embeddings between it and all its computable bi-embeddable copies. We obtain that for Boolean algebras which are not superatomic, there is no hyperarithmetic degree computing embeddings between all its computable bi-embeddable copies. On the other hand, if a computable Boolean algebra is superatomic, then there is a least computable ordinal $α$ such that $\mathbf 0^{(α)}$ computes embeddings between all its computable bi-embeddable copies. The main technique used in this proof is a new variation of Ash and Knight's pairs of structures theorem. △ Less

Submitted 15 May, 2020; originally announced May 2020.

MSC Class: 03C57

Journal ref: Annals of Pure and Applied Logic, vol.173 (2022), no.3, article id 103060

Degrees of bi-embeddable categoricity

Authors: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure $\mathcal A$ as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of $\mathcal A$; the degree of bi-embeddable categoricity of $\mathcal A$ is the least degree in this spec… ▽ More We investigate the complexity of embeddings between bi-embeddable structures. In analogy with categoricity spectra, we define the bi-embeddable categoricity spectrum of a structure $\mathcal A$ as the family of Turing degrees that compute embeddings between any computable bi-embeddable copies of $\mathcal A$; the degree of bi-embeddable categoricity of $\mathcal A$ is the least degree in this spectrum (if it exists). We extend many known results about categoricity spectra to the case of bi-embeddability. In particular, we exhibit structures without degree of bi-embeddable categoricity, and we show that every degree d.c.e. above $\mathbf{0}^{(α)}$ for $α$ a computable successor ordinal and $\mathbf{0}^{(λ)}$ for $λ$ a computable limit ordinal is a degree of bi-embeddable categoricity. We also give examples of families of degrees that are not bi-embeddable categoricity spectra. △ Less

Submitted 8 July, 2019; originally announced July 2019.

Comments: 18 pages

MSC Class: 03D45; 03C57

Journal ref: Computability, vol. 10 (2021), no. 1, pp. 1-16

The complexity of Scott sentences of scattered linear orders

Authors: Rachael Alvir, Dino Rossegger

Abstract: Given a countable scattered linear order $L$ of Hausdorff rank $α< ω_1$ we show that it has a $d\text{-}Σ_{2α+1}$ Scott sentence. Ash calculated the back and forth relations for all countable well-orders. From this result we obtain that this upper bound is tight, i.e., for every $α< ω_1$ there is a linear order whose optimal Scott sentence has this complexity. We further show that for all countabl… ▽ More Given a countable scattered linear order $L$ of Hausdorff rank $α< ω_1$ we show that it has a $d\text{-}Σ_{2α+1}$ Scott sentence. Ash calculated the back and forth relations for all countable well-orders. From this result we obtain that this upper bound is tight, i.e., for every $α< ω_1$ there is a linear order whose optimal Scott sentence has this complexity. We further show that for all countable $α$ the class of Hausdorff rank $α$ linear orders is $\pmb Σ_{2α+2}$ complete. △ Less

Submitted 16 September, 2019; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: 25 pages

MSC Class: 03E15; 03C57

Journal ref: J. symb. log. 85 (2020) 1079-1101

Bi-embeddability spectra and bases of spectra

Authors: Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: We study degree spectra of structures with respect to the bi-embeddability relation. The bi-embeddability spectrum of a structure is the family of Turing degrees of its bi-embeddable copies. To facilitate our study we introduce the notions of bi-embeddable triviality and basis of a spectrum. Using bi-embeddable triviality we show that several known families of degrees are bi-embeddability spectra… ▽ More We study degree spectra of structures with respect to the bi-embeddability relation. The bi-embeddability spectrum of a structure is the family of Turing degrees of its bi-embeddable copies. To facilitate our study we introduce the notions of bi-embeddable triviality and basis of a spectrum. Using bi-embeddable triviality we show that several known families of degrees are bi-embeddability spectra of structures. We then characterize the bi-embeddability spectra of linear orderings and study bases of bi-embeddability spectra of strongly locally finite graphs. △ Less

Submitted 2 April, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 15 pages

MSC Class: 03C57; 03D45; 05C60

Measuring the complexity of reductions between equivalence relations

Authors: Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and bi-reducibility. These spectra provide a natural way of measuring the complexity of reductions between equivalence relations. We prove that any upward closed coll… ▽ More Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reducibility by introducing degree spectra of reducibility and bi-reducibility. These spectra provide a natural way of measuring the complexity of reductions between equivalence relations. We prove that any upward closed collection of Turing degrees with a countable basis can be realised as a reducibility spectrum or as a bi-reducibility spectrum. We show also that there is a reducibility spectrum of computably enumerable equivalence relations with no countable basis and a reducibility spectrum of computably enumerable equivalence relations which is downward dense, thus has no basis. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Comments: 17 pages

MSC Class: 03D45

Degrees of bi-embeddable categoricity of equivalence structures

Authors: Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Luca San Mauro

Abstract: We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, (relative) $Δ^0_α$ bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of $Δ^0_α$ bi-emb… ▽ More We study the algorithmic complexity of embeddings between bi-embeddable equivalence structures. We define the notions of computable bi-embeddable categoricity, (relative) $Δ^0_α$ bi-embeddable categoricity, and degrees of bi-embeddable categoricity. These notions mirror the classical notions used to study the complexity of isomorphisms between structures. We show that the notions of $Δ^0_α$ bi-embeddable categoricity and relative $Δ^0_α$ bi-embeddable categoricity coincide for equivalence structures for $α=1,2,3$. We also prove that computable equivalence structures have degree of bi-embeddable categoricity $\mathbf{0},\mathbf{0}'$, or $\mathbf{0}''$. We obtain results on index sets of computable equivalence structure with respect to bi-embeddability. △ Less

Submitted 30 October, 2017; originally announced October 2017.

Comments: 18 pages

MSC Class: 03C57

Journal ref: Archive for Mathematical Logic, vol. 58 (2019), no. 5-6, pp. 543-563

On functors enumerating structures

Authors: Dino Rossegger

Abstract: We study a new notion of reduction between structures called enumerable functors related to the recently investigated notion of computable functors. Our main result shows that enumerable functors and effective interpretability with the equivalence relation computable are equivalent. We also obtain results on the relation between enumerable and computable functors. We study a new notion of reduction between structures called enumerable functors related to the recently investigated notion of computable functors. Our main result shows that enumerable functors and effective interpretability with the equivalence relation computable are equivalent. We also obtain results on the relation between enumerable and computable functors. △ Less

Submitted 10 August, 2017; v1 submitted 19 June, 2017; originally announced June 2017.

Comments: 16 pages v2: corrected typos

MSC Class: 03C57

Journal ref: Siberian Electronic Mathematical Reports vol. 14, pp. 690-702 (2017)