default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 85
Volume 85, Number 1, March 2020
- Evan Goris, Joost J. Joosten:
Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories. 1-25 - Renling Jin:
Slow P-Point Ultrafilters. 26-36 - Feresiano Mwesigye, John Kenneth Truss:
Ehrenfeucht-FRAïSSé Games on a class of scattered linear Orders. 37-60 - Uri Andrews
, Serikzhan A. Badaev:
On Isomorphism Classes of computably Enumerable Equivalence Relations. 61-86 - Natasha Dobrinen, Daniel Hathaway:
Forcing and the Halpern-läUchli Theorem. 87-102 - Benjamin D. Miller, Zoltán Vidnyánszky:
On the existence of Large Antichains for Definable quasi-Orders. 103-108 - Nick Bezhanishvili, Wesley H. Holliday:
Choice-Free Stone duality. 109-148 - Osvaldo Guzmán González, Michael Hrusák, Osvaldo Téllez:
Restricted MAD families. 149-165 - Eric P. Astor, Damir D. Dzhafarov, Antonio Montalbán, Reed Solomon, Linda Brown Westrick:
The determined Property of Baire in Reverse Math. 166-198 - Daoud Siniora, Slawomir Solecki:
Coherent Extension of Partial automorphisms, Free Amalgamation and automorphism Groups. 199-223 - Guozhen Shen, Jiachen Yuan:
Factorials of Infinite Cardinals in ZF Part I: ZF Results. 224-243 - Guozhen Shen, Jiachen Yuan:
Factorials of Infinite Cardinals in ZF Part II: Consistency Results. 244-270 - André Nies, Paul Shafer:
Randomness Notions and Reverse Mathematics. 271-299 - Jacques Duparc, Louis Vuilleumier:
The Wadge order on the Scott Domain is not a Well-quasi-order. 300-324 - Howard Becker:
Assigning an Isomorphism Type to a Hyperdegree. 325-337 - Juan P. Aguilera, Sandra Müller:
The Consistency strength of Long Projective Determinacy. 338-366 - Ali Enayat, Mateusz Lelyk, Bartosz Wcislo:
Truth and Feasible Reducibility. 367-421 - Allen Gehret, Travis Nell:
Hamel Spaces and distal expansions. 422-438 - Marianne Morillon:
Multiple Choices Imply the Ingleton and Krein-Milman Axioms. 439-455 - Viktor Kiss:
A Game Characterizing Baire class 1 Functions. 456-466 - Radek Honzik, Sárka Stejskalová:
Indestructibility of the Tree Property. 467-485 - Rupert Hölzl, Wolfgang Merkle, Joseph S. Miller, Frank Stephan, Liang Yu:
Chaitin's ω as a continuous function. 486-510 - Anton Freund:
Predicative Collapsing Principles. 511-530 - Denis R. Hirschfeldt:
A Minimal Pair in the Generic Degrees. 531-537
Volume 85, Number 2, June 2020
- Alexandr Kazda, Matt Valeriote:
Deciding some Maltsev conditions in finite Idempotent Algebras. 539-562 - Jacopo Emmenegger, Erik Palmgren:
Exact Completion and Constructive Theories of Sets. 563-584 - Gabriel Goldberg:
The Ketonen order. 585-604 - Andrey N. Frolov, Steffen Lempp, Keng Meng Ng, Guohua Wu:
Computable linear Orders and Products. 605-623 - Andrea Vaccaro:
VOICULESCU'S THEOREM FOR NONSEPARABLE $\text{C}^{\ast} $ -ALGEBRAS. 624-631 - Dmitry Itsykson, Alexander Knop, Andrei E. Romashchenko, Dmitry Sokolov:
On OBDD-based Algorithms and Proof Systems that Dynamically Change the order of Variables. 632-670 - Mihai Prunescu:
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${\mathbb {Q}}$. 671-672 - Julia F. Knight, Alexandra A. Soskova, Stefan V. Vatev:
Coding in graphs and linear Orderings. 673-690 - Omer Ben-Neria, Shimon Garti:
On Configurations Concerning cardinal characteristics at Regular Cardinals. 691-708 - Anton Freund:
How Strong are single fixed Points of Normal Functions? 709-732 - Pawel Krupski, Benjamin Vejnar:
The Complexity of Homeomorphism Relations on some Classes of Compacta. 733-748 - Luka Mikec, Mladen Vukovic:
Interpretability Logics and generalised Veltman Semantics. 749-772 - Brent Cody:
A Refinement of the Ramsey Hierarchy via Indescribability. 773-808 - Raffaella Cutolo:
N-Berkeley Cardinals and Weak Extender Models. 809-816 - Wieslaw Kubis, Saharon Shelah:
Homogeneous Structures with nonuniversal automorphism Groups. 817-827 - Amador Martin-Pizarro, Martin Ziegler:
Equational Theories of Fields. 828-851 - Yves Cornulier, John S. Wilson:
First-order Recognizability in finite and pseudofinite Groups. 852-867
Volume 85, Number 3, September 2020
- Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, Kameryn J. Williams:
The exact strength of the class forcing Theorem. 869-905 - Daniele Mundici:
What the łukasiewicz Axioms mean. 906-917 - Frank O. Wagner:
Dimensional Groups and Fields. 918-936 - Yair Hayut, Spencer Unger:
Stationary Reflection. 937-959 - Longyun Ding, Takayuki Kihara, Brian Semmes, Jiafei Zhao:
Decomposing Functions of Baire class $2$ on Polish Spaces. 960-971 - Yifeng Ding, Matthew Harrison-Trainor, Wesley H. Holliday:
The Logic of Comparative Cardinality. 972-1005 - Takayuki Kihara, Alberto Marcone, Arno Pauly:
Searching for an analogue of Atr0 in the Weihrauch Lattice. 1006-1043 - Simon Cho:
Categorical Semantics of Metric Spaces and continuous Logic. 1044-1078 - Rachael Alvir, Dino Rossegger:
The Complexity of Scott Sentences of scattered linear Orders. 1079-1101 - Juan P. Aguilera:
$F_\sigma $ GAMES AND REFLECTION IN $L(\mathbb {R})$. 1102-1123 - Juan P. Aguilera, D. W. Blue:
PROVABLY $\Delta_1$ GAMES. 1124-1146 - Christian Espíndola:
Infinitary Generalizations of Deligne's Completeness Theorem. 1147-1162 - Toshiyasu Arai:
A Simplified Ordinal Analysis of First-order Reflection. 1163-1185 - Shuhei Masumoto:
On a generalized FRAïSSé Limit Construction and its Application to the Jiang-SU Algebra. 1186-1223 - Taishi Kurahashi:
A note on Derivability conditions. 1224-1253 - Tyler Brown, Timothy H. McNicholl, Alexander G. Melnikov:
On the Complexity of Classifying Lebesgue Spaces. 1254-1288 - Raphaël Carroy, Benjamin D. Miller:
Bases for Functions beyond the First Baire class. 1289-1303
Volume 85, Number 4, December 2020
- Daniel Wolf:
Multidimensional exact Classes, smooth Approximation and Bounded 4-Types. 1305-1341 - Michael Rathjen, Andrew W. Swan:
Lifschitz Realizability as a Topological Construction. 1342-1375 - Marco Barone, Nicolás Caro, Eudes Naziazeno:
Uniform Definability of Integers in Reduced indecomposable Polynomial Rings. 1376-1402 - Predrag Tanovic, Slavko Moconja, Dejan Ilic:
Around Rubin's "Theories of linear order". 1403-1426 - Rod Downey, Noam Greenberg, Alexander G. Melnikov, Keng Meng Ng, Daniel Turetsky:
Punctual Categoricity and Universality. 1427-1466 - Jan Dobrowolski, Daniel Max Hoffmann, Junguk Lee:
Elementary Equivalence Theorem for PAC Structures. 1467-1498 - Noam Greenberg, Keng Meng Ng, Guohua Wu:
Cupping and jump Classes in the computably Enumerable Degrees. 1499-1545 - Tomoyuki Yamakami:
A Schematic Definition of quantum Polynomial Time Computability. 1546-1587 - Arman Darbinyan:
Computability, Orders, and Solvable Groups. 1588-1598 - Mariana V. Badano, Diego Vaggione:
The fundamental Theorem of Central element Theory. 1599-1606 - Itaï Ben Yaacov, Frank O. Wagner:
A Metric Version of Schlichting's Theorem. 1607-1613 - Vasco Brattka, Guido Gherardi:
Weihrauch Goes Brouwerian. 1614-1653 - Masato Fujita:
Dimension inequality for a definably Complete uniformly Locally O-Minimal Structure of the second kind. 1654-1663 - Matthew Harrison-Trainor, Alexander G. Melnikov, Keng Meng Ng:
Computability of Polish Spaces up to Homeomorphism. 1664-1686 - Samuel A. Alexander:
Self-Referential Theories. 1687-1716 - Mark Kamsma:
The Kim-Pillay Theorem for Abstract Elementary Categories. 1717-1741
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 2026-02-13 00:40 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:
