Switch to: References

Add citations

You must login to add citations.
  1. The Structural Complexity of Models of Arithmetic.Antonio Montalbán & Dino Rossegger - forthcoming - Journal of Symbolic Logic:1-17.
    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 $\omega $ and that non-standard models of true arithmetic must have Scott rank greater than $\omega $. Other than that there are no restrictions. By giving a reduction via $\Delta ^{\mathrm {in}}_{1}$ bi-interpretability from the class of linear orderings to the canonical structural $\omega $ -jump of models of an arbitrary completion T of $\mathrm {PA}$ we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On bi-embeddable categoricity of algebraic structures.Nikolay Bazhenov, Dino Rossegger & Maxim Zubkov - 2022 - Annals of Pure and Applied Logic 173 (3):103060.
    Download  
     
    Export citation  
     
    Bookmark  
  • New jump operators on equivalence relations.John D. Clemens & Samuel Coskey - 2022 - Journal of Mathematical Logic 22 (3).
    We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group [Formula: see text] we introduce the [Formula: see text]-jump. We study the elementary properties of the [Formula: see text]-jumps and compare them with other previously studied jump operators. One of our main results is to establish that for many groups [Formula: see text], the [Formula: see text]-jump is proper in the sense that for any Borel equivalence relation [Formula: see text] the [Formula: see (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation