![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
, Tyler Markkanen:
Domatic partitions of computable graphs. 137-155 - Kevin Carlson, Enoch Cheung, Ilijas Farah
, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman:
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
, Pantelis E. Eleftheriou
, Luca Prelli
:
Coverings by open cells. 307-325 - Andrés Cordón-Franco
, Alejandro Fernández-Margarit, Francisco Félix Lara Martín
:
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
, Thomas A. Johnstone:
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, John R. Steel:
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
, Joris Potier:
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
, Sy-David Friedman, Yurii Khomskii:
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
![](https://dblp.org/img/cog.dark.24x24.png)
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.