Sommaire

Book Review: Mark van Atten. On Brouwer

Bassler, O. Bradley

Text on Project Euclid
PDF
Alt PDF
p. 581-599

Project Euclid
Locality for Classical Logic

Brünnler, Kai

Text on Project Euclid
PDF
Alt PDF
p. 557-580

Project Euclid
Level Compactness

Payette, Gillman ; d'Entremont, Blaine

Text on Project Euclid
PDF
Alt PDF
p. 545-555

Project Euclid
A Note on Monothetic BCI

Kowalski, Tomasz ; Butchart, Sam

Text on Project Euclid
PDF
Alt PDF
p. 541-544

Project Euclid
The Embedding Theorem: Its Further Developments and Consequences. Part 1

Muravitsky, Alexei Y.

Text on Project Euclid
PDF
Alt PDF
p. 525-540

Project Euclid
The Halting Problem Is Decidable on a Set of Asymptotic Probability One

Hamkins, Joel David ; Miasnikov, Alexei

Text on Project Euclid
PDF
Alt PDF
p. 515-524

Project Euclid
Categorical Abstract Algebraic Logic: More on Protoalgebraicity

Voutsadakis, George

Text on Project Euclid
PDF
Alt PDF
p. 487-514

Project Euclid
Filters on Computable Posets

Lempp, Steffen ; Mummert, Carl

Text on Project Euclid
PDF
Alt PDF
p. 479-485

Project Euclid
Hybrid Formulas and Elementarily Generated Modal Logics

Hodkinson, Ian

Text on Project Euclid
PDF
Alt PDF
p. 443-478

Project Euclid
Book Review: Charles S. Chihara. A Structural Account of Mathematics

Baker, Alan

Text on Project Euclid
PDF
Alt PDF
p. 435-442

Project Euclid
Continu'ous Time Goes by Russell

Lück, Uwe

Text on Project Euclid
PDF
Alt PDF
p. 397-434

Project Euclid
Andersonian Deontic Logic, Propositional Quantification, and Mally

Lokhorst, Gert-Jan C.

Text on Project Euclid
PDF
Alt PDF
p. 385-395

Project Euclid
A Quasi-Discursive System $ND_2^+$

Ciuciura, Janusz

Text on Project Euclid
PDF
Alt PDF
p. 371-384

Project Euclid
The Hypersimple-Free C.E. WTT Degrees Are Dense in the C.E. WTT Degrees

Barmpalias, George ; Lewis, Andrew E. M.

Text on Project Euclid
PDF
Alt PDF
p. 361-370

Project Euclid
Cellularity of Pseudo-Tree Algebras

Brown, Jennifer

Text on Project Euclid
PDF
Alt PDF
p. 353-359

Project Euclid
Invariant Version of Cardinality Quantifiers in Superstable Theories

Berenstein, Alexander ; Shami, Ziv

Text on Project Euclid
PDF
Alt PDF
p. 343-351

Project Euclid
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields

Guzy, Nicolas ; Rivière, Cédric

Text on Project Euclid
PDF
Alt PDF
p. 331-341

Project Euclid
Morley Rank in Homogeneous Models

Kolesnikov, Alexei ; Krishnamurthi, G. V. N. G.

Text on Project Euclid
PDF
Alt PDF
p. 319-329

Project Euclid
A General Form of Relative Recursion

van Oosten, Jaap

Text on Project Euclid
PDF
Alt PDF
p. 311-318

Project Euclid
Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic

Visser, Albert

Text on Project Euclid
PDF
Alt PDF
p. 299-309

Project Euclid
Upward Stability Transfer for Tame Abstract Elementary Classes

Baldwin, John ; Kueker, David ; VanDieren, Monica

Text on Project Euclid
PDF
Alt PDF
p. 291-298

Project Euclid
Unifying Functional Interpretations

Oliva, Paulo

Text on Project Euclid
PDF
Alt PDF
p. 263-290

Project Euclid
Classifying Dini's Theorem

Berger, Josef ; Schuster, Peter

Text on Project Euclid
PDF
Alt PDF
p. 253-262

Project Euclid
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof

Ishihara, Hajime

Text on Project Euclid
PDF
Alt PDF
p. 249-252

Project Euclid
Universality for Orders and Graphs Which Omit Large Substructures

Thompson, Katherine

Text on Project Euclid
PDF
Alt PDF
p. 233-248

Project Euclid
The Aristotelian Continuum. A Formal Characterization

Roeper, Peter

Text on Project Euclid
PDF
Alt PDF
p. 211-232

Project Euclid
A C.E. Real That Cannot Be SW-Computed by Any Ω Number

Barmpalias, George ; Lewis, Andrew E. M.

Text on Project Euclid
PDF
Alt PDF
p. 197-209

Project Euclid
Interpolation and the Interpretability Logic of PA

Goris, Evan

Text on Project Euclid
PDF
Alt PDF
p. 179-195

Project Euclid
More Fragments of Language

Pratt-Hartmann, Ian ; Third, Allan

Text on Project Euclid
PDF
Alt PDF
p. 151-177

Project Euclid
Book Review: David Christensen. Putting Logic in its Place: Formal Constraints on Rational Belief

Maher, Patrick

Text on Project Euclid
PDF
Alt PDF
p. 133-149

Project Euclid
Variations on a Theme of Curry

Humberstone, Lloyd

Text on Project Euclid
PDF
Alt PDF
p. 101-131

Project Euclid
Expansions of o-Minimal Structures by Iteration Sequences

Miller, Chris ; Tyne, James

Text on Project Euclid
PDF
Alt PDF
p. 93-99

Project Euclid
Set Theory With and Without Urelements and Categories of Interpretations

Löwe, Benedikt

Text on Project Euclid
PDF
Alt PDF
p. 83-91

Project Euclid
Constructive Logic and the Medvedev Lattice

Terwijn, Sebastiaan A.

Text on Project Euclid
PDF
Alt PDF
p. 73-82

Project Euclid
An Uncountably Categorical Theory Whose Only Computably Presentable Model Is Saturated

Hirschfeldt, Denis R. ; Khoussainov, Bakhadyr ; Semukhin, Pavel

Text on Project Euclid
PDF
Alt PDF
p. 63-71

Project Euclid
Reflexive Intermediate Propositional Logics

Carter, Nathan C.

Text on Project Euclid
PDF
Alt PDF
p. 39-62

Project Euclid
Worlds and Times

Meyer, Ulrich

Text on Project Euclid
PDF
Alt PDF
p. 25-37

Project Euclid
Boolean Algebras, Tarski Invariants, and Index Sets

Csima, Barbara F. ; Montalbán, Antonio ; Shore, Richard A.

Text on Project Euclid
PDF
Alt PDF
p. 1-23

Project Euclid