default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Logic Quarterly, Volume 58
Volume 58, Numbers 1-2, February 2012
- Kosta Dosen, Zoran Petric:
Isomorphic formulae in classical propositional logic. 5-17 - Peter Cholak, David J. Galvin, Reed Solomon:
Reverse mathematics and infinite traceable graphs. 18-28 - Katarzyna Slomczynska:
Algebraic semantics for the (↔, ¬¬)-fragment of IPC. 29-37 - Pierre Matet:
Non-saturation of the non-stationary ideal on Pκ (λ) with λ of countable cofinality. 38-45 - Igor Dolinka
:
A characterization of retracts in certain Fraïssé limits. 46-54 - Olivier Esser:
Forcing with the Anti-Foundation axiom. 55-62 - Alireza Mofidi, Seyed-Mohammad Bagheri:
Quantified universes and ultraproducts. 63-74 - Arthur W. Apter:
Indestructibility, measurability, and degrees of supercompactness. 75-82 - Brent Cody:
The failure of GCH at a degree of supercompactness. 83-94 - Barbara Majcher-Iwanow:
Eventually open action. 95-104 - Aleksander Ivanov:
The complexity of countable categoricity in finite languages. 105-112 - Ekaterina B. Fokina, Sy-David Friedman:
On Σ11 equivalence relations over the natural numbers. 113-124 - Antongiulio Fornasiero:
Definably connected nonconnected sets. 125-126
Volume 58, Number 3, May 2012
- Kyriakos Keremedis:
Compact and Loeb Hausdorff spaces in &equation image; and the axiom of choice for families of finite sets. 130-138 - Antonio Di Nola, Giacomo Lenzi:
On Vaught's Conjecture and finitely valued MV algebras. 139-152 - Esfandiar Eslami, Mohammad Golshani:
Shelah's strong covering property and CH in V[r]. 153-158 - J. Donald Monk:
Remarks on continuum cardinals on Boolean algebras. 159-167 - Manuel Abad, Juan Manuel Cornejo, J. Patricio Díaz Varela:
Free-decomposability in varieties of semi-Heyting algebras. 168-176 - Emil Jerábek:
Proofs with monotone cuts. 177-187 - Sergio A. Celani, Ramon Jansana:
On the free implicative semilattice extension of a Hilbert algebra. 188-207 - Isaac Goldbring:
An approximate Herbrand's theorem and definable functions in metric structures. 208-216 - Roman Wencel:
Imaginaries in Boolean algebras. 217-235 - Karel Chvalovský, Petr Cintula:
Note on Deduction Theorems in contraction-free logics. 236-243 - Emil Jerábek:
Sequence encoding without induction. 244-248
Volume 58, Numbers 4-5, August 2012
- Sandra Marques Pinto, M. Teresa Oliveira-Martins:
Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view. 252-262 - Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic:
A p-adic probability logic. 263-280 - Douglas S. Bridges:
How to construct a product of a-frames. 281-293 - Karim Khanaki, Massoud Amini:
Haar measure and integral logic. 294-302 - Shoshana Friedman:
Accessing the switchboard via set forcing. 303-306 - Makoto Kikuchi, Taishi Kurahashi, Hiroshi Sakai:
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos. 307-316 - Kenji Fukuzaki:
Definability of the ring of integers in some infinite algebraic extensions of the rationals. 317-332 - Pedro Zambrano:
A stability transfer theorem in d-tame metric abstract elementary classes. 333-341 - Stevo Todorcevic, Víctor Torres Pérez:
Conjectures of Rado and Chang and special Aronszajn trees. 342-347 - Mohammad Ardeshir, Rasoul Ramezanian:
On the constructive notion of closure maps. 348-355 - Paulo Oliva, Thomas Powell:
On Spector's bar recursion. 356-265 - Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi:
Rogers semilattices of families of two embedded sets in the Ershov hierarchy. 366-376
Volume 58, Number 6, November 2012
- Henrik Forssell:
Topological representation of geometric theories. 380-393 - Joel David Hamkins, Justin Palumbo:
The rigid relation principle, a new weak choice principle. 394-398 - Rafael Grimson, Bart Kuijpers, Walied Othman:
Quantifier elimination for elementary geometry and elementary affine geometry. 399-416 - Emanuele Frittaion, Alberto Marcone:
Linear extensions of partial orders and reverse mathematics. 417-423 - Zak Mesyan, James D. Mitchell, Michal Morayne, Yann H. Péresse:
The Bergman-Shelah preorder on transformation semigroups. 424-433 - Salma Kuhlmann, Marcus Tressl:
Comparison of exponential-logarithmic and logarithmic-exponential series. 434-448 - Roman Wencel:
Groups, group actions and fields definable in first-order topological structures. 449-467 - Enrico Marchioni, George Metcalfe:
Craig interpolation for semilinear substructural logics. 468-481 - Eva Leenknegt:
Cell decomposition and definable functions for weak p-adic structures. 482-497 - Robert S. Lubarsky, Fred Richman, Peter Schuster:
The Kripke schema in metric topology. 498-501
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-12-09 00:13 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:
