default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 83
Volume 83, Number 1, March 2018
- Maxwell Levine
:
Weak squares and Very Good scales. 1-12 - Adam R. Day, Andrew S. Marks:
Jump Operations for Borel graphs. 13-28 - Mohammad Golshani, Saharon Shelah:
On Cuts in Ultraproducts of linear Orders II. 29-39 - Miguel Campercholi:
Dominions and Primitive positive Functions. 40-54 - Tommaso Flaminio, Hykel Hosni, Franco Montagna:
Strict Coherence on Many-Valued Events. 55-69 - Paulo Oliva, Silvia Steila:
A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem. 70-83 - Douglas Ulrich:
The number of Atomic Models of uncountable Theories. 84-102 - Nikolay Bazhenov, Iskander Sh. Kalimullin, Mars M. Yamaleev:
Degrees of Categoricity and spectral Dimension. 103-116 - Mike Haskel, Anand Pillay:
On Maximal stable Quotients of Definable Groups in NIP Theories. 117-122 - Gareth Boxall, Charlotte Kestner:
The Definable (P, Q)-Theorem for distal Theories. 123-127 - James H. Schmerl:
Deciding the chromatic numbers of Algebraic hypergraphs. 128-145 - Ali Enayat, Joel David Hamkins:
Zfc Proves that the class of Ordinals is not Weakly Compact for Definable Classes. 146-164 - Christian Rosendal, Joseph Zielinski:
Compact metrizable Structures and Classification Problems. 165-186 - Gabriel Conant:
There are no Intermediate Structures between the Group of Integers and Presburger Arithmetic. 187-207 - Vera Fischer, Sy D. Friedman, Diego Alejandro Mejía, Diana Carolina Montoya:
Coherent Systems of finite Support iterations. 208-236 - Matthew Harrison-Trainor:
Left-orderable Computable Groups. 237-255 - Gunter Fuchs:
Hierarchies of forcing Axioms, the continuum Hypothesis and square Principles. 256-282 - Gunter Fuchs:
Hierarchies of (Virtual) Resurrection Axioms. 283-325 - Russell G. Miller, Bjorn Poonen, Hans Schoutens, Alexandra Shlapentokh:
A Computable Functor from graphs to Fields. 326-348 - James Cummings, Sy-David Friedman, Menachem Magidor, Assaf Rinot:
The eightfold Way. 349-371 - Adel Khalfallah, Siegmund Kosarew:
Bounded polynomials and holomorphic mappings between Convex subrings of * $\Mathbb{C}$. 372-384 - Frederik S. Herzberg, Vladimir Kanovei, Mikhail G. Katz, Vassily A. Lyubetsky:
Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer. 385-391 - Linda Brown Westrick:
Weakly 2-Randoms and 1-generics in Scott Sets. 392-394
Volume 83, Number 2, June 2018
- Lovkush Agarwal, Michael Kompatscher:
${2^{{\aleph _0}}}$ Pairwise nonisomorphic Maximal-closed Subgroups of Sym(ℕ) via the Classification of the Reducts of the Henson digraphs. 395-415 - Harry Crane, Henry Towsner:
Relatively exchangeable Structures. 416-442 - Alexander G. Melnikov, Antonio Montalbán:
Computable Polish Group Actions. 443-460 - Moti Gitik, Carmi Merimovich:
Some Applications of Supercompact Extender based Forcings to HOD. 461-476 - Will Brian:
Abstract ω-Limit Sets. 477-495 - Grigor Sargsyan, Ralf Schindler:
Varsovian Models I. 496-528 - Noam Greenberg, Alexander G. Melnikov, Julia F. Knight, Daniel Turetsky:
Uniform Procedures in uncountable Structures. 529-550 - Eleftherios Tachtsis:
On the Set-Theoretic strength of Ellis' Theorem and the existence of Free Idempotent Ultrafilters on ω. 551-571 - Itay Neeman, Zach Norwood:
Happy and MAD families in l(ℝ). 572-597 - Giovanni Curi:
Abstract Inductive and Co-Inductive Definitions. 598-616 - Philip Ehrlich, Elliot Kaplan:
Number Systems with Simplicity Hierarchies: a Generalization of Conway's Theory of surreal numbers II. 617-633 - Douglas Ulrich:
Keisler's order is not linear, Assuming a Supercompact. 634-641 - Gerhard Jäger, Silvia Steila:
About some fixed Point Axioms and Related Principles in Kripke-Platek Environments. 642-668 - Dima Sinapova, Spencer Unger:
THE TREE PROPERTY AT ${\aleph _{{\omega ^2} + 1}}$ AND ${\aleph _{{\omega ^2} + 2}}$. 669-682 - Tomasz Rzepecki:
Equivalence Relations Invariant under Group Actions. 683-702 - Filippo Calderoni:
The Complexity of the Embeddability Relation between torsion-Free Abelian Groups of uncountable Size. 703-716 - Rod Downey, Jonathan Stephenson:
Avoiding Effective Packing Dimension 1 below array Noncomputable C.E. Degrees. 717-739 - Antonio Montalbán, Richard A. Shore:
Conservativity of Ultrafilters over Subsystems of second order Arithmetic. 740-765 - Merlin Carl, Philipp Schlicht:
Randomness via Infinite Computation and Effective Descriptive Set Theory. 766-789 - Jakob Kellner, Anda Ramona Tanasie, Fabio Elio Tonti:
Compact Cardinals and eight Values in Cichoń's Diagram. 790-803 - Tigran Hakobyan:
An AX-Kochen-Ershov Theorem for Monotone differential-Henselian Fields. 804-816 - Eric P. Astor:
The Computational Content of Intrinsic density. 817-828
Volume 83, Number 3, September 2018
- Robin Hirsch, Mark Reynolds:
The Temporal Logic of two dimensional Minkowski Spacetime is Decidable. 829-867 - Kentaro Fujimoto:
Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory. 868-898 - Tommaso Moraschini:
A Logical and Algebraic characterization of Adjunctions between generalized quasi-Varieties. 899-919 - Gunter Fuchs, Ralf Schindler:
The Solidity and Nonsolidity of initial Segments of the Core Model. 920-938 - Gabriel Lehéricy:
On the Structure of Groups endowed with a compatible C-Relation. 939-966 - Gerhard Jäger, Timotej Rosebrock, Sato Kentaro:
Truncation and Semi-Decidability Notions in Applicative Theories. 967-990 - Makoto Fujiwara, Ulrich Kohlenbach:
Interrelation between Weak Fragments of double Negation Shift and Related Principles. 991-1012 - Jörg Brendle, Barnabás Farkas, Jonathan Verner:
Towers in filters, cardinal Invariants, and Luzin Type families. 1013-1062 - Yoriyuki Yamagata:
Consistency Proof of a Fragment of PV with Substitution in Bounded Arithmetic. 1063-1090 - Toshiyasu Arai:
Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions. 1091-1111 - Konstantinos Tsaprounis:
On C(n)-Extendible Cardinals. 1112-1131 - Håkon Robbestad Gylterud:
From Multisets to Sets in homotopy Type Theory. 1132-1146 - Olivier Carton, Thomas Colcombet, Gabriele Puppis:
An Algebraic Approach to MSO-Definability on Countable linear Orderings. 1147-1189 - Alexander S. Kechris, André Nies, Katrin Tent:
The Complexity of Topological Group Isomorphism. 1190-1203 - Olga Kharlampovich, Alexei G. Myasnikov:
Undecidability of the First order Theories of Free Noncommutative Lie Algebras. 1204-1216 - Adrien Deloro, Joshua Wiscons:
Simple Groups of Morley Rank 5 are Bad. 1217-1228 - Taishi Kurahashi:
Provability Logics Relative to a fixed Extension of Peano Arithmetic. 1229-1246 - Dániel T. Soukup, Lajos Soukup:
Infinite Combinatorics Plain and Simple. 1247-1281 - Gunter Fuchs, Kaethe Minden:
Subcomplete forcing, Trees, and Generic Absoluteness. 1282-1305
Volume 83, Number 4, December 2018
- Vince Bárány, Michael Benedikt, Balder ten Cate:
Some Model Theory of Guarded Negation. 1307-1344 - Wei Wang:
Relative Definability of n-generics. 1345-1362 - Josef Berger, Gregor Svindland:
Brouwer's Fan Theorem and convexity. 1363-1375 - Grzegorz Jagiella:
The Ellis Group Conjecture and Variants of Definable Amenability. 1376-1390 - Lorna Gregory, Sonia L'Innocente, Gennadi Puninski, Carlo Toffalori:
Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields. 1391-1412 - Ruizhang Jin:
Constructing Types in differentially closed Fields that are analysable in the constants. 1413-1433 - Matthew Harrison-Trainor, Russell G. Miller, Antonio Montalbán:
Borel Functors and Infinitary Interpretations. 1434-1456 - Raffaella Cutolo:
Berkeley Cardinals and the Structure of l(Vδ+1). 1457-1476 - Will Johnson:
Interpretable Sets in Dense O-Minimal Structures. 1477-1500 - Athar Abdul-Quader:
Enayat Models of Peano Arithmetic. 1501-1511 - Chris Lambie-Hanson, Philipp Lücke:
Squares, Ascent Paths, and Chain conditions. 1512-1538 - Sean Cox, John Krueger:
Namba forcing, Weak Approximation, and Guessing. 1539-1565 - Anvar M. Nurakunov, Michal M. Stronkowski:
Profiniteness in Finitely Generated Varieties is Undecidable. 1566-1578 - David Asperó:
A forcing Notion Collapsing $\aleph _3 $ and Preserving All other Cardinals. 1579-1594 - Steven Givant, Hajnal Andréka:
The Variety of coset Relation Algebras. 1595-1609 - Theodore A. Slaman, Keita Yokoyama:
The strength of Ramsey's Theorem for Pairs and arbitrarily Many Colors. 1610-1617 - Aleksandra Kwiatkowska:
Universal Minimal flows of generalized WAżEwski dendrites. 1618-1632 - Marcos Mazari-Armida, Sebastien Vasey:
UNIVERSAL CLASSES NEAR ${\aleph _1}$. 1633-1643 - James H. Schmerl:
Acceptable colorings of Indexed Hyperspaces. 1644-1666 - Matías Menni:
The Unity and Identity of Decidable Objects and double-Negation sheaves. 1667-1679 - Roy Dyckhoff:
Contraction-Free Sequent Calculi for intuitionistic Logic: a correction. 1680-1682 - Sebastiaan A. Terwijn:
Generalizations of the Recursion Theorem. 1683-1690 - Vera Koponen:
On Constraints and dividing in Ternary homogeneous Structures. 1691-1721
- Luck Darnière, Immanuel Halupczok:
Cell Decomposition and Classification of Definable Sets in P-Optimal Fields - Corrigendum. 1722
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 11:54 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:
