Sommaire

Book review: S. Shelah. Classification theory and the number of non-isomorhic models.

Buechler, Steven

Text on Project Euclid
PDF
Alt PDF
p. 154-158

Project Euclid
The Gentzen-Kripke construction of the intermediate logic LQ.

Akama, Seiki

Text on Project Euclid
PDF
Alt PDF
p. 148-153

Project Euclid
A note on some weak forms of the axiom of choice.

Shannon, Gary P.

Text on Project Euclid
PDF
Alt PDF
p. 144-147

Project Euclid
Coherence in category theory and the Church-Rosser property.

Jay, C. Barry

Text on Project Euclid
PDF
Alt PDF
p. 140-143

Project Euclid
A note on Philip Kitcher's analysis of mathematical truth.

Norton-Smith, Thomas M.

Text on Project Euclid
PDF
Alt PDF
p. 136-139

Project Euclid
A note on the ``carving up content'' principle in Frege's theory of sense.

Linsky, Bernard

Text on Project Euclid
PDF
Alt PDF
p. 126-135

Project Euclid
A model in which every Kurepa tree is thick.

Jin, Renling

Text on Project Euclid
PDF
Alt PDF
p. 120-125

Project Euclid
On NFU.

Crabbé, Marcel

Text on Project Euclid
PDF
Alt PDF
p. 112-119

Project Euclid
Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.

Hazen, A. P.

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

Project Euclid
An alternative rule of disjunction in modal logic.

Williamson, Timothy

Text on Project Euclid
PDF
Alt PDF
p. 89-100

Project Euclid
Two formal systems for situation semantics.

Barba Escriba, Juan

Text on Project Euclid
PDF
Alt PDF
p. 70-88

Project Euclid
Linear diagrams for syllogisms (with relationals).

Englebretsen, George

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

Project Euclid
Surface reasoning.

Purdy, William C.

Text on Project Euclid
PDF
Alt PDF
p. 13-36

Project Euclid
The Hanf numbers of stationary logic. II. Comparison with other logics.

Shelah, Saharon

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

Project Euclid
Classifying pairs of equivalence relations.

Toffalori, Carlo

Text on Project Euclid
PDF
Alt PDF
p. 637-650

Project Euclid
Decision procedures for logics of consequential implication.

Pizzi, Claudio

Text on Project Euclid
PDF
Alt PDF
p. 618-636

Project Euclid
Pleasant ideals.

Leary, Christopher C.

Text on Project Euclid
PDF
Alt PDF
p. 612-617

Project Euclid
${\rm C}_1$ is not algebraizable.

Lewin, R. A. ; Mikenberg, I. F. ; Schwarze, M. G.

Text on Project Euclid
PDF
Alt PDF
p. 609-611

Project Euclid
A multidimensional modal translation for a formal system motivated by situation semantics.

Barba Escriba, Juan

Text on Project Euclid
PDF
Alt PDF
p. 598-608

Project Euclid
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.

Došen, Kosta

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

Project Euclid
Full satisfaction classes: a survey.

Kotlarski, Henryk

Text on Project Euclid
PDF
Alt PDF
p. 573-579

Project Euclid
Provable fixed points in ${\rm I}\Delta_0+\Omega_1$.

Carbone, Alessandra

Text on Project Euclid
PDF
Alt PDF
p. 562-572

Project Euclid
On the $\Sigma^0_1$-conservativity of $\Sigma^0_1$-completeness.

Visser, Albert

Text on Project Euclid
PDF
Alt PDF
p. 554-561

Project Euclid
Inequality in constructive mathematics.

Ruitenburg, Wim

Text on Project Euclid
PDF
Alt PDF
p. 533-553

Project Euclid
Polymorphism and apartness.

McCarty, David Charles

Text on Project Euclid
PDF
Alt PDF
p. 513-532

Project Euclid
On $\Pi^0_1$ classes and their ranked points.

Downey, Rod

Text on Project Euclid
PDF
Alt PDF
p. 499-512

Project Euclid
Book review: David Lewis. Parts of classes.

Forrest, Peter

Text on Project Euclid
PDF
Alt PDF
p. 494-497

Project Euclid
A simple axiomatizable theory of truth.

Azzouni, Jody

Text on Project Euclid
PDF
Alt PDF
p. 458-493

Project Euclid
Some independence results related to the Kurepa tree.

Jin, Renling

Text on Project Euclid
PDF
Alt PDF
p. 448-457

Project Euclid
Type-free property theory, exemplification and Russell's paradox.

Orilia, Francesco

Text on Project Euclid
PDF
Alt PDF
p. 432-447

Project Euclid
End extensions of normal models of open induction.

Marker, David

Text on Project Euclid
PDF
Alt PDF
p. 426-431

Project Euclid
A logic for natural language.

Purdy, William C.

Text on Project Euclid
PDF
Alt PDF
p. 409-425

Project Euclid
On cofinal extensions of models of fragments of arithmetic.

Kaye, Richard

Text on Project Euclid
PDF
Alt PDF
p. 399-408

Project Euclid
Minimal satisfaction classes with an application to rigid models of Peano arithmetic.

Kossak, Roman ; Schmerl, James H.

Text on Project Euclid
PDF
Alt PDF
p. 392-398

Project Euclid
A topos-theoretic approach to reference and modality.

Reyes, Gonzalo E.

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

Project Euclid
Incompleteness in intuitionistic metamathematics.

McCarty, David Charles

Text on Project Euclid
PDF
Alt PDF
p. 323-358

Project Euclid
Book review: A. S. Troelstra and D. van Dalen. Constructivism in mathematics, vols. 1 and 2.

Beeson, Michael J.

Text on Project Euclid
PDF
Alt PDF
p. 320-322

Project Euclid
Theory revision and probability.

Schlechta, Karl

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

Project Euclid
Intermediate quantifiers versus percentages.

Carnes, Robert D. ; Peterson, Philip L.

Text on Project Euclid
PDF
Alt PDF
p. 294-306

Project Euclid
The cardinality of powersets in finite models of the powerset axiom.

Abian, Alexander ; Amin, Wael A.

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

Project Euclid
Buridan's divided modal syllogistic.

Willing, Anthony

Text on Project Euclid
PDF
Alt PDF
p. 276-289

Project Euclid
Embedding Brouwer algebras in the Medvedev lattice.

Sorbi, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 266-275

Project Euclid
Almost hugeness and a related notion.

Barbanel, Julius

Text on Project Euclid
PDF
Alt PDF
p. 255-265

Project Euclid
Why is conjunctive simplification invalid?

Thompson, Bruce E. R.

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

Project Euclid
Connection structures.

Biacino, Loredana ; Gerla, Giangiacomo

Text on Project Euclid
PDF
Alt PDF
p. 242-247

Project Euclid
Bounds in weak truth-table reducibility.

Habart, Karol

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

Project Euclid
Henkin's completeness proof: forty years later.

Leblanc, Hugues ; Roeper, Peter ; Thau, Michael ; Weaver, George

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

Project Euclid
Intensional paradoxes.

Priest, Graham

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

Project Euclid
Finite axiomatizability and theories with trivial algebraic closure.

Macpherson, Dugald

Text on Project Euclid
PDF
Alt PDF
p. 188-192

Project Euclid
On type definable subgroups of a stable group.

Newelski, L.

Text on Project Euclid
PDF
Alt PDF
p. 173-187

Project Euclid
Preservation by homomorphisms and infinitary languages.

Hyttinen, Tapani

Text on Project Euclid
PDF
Alt PDF
p. 167-172

Project Euclid