default search action
Archive for Mathematical Logic, Volume 53
Volume 53, Numbers 1-2, February 2014
- Quinn Culver:
Polynomial clone reducibility. 1-10 - John Krueger:
Successive cardinals with no partial square. 11-21 - Albert Visser:
Interpretability degrees of finitely axiomatized sequential theories. 23-42 - Noboru Osuga, Shizuo Kamo:
Many different covering numbers of Yorioka's ideals. 43-56 - Yurii Khomskii:
Projective Hausdorff gaps. 57-64 - Matthias Aschenbrenner
, Isaac Goldbring:
Transseries and Todorov-Vernaeve's asymptotic fields. 65-87 - Konstantinos Tsaprounis:
Elementary chains and C (n)-cardinals. 89-118 - John Krueger:
Strongly adequate sets and adding a club with finite conditions. 119-136 - Matthew Jura, Oscar Levin
Domatic partitions of computable graphs. 137-155 - Kevin Carlson, Enoch Cheung, Ilijas Farah
Omitting types and AF algebras. 157-169 - Chaz Schlindwein:
Understanding preservation theorems: chapter VI of Proper and Improper Forcing, I. 171-202 - Ziv Shami:
On uncountable hypersimple unidimensional theories. 203-210 - Byunghan Kim, Hyeung-Joon Kim, Lynn Scow:
Tree indiscernibilities, revisited. 211-232
Volume 53, Numbers 3-4, May 2014
- Athanassios Tzouvaras:
Large transitive models in local ZFC. 233-260 - Oliver Fasching, Matthias Baaz
Monotone operators on Gödel logic. 261-284 - Eva Leenknegt:
Reducts of p-adically closed fields. 285-306 - Mário J. Edmundo
Coverings by open cells. 307-325 - Andrés Cordón-Franco
On axiom schemes for T-provably Δ1 formulas. 327-349 - Vincenzo Dimonte, Sy-David Friedman:
Rank-into-rank hypotheses and the failure of GCH. 351-366 - Omer Ben-Neria:
Forcing Magidor iteration over a core model below 0¶. 367-384 - David Fernández-Duque
The polytopologies of transfinite provability logic. 385-431 - Jafar S. Eivazloo, Somayyeh Tari
Tame properties of sets and functions definable in weakly o-minimal structures. 433-447 - James Freitag
Isogeny in superstable groups. 449-461 - Joel David Hamkins
Resurrection axioms and uplifting cardinals. 463-485
Volume 53, Numbers 5-6, August 2014
- Giorgio Laguzzi:
Some considerations on amoeba forcing notions. 487-502 - Vincent Guingona:
On VC-minimal fields and dp-smallness. 503-517 - Julia F. Knight, Charles F. D. McCoy:
Index sets and Scott sentences. 519-524 - Ferit Toska:
Strict process machine complexity. 525-538 - Farmer Schlutzenberg
Comparison of fine structural mice via coarse iteration. 539-559 - Lavinia Corina Ciungu:
On pseudo-equality algebras. 561-570 - James H. Schmerl:
Subsets coded in elementary end extensions. 571-581 - Enrique Casanovas
Normal hyperimaginaries. 583-591 - Charlotte Kestner:
Measurability in modules. 593-620 - Wim Veldman:
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative. 621-693 - Vera Fischer
Cichoń's diagram, regularity properties and Δ13 sets of reals. 695-729
Volume 53, Numbers 7-8, November 2014
- Giorgio Laguzzi:
On the separation of regularity properties of the reals. 731-747 - Chris Lambie-Hanson
Good and bad points in scales. 749-777 - Jeroen P. Goudsmit
Admissibility and refutation: some characterisations of intermediate logics. 779-808 - Todd Eisworth
On idealized versions of Pr1(μ +, μ +, μ +, cf(μ)). 809-824 - Paul E. Howard, Eleftherios Tachtsis:
On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem. 825-833 - Kojiro Higuchi, Yoshihiro Horihata:
Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S. 835-853 - Dandolo Flumini, Kentaro Sato:
From hierarchies to well-foundedness. 855-863 - Rutger Kuyper:
Natural factors of the Medvedev lattice capturing IPC. 865-879 - Mohammad Ardeshir, S. Mojtaba Mojtahedi
The de Jongh property for Basic Arithmetic. 881-895 - Seyed Mohammad Bagheri
Linear model theory for Lipschitz structures. 897-927 - Dejan Ilic:
Simple types in discretely ordered structures. 929-947 - Fedor Pakhomov
On the complexity of the closed fragment of Japaridze's provability logic. 949-967
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 2024-11-15 19:39 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: