Year:

  1. ${2^{{\Aleph _0}}}$ Pairwise Nonisomorphic Maximal-Closed Subgroups of Sym Via the Classification of the Reducts of the Henson Digraphs. [REVIEW]Lovkush Agarwal & Michael Kompatscher - 2018 - Journal of Symbolic Logic 83 (2):395-415.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. The Computational Content of Intrinsic Density.Eric P. Astor - 2018 - Journal of Symbolic Logic 83 (2):817-828.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Abstract Ω-Limit Sets.Will Brian - 2018 - Journal of Symbolic Logic 83 (2):477-495.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. The Complexity of the Embeddability Relation Between Torsion-Free Abelian Groups of Uncountable Size.Filippo Calderoni - 2018 - Journal of Symbolic Logic 83 (2):703-716.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Randomness Via Infinite Computation and Effective Descriptive Set Theory.Merlin Carl & Philipp Schlicht - 2018 - Journal of Symbolic Logic 83 (2):766-789.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Relatively Exchangeable Structures.Harry Crane & Henry Towsner - 2018 - Journal of Symbolic Logic 83 (2):416-442.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    Abstract Inductive and Co-Inductive Definitions.Giovanni Curi - 2018 - Journal of Symbolic Logic 83 (2):598-616.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. Avoiding Effective Packing Dimension 1 Below Array Noncomputable C.E. Degrees.Rod Downey & Jonathan Stephenson - 2018 - Journal of Symbolic Logic 83 (2):717-739.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  2
    Number Systems with Simplicity Hierarchies: A Generalization of Conway’s Theory of Surreal Numbers II.Philip Ehrlich & Elliot Kaplan - 2018 - Journal of Symbolic Logic 83 (2):617-633.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Some Applications of Supercompact Extender Based Forcings to Hod.Moti Gitik & Carmi Merimovich - 2018 - Journal of Symbolic Logic 83 (2):461-476.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Uniform Procedures in Uncountable Structures.Noam Greenberg, Alexander G. Melnikov, Julia F. Knight & Daniel Turetsky - 2018 - Journal of Symbolic Logic 83 (2):529-550.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. An Ax-Kochen-Ershov Theorem for Monotone Differential-Henselian Fields.Tigran Hakobyan - 2018 - Journal of Symbolic Logic 83 (2):804-816.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    About Some Fixed Point Axioms and Related Principles in Kripke–Platek Environments.Gerhard Jäger & Silvia Steila - 2018 - Journal of Symbolic Logic 83 (2):642-668.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Compact Cardinals and Eight Values in Cichoń’s Diagram.Jakob Kellner, Anda Ramona Tănasie & Fabio Elio Tonti - 2018 - Journal of Symbolic Logic 83 (2):790-803.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Computable Polish Group Actions.Alexander Melnikov & Antonio Montalbán - 2018 - Journal of Symbolic Logic 83 (2):443-460.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Conservativity of Ultrafilters Over Subsystems of Second Order Arithmetic.Antonio Montalbán & Richard A. Shore - 2018 - Journal of Symbolic Logic 83 (2):740-765.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. Happy and Mad Families in L.Itay Neeman & Zach Norwood - 2018 - Journal of Symbolic Logic 83 (2):572-597.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Equivalence Relations Invariant Under Group Actions.Tomasz Rzepecki - 2018 - Journal of Symbolic Logic 83 (2):683-702.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Varsovian Models I.Grigor Sargsyan & Ralf Schindler - 2018 - Journal of Symbolic Logic 83 (2):496-528.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  20.  1
    The Tree Property at ${\Aleph {{\Omega ^2} + 1}}$ and ${\Aleph{{\Omega ^2} + 2}}$.Dima Sinapova & Spencer Unger - 2018 - Journal of Symbolic Logic 83 (2):669-682.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. On the Set-Theoretic Strength of Ellis’ Theorem and the Existence of Free Idempotent Ultrafilters on Ω.Eleftherios Tachtsis - 2018 - Journal of Symbolic Logic 83 (2):551-571.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. Keisler’s Order is Not Linear, Assuming a Supercompact.Douglas Ulrich - 2018 - Journal of Symbolic Logic 83 (2):634-641.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  2
    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  
  24.  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  
  25.  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  
  26.  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  
  27.  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  
  28.  2
    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  
  29.  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  
  30. 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  
  31.  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  
  32.  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  
  33.  1
    Hierarchies of Resurrection Axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  2
    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  
  35. 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  
  36. 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  
  37. 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   1 citation  
  38. 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  
  39.  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  
  40.  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   2 citations  
  41.  4
    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  
  42. 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  
  43.  3
    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  
  44. 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  
  45. 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