- 2015
- Zhi Yin:
Embeddings of P(ω)/fin into Borel Equivalence Relations between ℓP and ℓQ . J. Symb. Log. 80(3): 917-939 (2015) - Uri Andrews, H. Jerome Keisler:
Separable Models of Randomizations. J. Symb. Log. 80(4): 1149-1181 (2015) - Camilo Argoty:
Forking and stability in the Representations of a C*-Algebra. J. Symb. Log. 80(3): 785-796 (2015) - Albert Atserias, Moritz Müller, Sergi Oliva:
Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle. J. Symb. Log. 80(2): 450-476 (2015) - Logan M. Axon:
Martin-LöF Randomness in Spaces of Closed Sets. J. Symb. Log. 80(2): 359-383 (2015) - John T. Baldwin, Paul B. Larson, Saharon Shelah
:
Almost Galois ω-Stable Classes. J. Symb. Log. 80(3): 763-784 (2015) - Arnold Beckmann, Samuel R. Buss, Sy-David Friedman:
Safe Recursive Set Functions. J. Symb. Log. 80(3): 730-762 (2015) - Luc Bélair, Françoise Point:
Separably Closed Fields and contractive Ore Modules. J. Symb. Log. 80(4): 1315-1338 (2015) - Omer Ben-Neria, Moti Gitik:
On the splitting number at Regular Cardinals. J. Symb. Log. 80(4): 1348-1360 (2015) - Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan:
Topological Completeness of Logics above S4. J. Symb. Log. 80(2): 520-566 (2015) - Andreas Blass, Natasha Dobrinen, Dilip Raghavan:
The Next Best Thing to a P-Point. J. Symb. Log. 80(3): 866-900 (2015) - Piotr Borodulin-Nadzieja, Barnabás Farkas, Grzegorz Plebanek:
Representations of ideals in Polish Groups and in Banach Spaces. J. Symb. Log. 80(4): 1268-1289 (2015) - Merlin Carl:
Optimal Results on Recognizability for Infinite Time Register Machines. J. Symb. Log. 80(4): 1116-1130 (2015) - Juan Diego Caycedo, Martin Hils:
Bad Fields with torsion. J. Symb. Log. 80(1): 221-233 (2015) - Zoé Chatzidakis, Matthew Harrison-Trainor, Rahim Moosa:
Differential-Algebraic jet Spaces Preserve Internality to the Constants. J. Symb. Log. 80(3): 1022-1034 (2015) - Yong Cheng, Ralf Schindler:
Harrington's Principle in Higher order Arithmetic. J. Symb. Log. 80(2): 477-489 (2015) - Ellen S. Chih:
Non-splittings of Speedable Sets. J. Symb. Log. 80(2): 609-635 (2015) - David Chodounský, Dusan Repovs, Lyubomyr Zdomskyy:
Mathias forcing and Combinatorial Covering Properties of filters. J. Symb. Log. 80(4): 1398-1410 (2015) - Peter Cholak, Peter M. Gerdes, Karen M. Lange:
${\cal D}$-MAXIMAL SETS. J. Symb. Log. 80(4): 1182-1210 (2015) - Chi Tat Chong, Liang Yu:
Randomness in the Higher Setting. J. Symb. Log. 80(4): 1131-1148 (2015) - Karel Chvalovský:
Undecidability of Consequence Relation in Full non-Associative Lambek Calculus. J. Symb. Log. 80(2): 567-586 (2015) - Petr Cintula, Carles Noguera:
A Henkin-Style Proof of Completeness for First-order Algebraizable Logics. J. Symb. Log. 80(1): 341-358 (2015) - Paola D'Aquino, Salma Kuhlmann, Karen M. Lange:
A Valuation Theoretic Characterization of Recursively saturated Real Closed Fields. J. Symb. Log. 80(1): 194-206 (2015) - François G. Dorais, Jeffry L. Hirst, Paul Shafer:
Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑20 Induction. J. Symb. Log. 80(4): 1211-1235 (2015) - Clifton F. Ealy, Jana Maríková:
Model Completeness of O-Minimal Fields with Convex Valuations. J. Symb. Log. 80(1): 234-250 (2015) - Martín Escardó, Paulo Oliva:
Bar Recursion and Products of Selection Functions. J. Symb. Log. 80(1): 1-28 (2015) - Arno Fehm:
Existential ∅-Definability of Henselian Valuation Rings. J. Symb. Log. 80(1): 301-307 (2015) - Antongiulio Fornasiero, Philipp Hieronymi:
A Fundamental Dichotomy for definably Complete expansions of Ordered Fields. J. Symb. Log. 80(4): 1091-1115 (2015) - Sy-David Friedman, Peter Holy, Philipp Lücke:
Large Cardinals and Lightface Definable Well-Orders, without the GCH. J. Symb. Log. 80(1): 251-284 (2015) - Sy-David Friedman, Vadim Kulikov:
Failures of the Silver Dichotomy in the generalized Baire Space. J. Symb. Log. 80(2): 661-670 (2015)
