Year:

  1.  6
    The Property “Arithmetic-is-Recursive” on a Cone.Uri Andrews, Matthew Harrison-Trainor & Noah Schweber - 2021 - Journal of Mathematical Logic 21 (3):2150021.
    We say that a theory T satisfies arithmetic-is-recursive if any X′-computable model of T has an X-computable copy; that is, the models of T satisfy a sort of jump inversion. We give an example of a...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    The Property “Arithmetic-is-Recursive” on a Cone.Uri Andrews, Matthew Harrison-Trainor & Noah Schweber - 2021 - Journal of Mathematical Logic 21 (3).
    We say that a theory T satisfies arithmetic-is-recursive if any X′-computable model of T has an X-computable copy; that is, the models of T satisfy a sort of jump inversion. We give an example of a...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    Solving Equation Systems in Ω-Categorical Algebras.Manuel Bodirsky & Thomas Quinn-Gregson - 2021 - Journal of Mathematical Logic 21 (3):2150020.
    We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an ω-categorical algebra ????. There are ω-categorical groups where this pro...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  3
    Solving Equation Systems in Ω-Categorical Algebras.Manuel Bodirsky & Thomas Quinn-Gregson - 2021 - Journal of Mathematical Logic 21 (3).
    We study the computational complexity of deciding whether a given set of term equalities and inequalities has a solution in an ω-categorical algebra 𝔄. There are ω-categorical groups where this pro...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  1
    Generic Expansions by a Reduct.Christian D’Elbée - 2021 - Journal of Mathematical Logic 21 (3):2150016.
    Consider the expansion TS of a theory T by a predicate for a submodel of a reduct T0 of T. We present a setup in which this expansion admits a model companion TS. We show that some of the nice feat...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  3
    Canonical Fragments of the Strong Reflection Principle.Gunter Fuchs - 2021 - Journal of Mathematical Logic 21 (3):2150023.
    For an arbitrary forcing class Γ, the Γ-fragment of Todorčević’s strong reflection principle SRPis isolated in such a way that the forcing axiom for Γ implies the Γ-fragment of SRP, the sta...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  7
    The Ultrapower Axiom and the GCH.Gabriel Goldberg - 2021 - Journal of Mathematical Logic 21 (3):2150017.
    The Ultrapower Axiom is an abstract combinatorial principle inspired by the fine structure of canonical inner models of large cardinal axioms. In this paper, it is established that the Ultrapower A...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    The Ultrapower Axiom and the GCH.Gabriel Goldberg - 2021 - Journal of Mathematical Logic 21 (3).
    The Ultrapower Axiom is an abstract combinatorial principle inspired by the fine structure of canonical inner models of large cardinal axioms. In this paper, it is established that the Ultrapower A...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Answer to a Question of Rosłanowski and Shelah.Márk Poór - 2021 - Journal of Mathematical Logic 21 (3):2150022.
    Rosłanowski and Shelah [Small-large subgroups of the reals, Math. Slov. 68 473–484] asked whether every locally compact non-discrete group has a null but non-meager subgroup, and converse...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Answer to a Question of Rosłanowski and Shelah.Márk Poór - 2021 - Journal of Mathematical Logic 21 (3).
    Rosłanowski and Shelah [Small-large subgroups of the reals, Math. Slov. 68 473–484] asked whether every locally compact non-discrete group has a null but non-meager subgroup, and converse...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    Erratum: Equations in Oligomorphic Clones and the Constraint Satisfaction Problem for Ω-Categorical Structures.Libor Barto, Michael Kompatscher, Miroslav Olšák, Trung Van Pham & Michael Pinsker - 2021 - Journal of Mathematical Logic 21 (2):2192001.
    Journal of Mathematical Logic, Ahead of Print.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  6
    On the Existence of Small Antichains for Definable Quasi-Orders.Raphaël Carroy, Benjamin D. Miller & Zoltán Vidnyánszky - 2021 - Journal of Mathematical Logic 21 (2):2150005.
    We generalize Kada’s definable strengthening of Dilworth’s characterization of the class of quasi-orders admitting an antichain of a given finite cardinality.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  8
    Iterability for (Transfinite) Stacks.Farmer Schlutzenberg - 2021 - Journal of Mathematical Logic 21 (2):2150008.
    We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let Ω be a regular uncountable cardinal. Let m < ω and M be an m-sound premouse and Σ be...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues