- Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel Turetsky:
Computability and uncountable Linear Orders I: Computable Categoricity. J. Symb. Log. 80(1): 116-144 (2015) - Noam Greenberg, Asher M. Kach, Steffen Lempp, Daniel D. Turetsky:
Computability and uncountable Linear Orders II: degree spectra. J. Symb. Log. 80(1): 145-178 (2015) - Lorna Gregory
:
Decidability for Theories of Modules over Valuation Domains. J. Symb. Log. 80(2): 684-711 (2015) - Martin Grohe
, Martin Otto:
Pebble Games and linear equations. J. Symb. Log. 80(3): 797-844 (2015) - Peter Holy, Philip D. Welch
, Liuzhen Wu:
Local Club Condensation and L-Likeness. J. Symb. Log. 80(4): 1361-1378 (2015) - Rosalie Iemhoff
, Paul Rozière:
Unification in Intermediate Logics. J. Symb. Log. 80(3): 713-729 (2015) - Gregory Igusa:
The Generic Degrees of density-1 Sets, and a characterization of the Hyperarithmetic Reals. J. Symb. Log. 80(4): 1290-1314 (2015) - Franziska Jahnke
, Jochen Koenigsmann:
Definable Henselian Valuations. J. Symb. Log. 80(1): 85-99 (2015) - Farida Kachapova
:
A Strong Multi-Typed Intuitionistic Theory of functionals. J. Symb. Log. 80(3): 1035-1065 (2015) - Byunghan Kim, Sunyoung Kim, Junguk Lee
:
A Classification of 2-Chains having 1-Shell Boundaries in rosy Theories. J. Symb. Log. 80(1): 322-340 (2015) - Pablo Cubides Kovacsics
:
Locally Constant Functions in C-Minimal Structures. J. Symb. Log. 80(1): 207-220 (2015) - Alexander P. Kreuzer:
On Idempotent Ultrafilters in Higher-order Reverse Mathematics. J. Symb. Log. 80(1): 179-193 (2015) - Graham E. Leigh:
Conservativity for Theories of Compositional Truth via Cut Elimination. J. Symb. Log. 80(3): 845-865 (2015) - Vincenzo Mantova
:
A Pseudoexponential-like Structure on the Algebraic numbers. J. Symb. Log. 80(4): 1339-1347 (2015) - David Marker, James H. Schmerl, Charles Steinhorn:
Uncountable Real Closed Fields with PA Integer Parts. J. Symb. Log. 80(2): 490-502 (2015) - Matthew Moore:
The Undecidability of the Definability of Principal Subcongruences. J. Symb. Log. 80(2): 384-432 (2015) - Alexander Prestel:
Definable Henselian Valuation Rings. J. Symb. Log. 80(4): 1260-1267 (2015) - Grigor Sargsyan, John Steel:
The mouse Set conjecture for Sets of Reals. J. Symb. Log. 80(2): 671-683 (2015) - James H. Schmerl:
Automorphism Groups of Countable Arithmetically saturated Models of Peano Arithmetic. J. Symb. Log. 80(4): 1411-1434 (2015) - Noah David Schweber:
Transfinite Recursion in Higher Reverse Mathematics. J. Symb. Log. 80(3): 940-969 (2015) - Saharon Shelah
, Otmar Spinas:
Mad spectra. J. Symb. Log. 80(3): 901-916 (2015) - Saharon Shelah
, Jouko A. Väänänen
, Boban Velickovic
:
Positional Strategies in Long Ehrenfeucht-FraïSSé Games. J. Symb. Log. 80(1): 285-300 (2015) - Xianghui Shi:
Axiom I 0 and Higher degree Theory. J. Symb. Log. 80(3): 970-1021 (2015) - Miodrag Sokic:
Semilattices and the Ramsey Property. J. Symb. Log. 80(4): 1236-1259 (2015) - Otmar Spinas, Marek Wyszkowski:
Silver Antichains. J. Symb. Log. 80(2): 503-519 (2015) - Predrag Tanovic
:
Generically Stable Regular Types. J. Symb. Log. 80(1): 308-321 (2015) - Asger Törnquist, William Weiss:
The ∑21 Counterparts to Statements that are Equivalent to the Continuum Hypothesis. J. Symb. Log. 80(4): 1075-1090 (2015) - Nam Trang:
Structure Theory of L(ℝ, μ) and its Applications. J. Symb. Log. 80(1): 29-55 (2015) - Konstantinos Tsaprounis:
On Resurrection Axioms. J. Symb. Log. 80(2): 587-608 (2015) - Alessandro Vignati
:
An Algebra whose Subalgebras are characterized by density. J. Symb. Log. 80(3): 1066-1074 (2015)