Year:

  1.  1
    Degrees of Categoricity and Spectral Dimension.Nikolay A. Bazhenov, Iskander Sh Kalimullin & Mars M. Yamaleev - 2018 - Journal of Symbolic Logic 83 (1):103-116.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  2
    The Definable -Theorem for Distal Theories.Gareth Boxall & Charlotte Kestner - 2018 - Journal of Symbolic Logic 83 (1):123-127.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Dominions and Primitive Positive Functions.Miguel Campercholi - 2018 - Journal of Symbolic Logic 83 (1):40-54.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  2
    There Are No Intermediate Structures Between the Group of Integers and Presburger Arithmetic.Gabriel Conant - 2018 - Journal of Symbolic Logic 83 (1):187-207.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    The Eightfold Way.James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot & Dima Sinapova - 2018 - Journal of Symbolic Logic 83 (1):349-371.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  1
    Jump Operations for Borel Graphs.Adam R. Day & Andrew S. Marks - 2018 - Journal of Symbolic Logic 83 (1):13-28.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Zfc Proves That the Class of Ordinals is Not Weakly Compact for Definable Classes.Ali Enayat & Joel David Hamkins - 2018 - Journal of Symbolic Logic 83 (1):146-164.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Coherent Systems of Finite Support Iterations.Vera Fischer, Sy D. Friedman, Diego A. Mejía & Diana C. Montoya - 2018 - Journal of Symbolic Logic 83 (1):208-236.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    Strict Coherence on Many-Valued Events.Tommaso Flaminio, Hykel Hosni & Franco Montagna - 2018 - Journal of Symbolic Logic 83 (1):55-69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  2
    Hierarchies of Forcing Axioms, the Continuum Hypothesis and Square Principles.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):256-282.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  1
    Hierarchies of Resurrection Axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. On Cuts in Ultraproducts of Linear Orders II.Mohammad Golshani & Saharon Shelah - 2018 - Journal of Symbolic Logic 83 (1):29-39.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Left-orderable computable groups.Matthew Harrison-Trainor - 2018 - Journal of Symbolic Logic 83 (1):237-255.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  14. On Maximal Stable Quotients of Definable Groups in Nip Theories.Mike Haskel & Anand Pillay - 2018 - Journal of Symbolic Logic 83 (1):117-122.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer.Frederik S. Herzberg, Vladimir Kanovei, Mikhail Katz & Vassily Lyubetsky - 2018 - Journal of Symbolic Logic 83 (1):385-391.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Bounded Polynomials and Holomorphic Mappings Between Convex Subrings of *$\Mathbb{C}$.Adel Khalfallah & Siegmund Kosarew - 2018 - Journal of Symbolic Logic 83 (1):372-384.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  1
    Weak Squares and Very Good Scales.Maxwell Levine - 2018 - Journal of Symbolic Logic 83 (1):1-12.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  3
    A Computable Functor From Graphs to Fields.Russell Miller, Bjorn Poonen, Hans Schoutens & Alexandra Shlapentokh - 2018 - Journal of Symbolic Logic 83 (1):326-348.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  3
    A Direct Proof of Schwichtenberg’s Bar Recursion Closure Theorem.Paulo Oliva & Silvia Steila - 2018 - Journal of Symbolic Logic 83 (1):70-83.
    Schwichtenberg showed that the System T definable functionals are closed under a rule-like version Spector’s bar recursion of lowest type levels 0 and 1. More precisely, if the functional Y which controls the stopping condition of Spector’s bar recursor is T-definable, then the corresponding bar recursion of type levels 0 and 1 is already T-definable. Schwichtenberg’s original proof, however, relies on a detour through Tait’s infinitary terms and the correspondence between ordinal recursion for α < ε₀ and primitive recursion over (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20. Compact Metrizable Structures and Classification Problems.Christian Rosendal & Joseph Zielinski - 2018 - Journal of Symbolic Logic 83 (1):165-186.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    Deciding the Chromatic Numbers of Algebraic Hypergraphs.James H. Schmerl - 2018 - Journal of Symbolic Logic 83 (1):128-145.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. The Number of Atomic Models of Uncountable Theories.Douglas Ulrich - 2018 - Journal of Symbolic Logic 83 (1):84-102.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. Weakly 2-Randoms and 1-Generics in Scott Sets.Linda Brown Westrick - 2018 - Journal of Symbolic Logic 83 (1):392-394.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues