Year:

  1.  3
    Proof-Theoretic Strengths of Weak Theories for Positive Inductive Definitions.Toshiyasu Arai - 2018 - Journal of Symbolic Logic 83 (3):1091-1111.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  1
    Towers in Filters, Cardinal Invariants, and Luzin Type Families.Jörg Brendle, Barnabás Farkas & Jonathan Verner - 2018 - Journal of Symbolic Logic 83 (3):1013-1062.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    An Algebraic Approach to Mso-Definability on Countable Linear Orderings.Olivier Carton, Thomas Colcombet & Gabriele Puppis - 2018 - Journal of Symbolic Logic 83 (3):1147-1189.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    Simple Groups of Morley Rank 5 Are Bad.Adrien Deloro & Joshua Wiscons - 2018 - Journal of Symbolic Logic 83 (3):1217-1228.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  1
    Subcomplete Forcing, Trees, and Generic Absoluteness.Gunter Fuchs & Kaethe Minden - 2018 - Journal of Symbolic Logic 83 (3):1282-1305.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. The Solidity and Nonsolidity of Initial Segments of the Core Model.Gunter Fuchs & Ralf Schindler - 2018 - Journal of Symbolic Logic 83 (3):920-938.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Truths, Inductive Definitions, and Kripke-Platek Systems Over Set Theory.Kentaro Fujimoto - 2018 - Journal of Symbolic Logic 83 (3):868-898.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  1
    Interrelation Between Weak Fragments of Double Negation Shift and Related Principles.Makoto Fujiwara & Ulrich Kohlenbach - 2018 - Journal of Symbolic Logic 83 (3):991-1012.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  2
    From Multisets to Sets in Homotopy Type Theory.Håkon Robbestad Gylterud - 2018 - Journal of Symbolic Logic 83 (3):1132-1146.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  4
    The Temporal Logic of Two Dimensional Minkowski Spacetime is Decidable.Robin Hirsch & Mark Reynolds - 2018 - Journal of Symbolic Logic 83 (3):829-867.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  1
    Truncation and Semi-Decidability Notions in Applicative Theories.Gerhard Jäger, Timotej Rosebrock & Sato Kentaro - 2018 - Journal of Symbolic Logic 83 (3):967-990.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  1
    The Complexity of Topological Group Isomorphism.Alexander S. Kechris, André Nies & Katrin Tent - 2018 - Journal of Symbolic Logic 83 (3):1190-1203.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    Undecidability of the First Order Theories of Free Noncommutative Lie Algebras.Olga Kharlampovich & Alexei Myasnikov - 2018 - Journal of Symbolic Logic 83 (3):1204-1216.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  1
    Provability Logics Relative to a Fixed Extension of Peano Arithmetic.Taishi Kurahashi - 2018 - Journal of Symbolic Logic 83 (3):1229-1246.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. On the Structure of Groups Endowed with a Compatible C-Relation.Gabriel Lehéricy - 2018 - Journal of Symbolic Logic 83 (3):939-966.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. A Logical and Algebraic Characterization of Adjunctions Between Generalized Quasi-Varieties.Tommaso Moraschini - 2018 - Journal of Symbolic Logic 83 (3):899-919.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  3
    Infinite Combinatorics Plain and Simple.Dániel T. Soukup & Lajos Soukup - 2018 - Journal of Symbolic Logic 83 (3):1247-1281.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. On C-Extendible Cardinals.Konstantinos Tsaprounis - 2018 - Journal of Symbolic Logic 83 (3):1112-1131.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Consistency Proof of a Fragment of Pv with Substitution in Bounded Arithmetic.Yoriyuki Yamagata - 2018 - Journal of Symbolic Logic 83 (3):1063-1090.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  6
    ${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  
     
    Bookmark  
  21. The Computational Content of Intrinsic Density.Eric P. Astor - 2018 - Journal of Symbolic Logic 83 (2):817-828.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  1
    Abstract Ω-Limit Sets.Will Brian - 2018 - Journal of Symbolic Logic 83 (2):477-495.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. 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  
     
    Bookmark  
  24.  4
    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  
     
    Bookmark  
  25.  2
    Relatively Exchangeable Structures.Harry Crane & Henry Towsner - 2018 - Journal of Symbolic Logic 83 (2):416-442.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  4
    Abstract Inductive and Co-Inductive Definitions.Giovanni Curi - 2018 - Journal of Symbolic Logic 83 (2):598-616.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. 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  
     
    Bookmark  
  28.  3
    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  
     
    Bookmark  
  29. 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  
     
    Bookmark  
  30. 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  
     
    Bookmark  
  31. 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  
     
    Bookmark  
  32.  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  
     
    Bookmark  
  33. 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  
     
    Bookmark  
  34. Computable Polish Group Actions.Alexander Melnikov & Antonio Montalbán - 2018 - Journal of Symbolic Logic 83 (2):443-460.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. 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  
     
    Bookmark  
  36. 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  
     
    Bookmark  
  37. Equivalence Relations Invariant Under Group Actions.Tomasz Rzepecki - 2018 - Journal of Symbolic Logic 83 (2):683-702.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Varsovian Models I.Grigor Sargsyan & Ralf Schindler - 2018 - Journal of Symbolic Logic 83 (2):496-528.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  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  
     
    Bookmark  
  40. 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  
     
    Bookmark  
  41. 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  
     
    Bookmark  
  42.  3
    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  
     
    Bookmark   1 citation  
  43.  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  
     
    Bookmark  
  44.  1
    Dominions and Primitive Positive Functions.Miguel Campercholi - 2018 - Journal of Symbolic Logic 83 (1):40-54.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  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  
     
    Bookmark  
  46.  3
    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  
     
    Bookmark  
  47.  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  
     
    Bookmark  
  48.  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  
     
    Bookmark  
  49.  5
    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  
     
    Bookmark  
  50.  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  
     
    Bookmark  
  51.  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  
     
    Bookmark  
  52.  2
    Hierarchies of Resurrection Axioms.Gunter Fuchs - 2018 - Journal of Symbolic Logic 83 (1):283-325.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  53.  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  
     
    Bookmark  
  54. Left-orderable computable groups.Matthew Harrison-Trainor - 2018 - Journal of Symbolic Logic 83 (1):237-255.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  55. 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  
     
    Bookmark  
  56.  1
    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  
     
    Bookmark   1 citation  
  57. 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  
     
    Bookmark  
  58.  1
    Weak Squares and Very Good Scales.Maxwell Levine - 2018 - Journal of Symbolic Logic 83 (1):1-12.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  59.  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  
     
    Bookmark   2 citations  
  60.  5
    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  
     
    Bookmark  
  61.  1
    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  
     
    Bookmark  
  62.  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  
     
    Bookmark  
  63.  1
    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  
     
    Bookmark  
  64. 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  
     
    Bookmark  
 Previous issues
  
Next issues