Sommaire du Fascicule no. 3

Maximal subgroups of infinite symmetric groups.

Baumgartner, James E. ; Shelah, Saharon ; Thomas, Simon

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

Project Euclid
Is it possible that belief isn't necessary?

Macpherson, Brian

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

Project Euclid
On the maximality of some pairs of p-t degrees.

Zheng, Xi Zhong

Text on Project Euclid
PDF
Alt PDF
p. 29-35

Project Euclid
Closed categories and categorical grammar.

Dougherty, Daniel J.

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

Project Euclid
The amalgamation property in normal open induction.

Otero, Margarita

Text on Project Euclid
PDF
Alt PDF
p. 50-55

Project Euclid
Nominal tense logic.

Blackburn, Patrick

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

Project Euclid
An arithmetical completeness theorem for pre-permutations.

Tuttas, Friedemann

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

Project Euclid
Formalizing the logic of positive, comparative, and superlative.

Adams, Ernest

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

Project Euclid
The strength of the $\Delta$-system lemma.

Howard, Paul ; Solski, Jeffrey

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

Project Euclid
The grounds for the model-theoretic account of the logical properties.

García-Carpintero Sánchez-Miguel, Manuel

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

Project Euclid
Single axioms for the left group and right group calculi.

McCune, William W.

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

Project Euclid
Intermediate quantifiers for Finch's proportions.

Peterson, Philip L.

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

Project Euclid
Book Review: Raymond Bradley. The nature of all being: A study of Wittgenstein's modal atomism.

Armstrong, D. M.

Text on Project Euclid
PDF
Alt PDF
p. 150-156

Project Euclid
More on ${\germ R}$.

Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 159-174

Project Euclid
On generic structures.

Kueker, D. W. ; Laskowski, M. C.

Text on Project Euclid
PDF
Alt PDF
p. 175-183

Project Euclid
Approximations and logic.

Marquis, Jean-Pierre

Text on Project Euclid
PDF
Alt PDF
p. 184-196

Project Euclid
The admissibility of $\gamma$ in ${\rm R}4$.

Mares, Edwin D. ; Meyer, Robert K.

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

Project Euclid
On interpreting truth tables and relevant truth table logic.

Sylvan, Richard

Text on Project Euclid
PDF
Alt PDF
p. 207-215

Project Euclid
End extensions of models of arithmetic.

Schmerl, James H.

Text on Project Euclid
PDF
Alt PDF
p. 216-219

Project Euclid
Pure second-order logic.

Denyer, Nicholas

Text on Project Euclid
PDF
Alt PDF
p. 220-224

Project Euclid
A note about the axioms for branching-time logic.

Zanardo, Alberto

Text on Project Euclid
PDF
Alt PDF
p. 225-228

Project Euclid
Classical logic, intuitionistic logic, and the Peirce rule.

Africk, Henry

Text on Project Euclid
PDF
Alt PDF
p. 229-235

Project Euclid
The axiom of choice for countable collections of countable sets does not imply the countable union theorem.

Howard, Paul E.

Text on Project Euclid
PDF
Alt PDF
p. 236-243

Project Euclid
A modal analog for Glivenko's theorem and its applications.

Rybakov, V. V.

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

Project Euclid
Unary interpretability logic.

de Rijke, Maarten

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

Project Euclid
Eventual periodicity and ``one-dimensional'' queries.

McColm, Gregory L.

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

Project Euclid
Book review: David H. Sanford. If P, then Q: Conditionals and the foundations of reasoning.

Stalnaker, Robert

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

Project Euclid
A Diophantine definition of rational integers over some rings of algebraic numbers.

Shlapentokh, Alexandra

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

Project Euclid
Generic models of the theory of normal ${\bf Z}$-rings.

Otero, Margarita

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

Project Euclid
The categoricity spectrum of pseudo-elementary classes.

Laskowski, Michael Chris

Text on Project Euclid
PDF
Alt PDF
p. 332-347

Project Euclid
A variable-free logic for mass terms.

Purdy, William C.

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

Project Euclid
Cut-free systems for three-valued modal logics.

Takano, Mitio

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

Project Euclid
A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$.

Gent, Ian Philip

Text on Project Euclid
PDF
Alt PDF
p. 369-382

Project Euclid
Relative separation theorems for $\scr L_{\kappa+\kappa}$.

Tuuri, Heikki

Text on Project Euclid
PDF
Alt PDF
p. 383-401

Project Euclid
On a quasi-set theory.

Krause, Décio

Text on Project Euclid
PDF
Alt PDF
p. 402-411

Project Euclid
A certain conception of the calculus of rough sets.

Bonikowski, Zbigniew

Text on Project Euclid
PDF
Alt PDF
p. 412-421

Project Euclid
A note on naive set theory in ${\rm LP}$.

Restall, Greg

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

Project Euclid
Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers.

Nelson, G. C.

Text on Project Euclid
PDF
Alt PDF
p. 433-441

Project Euclid
Real reduced models for relevant logics without ${\rm WI}$.

Giambrone, Steve

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

Project Euclid
Unifying some modifications of the Henkin construction.

Weaver, George

Text on Project Euclid
PDF
Alt PDF
p. 450-460

Project Euclid
Book review: Richard Kaye. Models of Peano arithmetic.

Kiry, Lawrence

Text on Project Euclid
PDF
Alt PDF
p. 461-463

Project Euclid