default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArchive for Mathematical Logic, Volume 52
Volume 52, Numbers 1-2, February 2013
- Pilar Dellunde
, Francesc Esteva:
On elementary equivalence in fuzzy predicate logics. 1-17 - Jan Krajícek:
A saturation property of structures obtained by forcing with a compact family of random variables. 19-28 - Hiroshi Sakai:
Chang's Conjecture and weak square. 29-45 - Gunter Fuchs:
Club degrees of rigidity and almost Kurepa trees. 47-66 - Kyriakos Kypriotakis, Martin Zeman:
A characterization of $${\square(\kappa^{+})}$$ in extender models. 67-90 - Rebecca M. Steiner:
Effective algebraicity. 91-112 - Benno van den Berg:
Non-deterministic inductive definitions. 113-135 - Ahmet Çevik:
Antibasis theorems for $${\Pi^0_1}$$ classes and the jump hierarchy. 137-142 - Emil Jerábek, Leszek Aleksander Kolodziejczyk:
Real closures of models of weak arithmetic. 143-157 - Frank O. Wagner:
Quelques réflexions inévitables. 159-171 - Giorgi Japaridze:
The taming of recurrences in computability logic through cirquent calculus, Part I. 173-212 - Giorgi Japaridze:
The taming of recurrences in computability logic through cirquent calculus, Part II. 213-259
Volume 52, Numbers 3-4, May 2013
- Diego Alejandro Mejía:
Matrix iterations and Cichon's diagram. 261-278 - Marek Balcerzak, Barnabás Farkas, Szymon Glab:
Covering properties of ideals. 279-294 - Matteo Bianchi:
First-order Nilpotent minimum logics: first steps. 295-316 - Saeed Salehi:
Herbrand consistency of some finite fragments of bounded arithmetical theories. 317-333 - Lavinia Corina Ciungu, George Georgescu, Claudia Muresan:
Generalized Bosbach states: part I. 335-376 - Matthew Smedberg:
A dense family of well-behaved finite monogenerated left-distributive groupoids. 377-402 - Michael Hrusák, Carlos Azarel Martínez-Ranero, Ulises Ariet Ramos-García, O. A. Téllez-Nieto:
Intersection numbers of families of ideals. 403-417 - Jesse Johnson, Julia F. Knight, V. Ocasio, S. VanDenDriessche:
An example related to Gregory's Theorem. 419-434 - Carlos Martinez-Ranero:
Gap structure after forcing with a coherent Souslin tree. 435-447 - Annika Siders:
Gentzen's consistency proof without heightlines. 449-468
Volume 52, Numbers 5-6, August 2013
- Sándor Jenei, László Kóródi:
Pseudo equality algebras. 469-481 - Spencer Unger:
Aronszajn trees and the successors of a singular cardinal. 483-496 - Huiling Zhu:
Distributive proper forcing axiom and cardinal invariants. 497-506 - Stanislav O. Speranski:
A note on definability in fragments of arithmetic with free unary predicates. 507-516 - Ilijas Farah, Paul McKenney, Ernest Schimmerling:
Some Calkin algebras have outer automorphisms. 517-524 - Camilo Argoty:
The model theory of modules of a C*-algebra. 525-541 - Michael Hrusák, Petr Simon, Ondrej Zindulka:
Weak partition properties on trees. 543-567 - Brent Cody:
Easton's theorem in the presence of Woodin cardinals. 569-591 - Konstantinos Tsaprounis:
On extendible cardinals and the GCH. 593-602 - Andrzej Roslanowski, Saharon Shelah:
More about λ-support iterations of (<λ)-complete forcing notions. 603-629 - William R. Stirton:
A decidable theory of type assignment. 631-658 - Alexander P. Kreuzer:
Program extraction for 2-random reals. 659-666 - Eva Leenknegt:
Cell decomposition for semibounded p-adic sets. 667-688
Volume 52, Numbers 7-8, November 2013
- Bin Zhao, Hongjun Zhou:
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices. 689-706 - Lavinia Corina Ciungu, George Georgescu, Claudia Muresan:
Generalized Bosbach states: Part II. 707-732 - Chengling Fang, Guohua Wu, Mars M. Yamaleev:
On a problem of Ishmukhametov. 733-741 - Vincent Guingona, Michael C. Laskowski:
On VC-minimal theories and variants. 743-758 - Romas Alonderis:
A proof-search procedure for intuitionistic propositional logic. 759-778 - Predrag Tanovic:
Simple groups and the number of countable models. 779-791 - Milos S. Kurilic:
Maximally embeddable components. 793-808 - Vera Fischer, Sy-David Friedman, Yurii Khomskii:
Co-analytic mad families and definable wellorders. 809-822 - Christian Espíndola:
A short proof of Glivenko theorems for intermediate predicate logics. 823-826 - Michal Deco, Miroslav Repický:
Strongly dominating sets of reals. 827-846 - Gunther Mainhardt:
Traces, traceability, and lattices of traces under the set theoretic inclusion. 847-869 - Taishi Kurahashi:
On predicate provability logics and binumerations of fragments of Peano arithmetic. 871-880 - Pierluigi Minari:
Labeled sequent calculi for modal logics and implicit contractions. 881-907
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-12-01 00:01 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:
