default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 86
Volume 86, Number 1, March 2021
- Ur Ya'ar
:
The Modal Logic of -Centered forcing and Related forcing Classes. 1-24 - Stefan Hoffelner:
Ns saturated and -Definable. 25-59 - Manuel J. Inselmann, Benjamin D. Miller:
Recurrence and the existence of Invariant Measures. 60-76 - Ivano Ciardelli, Martin Otto:
Inquisitive Bisimulation. 77-109 - Siddharth Bhaskar:
Thicket density. 110-127 - Jonathan Cancino, Osvaldo Guzmán González, Arnold W. Miller:
Ideal Independent families and the Ultrafilter number. 128-136 - Gabriel Goldberg:
Rank-to-Rank Embeddings and steel's Conjecture. 137-147 - Manuel Bodirsky, Michael Pinsker, András Pongrácz:
Projective clone Homomorphisms. 148-161 - Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill:
Characterizing existence of a Measurable cardinal via Modal Logic. 162-177 - Natasha Dobrinen, Dan Hathaway:
Classes of Barren Extensions. 178-209 - Mirna Dzamonja, Saharon Shelah:
On Wide Aronszajn Trees in the presence of MA. 210-223 - Patrick Uftring:
The characterization of Weihrauch Reducibility in Systems containing. 224-261 - Gunter Fuchs, Chris Lambie-Hanson:
Separating diagonal stationary Reflection Principles. 262-292 - Gunter Fuchs:
Aronszajn Tree Preservation and Bounded forcing Axioms. 293-315 - Alberto Marcone, Manlio Valenti:
The Open and Clopen Ramsey theorems in the Weihrauch Lattice. 316-351 - Antoine Mottet, Michael Pinsker:
Cores over Ramsey Structures. 352-361 - Carlo Nicolai, Johannes Stern:
The Modal Logics of Kripke-Feferman Truth. 362-396 - Kaethe Minden:
Combining Resurrection and Maximality. 397-414 - Salome Schumacher:
The Relation between two Diminished Choice Principles. 415-432
Volume 86, Number 2, June 2021
- Maria Emilia Maietti, Samuele Maschio:
A Predicative variant of Hyland's Effective Topos. 433-447 - Philip D. Welch:
Stably Measurable Cardinals. 448-470 - Benoit Monin, André Nies:
Muchnik Degrees and cardinal characteristics. 471-498 - Sean D. Cox:
Forcing Axioms, Approachability, and stationary Set Reflection. 499-530 - Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov, Junguk Lee:
The Relativized Lascar Groups, Type-Amalgamation, and algebraicity. 531-557 - Justin Miller:
Intrinsic Smallness. 558-576 - Nadav Meir:
Pseudo-finite Sets, Pseudo-O-Minimality. 577-599 - James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova, Spencer Unger:
The Tree Property at the two Immediate Successors of a singular cardinal. 600-608 - Alfredo Roque Freire, Joel David Hamkins:
Bi-Interpretation in Weak Set Theories. 609-634 - Agata Ciabattoni, Timo Lang, Revantha Ramanayake:
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics. 635-668 - Christian D'elbée:
Forking, Imaginaries, and other Features of Acfgacfg\Text {Acfg}. 669-700 - Philip Dittmann, Dion Leijnse:
A class of Fields with a Restricted Model Completeness Property. 701-708 - Anton Freund:
Well Ordering Principles and -Statements: a Pilot Study. 709-745 - Boris Sobot:
Congruence of Ultrafilters. 746-761 - Philipp Lücke, Sandra Müller:
Closure Properties of Measurable Ultrapowers. 762-784 - Hajnal Andréka, István Németi:
Two-variable Logic has Weak, but not Strong, Beth Definability. 785-800 - Juan Pablo Acosta López:
One dimensional Groups Definable in the P-ADIC numbers. 801-816 - Jun Le Goh, Arno Pauly, Manlio Valenti:
Finding descending sequences through ill-Founded linear Orders. 817-854 - Jialiang He, Michael Hrusák, Diego Rojas-Rebolledo, Slawomir Solecki:
Tukey order among ideals. 855-870
Volume 86, Number 3, September 2021
- Sandra Müller, Grigor Sargsyan:
HODHOD\operatorname {HOD} IN INNER MODELS WITH WOODIN CARDINALS. 871-896 - Vera Fischer, Dániel T. Soukup:
More ZFC inequalities between cardinal Invariants. 897-912 - David Bryant, André Nies, Paul F. Tupper:
FraïSSé Limits for Relational Metric Structures. 913-934 - Ramon Jansana, Tommaso Moraschini:
The Poset of All Logics I: Interpretations and Lattice Structure. 935-964 - Bruno Poizat:
SyméTries et Transvexions, Principalement dans les groupes de rang de Morley fini sans involutions. 965-990 - Milos S. Kurilic:
Vaught's Conjecture for Almost chainable Theories. 991-1005 - Joost J. Joosten:
MüNchhausen Provability. 1006-1034 - Ruaan Kellerman, Valentin Goranko:
Approximating Trees as Coloured linear Orders and Complete Axiomatisations of some Classes of Trees. 1035-1065 - Philip Ehrlich, Elliot Kaplan:
Surreal Ordered exponential Fields. 1066-1115 - Péter Komjáth:
Notes on some ERDőS-Hajnal Problems. 1116-1123 - Makoto Fujiwara, Taishi Kurahashi:
Prenex Normal Form theorems in Semi-Classical Arithmetic. 1124-1153 - Paul Shafer, Sebastiaan A. Terwijn:
Ordinal Analysis of Partial Combinatory Algebras. 1154-1188 - Yoshihiro Maruyama:
Fibred Algebraic Semantics for a Variety of non-Classical First-order Logics and Topological Logical Translation. 1189-1213 - Roman Pol, Piotr Zakrzewski:
Countably Perfectly meager Sets. 1214-1227 - Rob Egrot:
Recursive Axiomatisations from separation Properties. 1228-1258 - Byunghan Kim:
Weak Canonical Bases in Nsop 11_1 Theories. 1259-1281 - Klaus Ambos-Spies, Rodney G. Downey, Martin Monath:
On Supersets of non-low 22_2 Sets. 1282-1292 - Gabriel Conant, Kyle Gannon:
Associativity of the Morley Product of Invariant Measures in NIP Theories. 1293-1300
Volume 86, Number 4, December 2021
- Brice Halimi:
Homotopy Model Theory. 1301-1323 - Neer Bhardwaj, Chieu-Minh Tran:
The additive Groups of and with Predicates for being square-Free. 1324-1349 - Fedor Pakhomov, James Walsh:
Reflection ranks and Ordinal Analysis. 1350-1384 - Sy-David Friedman, Dan Hathaway:
Generic coding with Help and Amalgamation Failure. 1385-1395 - Tim Campion, Greg Cousins, Jinhe Ye:
Classifying Spaces and the Lascar Group. 1396-1431 - Miroslav Olsák:
Maltsev conditions for General Congruence Meet-semidistributive Algebras. 1432-1451 - Paul-Elliot Anglès d'Auriac, Takayuki Kihara:
A Comparison of various analytic Choice Principles. 1452-1485 - John Baldwin, Gianluca Paolini:
Strongly Minimal Steiner Systems I: existence. 1486-1507 - Itay Kaplan, Tomasz Rzepecki, Daoud Siniora:
On the automorphism Group of the Universal homogeneous Meet-Tree. 1508-1540 - Juan P. Aguilera:
Shortening Clopen Games. 1541-1554 - Juan P. Aguilera:
The order of Reflection. 1555-1583 - Ali Enayat, Zachiri McKenzie:
Initial Self-Embeddings of Models of Set Theory. 1584-1611 - Laurent Bienvenu, Barbara F. Csima, Matthew Harrison-Trainor:
Some Questions of Uniformity in Algorithmic Randomness. 1612-1631 - Uri Andrews, Omer Mermelstein:
Is a spectrum of a non-Disintegrated flat strongly Minimal Model Complete Theory in a Language with finite Signature. 1632-1656 - André Nies, Marcus Anthony Triplett, Keita Yokoyama:
The Reverse Mathematics of theorems of Jordan and Lebesgue. 1657-1675 - Juan P. Aguilera, Philip D. Welch:
Gδσ GAMES AND INDUCTION ON REALS. 1676-1690 - Andrzej Starosolski:
The Rudin-Keisler Ordering of P-Points under 𝔟 = 𝔠. 1691-1705 - Rachael Alvir, Noam Greenberg, Matthew Harrison-Trainor, Dan Turetsky:
Scott Complexity of Countable Structures. 1706-1720 - Heike Mildenberger, Saharon Shelah:
Higher Miller forcing May collapse Cardinals. 1721-1744
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
