default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 55
Volume 55, Numbers 1-2, February 2016
- Dedicated to Richard Laver. 1
- Arthur W. Apter:
Indestructibility and destructible measurable cardinals. 3-18 - Joan Bagaria
, Joel David Hamkins, Konstantinos Tsaprounis, Toshimichi Usuba:
Superstrong and other large cardinals are never Laver indestructible. 19-35 - Timothy J. Carlson:
Generalizing Kruskal's theorem to pairs of cohabitating trees. 37-48 - Patrick Dehornoy:
Laver's results and low-dimensional topology. 49-83 - Fred Galvin, Marion Scheepers:
Baire spaces and infinite games. 85-104 - Michael Hrusák, Wolfgang Wohofsky, Ondrej Zindulka:
Strong measure zero in separable metric spaces and Polish groups. 105-131 - Akihiro Kanamori:
Laver and set theory. 133-164 - Péter Komjáth:
A remark on hereditarily nonparadoxical sets. 165-175 - Sheila K. Miller:
Left division in the free left distributive algebra on many generators. 177-205 - Itay Neeman, John R. Steel:
Equiconsistencies at subcompact cardinals. 207-238 - Saharon Shelah:
ZF + DC + AX4. 239-294 - Matteo Viale:
Martin's maximum revisited. 295-317 - W. Hugh Woodin:
The Weak Ultrafilter Axiom. 319-351
Volume 55, Numbers 3-4, May 2016
- Petr Cintula, Carles Noguera:
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity. 353-372 - Yair Hayut, Asaf Karagila:
Restrictions on forcings that change cofinalities. 373-384 - Simon Thomas, Jay Williams:
The bi-embeddability relation for finitely generated groups II. 385-396 - Andreas Baudisch:
Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent p > 2. 397-403 - Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent, Andrea Sorbi:
A note on the enumeration degrees of 1-generic sets. 405-414 - Paul E. Howard, Eleftherios Tachtsis:
No decreasing sequence of cardinals. 415-429 - Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren:
Reverse mathematics, well-quasi-orders, and Noetherian spaces. 431-459 - Sara Negri:
Glivenko sequent classes in the light of structural proof theory. 461-473 - Wen Chean Teh:
Ramsey algebras and the existence of idempotent ultrafilters. 475-491 - David Chodounský, Osvaldo Guzmán González, Michael Hrusák:
Mathias-Prikry and Laver type forcing; summable ideals, coideals, and +-selective filters. 493-504 - Tapani Hyttinen, Gianluca Paolini:
Reduction of database independence to dividing in atomless Boolean algebras. 505-518 - Oscar Levin:
Computable dimension for ordered fields. 519-534 - Gabriel Conant:
A remark on strict independence relations. 535-544 - John T. Baldwin, Martin Koerwien, Ioannis A. Souldatos:
The joint embedding property and maximal models. 545-565 - Sebastien Vasey:
Infinitary stability theory. 567-592 - Ryota Akiyoshi, Grigori Mints:
An extension of the omega-rule. 593-603
Volume 55, Numbers 5-6, August 2016
- Tobias Kaiser:
R-analytic functions. 605-623 - Michal Garlík:
Construction of models of bounded arithmetic by restricted reduced powers. 625-648 - Moti Gitik, Menachem Magidor:
SPFA by finite conditions. 649-661 - Ziv Shami:
Continuity of SU-rank in unidimensional supersimple theories. 663-675 - Byunghan Kim:
On the n-uniqueness of types in rosy theories. 677-686 - Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen, William A. Lampe, Paul Kim Long V. Nguyen, Richard A. Shore:
The strength of the Grätzer-Schmidt theorem. 687-704 - Lorenzo Luperi Baglini:
ℱ-finite embeddabilities of sets and ultrafilters. 705-734 - Michael C. Laskowski, Christopher S. Shaw:
Definable choice for a class of weakly o-minimal theories. 735-748 - Lei Chen, Niandong Shi, Guohua Wu:
Definable sets in Stone algebras. 749-757 - Robert S. Lubarsky, Norman Lewis Perlmutter:
Elementary epimorphisms between models of set theory. 759-766 - Angelo Bella, Seçil Tokgöz, Lyubomyr Zdomskyy:
Menger remainders of topological groups. 767-784 - Ali Sadegh Daghighi, Massoud Pourmahdian:
The definable tree property for successors of cardinals. 785-798 - Pierre Matet, Cédric Péan, Saharon Shelah:
Cofinality of normal ideals on [λ]<κ I. 799-834 - Assaf Shani:
Fresh subsets of ultrapowers. 835-845
Volume 55, Numbers 7-8, November 2016
- Martin Dolezal, Wieslaw Kubis:
Perfect independent sets with respect to infinitely many relations. 847-856 - Janusz Pawlikowski, Wojciech Stadnicki:
Mathias forcing and ultrafilters. 857-865 - Samuel G. Da Silva:
Topological equivalences of CUT and CUT(Fin). 867-872 - Josef Berger, Gregor Svindland:
Convexity and constructive infima. 873-881 - Hiroaki Minami, Hiroshi Sakai:
Katětov and Katětov-Blass orders on Fσ-ideals. 883-898 - Sy-David Friedman, Wei Li, Tin Lok Wong:
Fragments of Kripke-Platek set theory and the metamathematics of α-recursion theory. 899-924 - Barbara Majcher-Iwanow:
Subgroups of SF(ω) and the relation of almost containedness. 925-937 - Carol Jacoby, Peter Loth:
The classification of ℤp-modules with partial decomposition bases in L∞ω. 939-954 - Rosalie Iemhoff, Fan Yang:
Structural completeness in propositional logics of dependence. 955-975 - Ove Ahlman:
Homogenizable structures and model completeness. 977-995 - Emil Jerábek:
Division by zero. 997-1013 - Jeffry L. Hirst, Noah A. Hughes:
Reverse mathematics and marriage problems with finitely many solutions. 1015-1024 - Miroslav Repický:
Cofinality of the laver ideal. 1025-1036
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-05-15 23:33 CEST 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:
