Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 47
Volume 47, Number 1, 2006
- Barbara F. Csima, Antonio Montalbán, Richard A. Shore:
Boolean Algebras, Tarski Invariants, and Index Sets. 1-23 - Ulrich Meyer
:
Worlds and Times. 25-37 - Nathan C. Carter:
Reflexive Intermediate Propositional Logics. 39-62 - Bakhadyr Khoussainov, Denis R. Hirschfeldt, Pavel Semukhin:
An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated. 63-71 - Sebastiaan A. Terwijn:
Constructive Logic and the Medvedev Lattice. 73-82 - Benedikt Löwe:
Set Theory With and Without Urelements and Categories of Interpretations. 83-91 - Chris Miller, James Tyne:
Expansions of o-Minimal Structures by Iteration Sequences. 93-99 - Lloyd Humberstone:
Variations on a Theme of Curry. 101-131 - Patrick Maher:
Book Review: David Christensen. Putting Logic in its Place: Formal Constraints on Rational Belief. 133-149
Volume 47, Number 2, 2006
- Ian Pratt-Hartmann, Allan Third:
More Fragments of Language. 151-177 - Evan Goris:
Interpolation and the Interpretability Logic of PA. 179-195 - George Barmpalias, Andrew E. M. Lewis:
A C.E. Real That Cannot Be SW-Computed by Any Ω Number. 197-209 - Peter Roeper:
The Aristotelian Continuum. A Formal Characterization. 211-232 - Katherine Thompson:
Universality for Orders and Graphs Which Omit Large Substructures. 233-248 - Hajime Ishihara:
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof. 249-252 - Josef Berger, Peter Schuster:
Classifying Dini's Theorem. 253-262 - Paulo Oliva:
Unifying Functional Interpretations. 263-290 - John Baldwin, David W. Kueker, Monica Van Dieren:
Upward Stability Transfer for Tame Abstract Elementary Classes. 291-298
Volume 47, Number 3, 2006
- Albert Visser:
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic. 299-309 - Jaap van Oosten:
A General Form of Relative Recursion. 311-318 - Alexei D. Kolesnikov, G. V. N. G. Krishnamurthi:
Morley Rank in Homogeneous Models. 319-329 - Nicolas Guzy, Cédric Rivière:
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields. 331-341 - Alexander Berenstein, Ziv Shami:
Invariant Version of Cardinality Quantifiers in Superstable Theories. 343-351 - Jennifer Brown:
Cellularity of Pseudo-Tree Algebras. 353-359 - George Barmpalias, Andrew E. M. Lewis:
The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees. 361-370 - Janusz Ciuciura:
A Quasi-Discursive System ND2+. 371-384 - Gert-Jan C. Lokhorst:
Andersonian Deontic Logic, Propositional Quantification, and Mally. 385-395 - Uwe Lück:
Continu'ous Time Goes by Russell. 397-434 - Alan Baker:
Book Review: Charles S. Chihara. A Structural Account of Mathematics. 435-442
Volume 47, Number 4, 2006
- Ian M. Hodkinson:
Hybrid Formulas and Elementarily Generated Modal Logics. 443-478 - Steffen Lempp, Carl Mummert:
Filters on Computable Posets. 479-485 - George Voutsadakis:
Categorical Abstract Algebraic Logic: More on Protoalgebraicity. 487-514 - Joel David Hamkins, Alexei Miasnikov:
The Halting Problem Is Decidable on a Set of Asymptotic Probability One. 515-524 - Alexei Y. Muravitsky:
The Embedding Theorem: Its Further Developments and Consequences. Part 1. 525-540 - Sam Butchart, Tomasz Kowalski:
A Note on Monothetic BCI. 541-544 - Gillman Payette, Blaine d'Entremont:
Level Compactness. 545-555 - Kai Brünnler:
Locality for Classical Logic. 557-580 - O. Bradley Bassler:
Book Review: Mark van Atten. On Brouwer. 581-599
a service of 
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-04-22 20:59 CEST 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:
