default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 52
Volume 52, Number 1, 2011
- Thomas Forster, Thierry Libert:
An Order-Theoretic Account of Some Set-Theoretic Paradoxes. 1-19 - Paul Shafer:
Characterizing the Join-Irreducible Medvedev Degrees. 21-38 - Tapani Hyttinen
, Meeri Kesälä:
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. 39-54 - Juha Kontinen, Jouko A. Väänänen:
A Remark on Negation in Dependence Logic. 55-65 - Gareth O. Jones, Daniel J. Miller, Margaret E. M. Thomas:
Mildness and the Density of Rational Points on Certain Transcendental Curves. 67-74 - Eli Dresner:
Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach. 75-93 - Damir D. Dzhafarov:
Stable Ramsey's Theorem and Measure. 95-112
Volume 52, Number 2, 2011
- Andrzej Roslanowski, Saharon Shelah:
Reasonable Ultrafilters, Again. 113-147 - Jeffry L. Hirst, Carl Mummert:
Reverse Mathematics and Uniformity in Proofs without Excluded Middle. 149-162 - Rodney G. Downey, Asher M. Kach:
Euclidean Functions of Computable Euclidean Domains. 163-172 - Johanna N. Y. Franklin, Frank Stephan:
Van Lambalgen's Theorem and High Degrees. 173-185 - Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze:
An Algebraic Approach to Subframe Logics. Modal Case. 187-202 - Samuel Coskey, Joel David Hamkins:
Infinite Time Decidable Equivalence Relation Theory. 203-228
Volume 52, Number 3, 2011
- Stephen G. Simpson, Keita Yokoyama:
A Nonstandard Counterpart of WWKL. 229-243 - Christopher Steinsvold:
Being Wrong: Logics for False Belief. 245-253 - Ali Bleybel:
The Field of LE-Series with a Nonstandard Analytic Structure. 255-265 - Alfred Dolich, John Goodrick, David Lippel:
Dp-Minimality: Basic Facts and Examples. 267-288 - Michael Moses:
The Block Relation in Computable Linear Orders. 289-305 - Shimon Garti, Saharon Shelah:
Depth of Boolean Algebras. 307-314 - Ermek S. Nurkhaidarov, Erez Shochat:
Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic. 315-329 - Øystein Linnebo:
Some Criteria for Acceptable Abstraction. 331-338
Volume 52, Number 4, 2011
- Tommaso Cortonesi, Enrico Marchioni, Franco Montagna:
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. 339-379 - Heike Mildenberger:
On Milliken-Taylor Ultrafilters. 381-394 - Sy-David Friedman, Martin Koerwien:
On Absoluteness of Categoricity in Abstract Elementary Classes. 395-402 - Ronald F. Bustamante Medina:
Rank and Dimension in Difference-Differential Fields. 403-414 - Joël Combase:
A Silver-like Perfect Set Theorem with an Application to Borel Model Theory. 415-429 - Jaap van Oosten:
Partial Combinatory Algebras of Functions. 431-448
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-02-07 23:37 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:
