Sommaire

Investigations in protothetic.

Le Blanc, Audoënus

Text on Project Euclid
PDF
Alt PDF
p. 483-489

Project Euclid
An intuitionistic Sheffer function.

Došen, Kosta

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

Project Euclid
Nominalization and Scott's domains. II.

Turner, Raymond

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

Project Euclid
Relevance and conformity.

Deutsch, Harry

Text on Project Euclid
PDF
Alt PDF
p. 455-462

Project Euclid
Independence in higher-order subclassical logic.

Ballard, David

Text on Project Euclid
PDF
Alt PDF
p. 444-454

Project Euclid
New axioms for mereology.

Le Blanc, Audoënus

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

Project Euclid
Axioms for mereology.

Le Blanc, Audoënus

Text on Project Euclid
PDF
Alt PDF
p. 429-436

Project Euclid
The rule of procedure ${\rm Re}$ in Ł ukasiewicz's many-valued propositional calculi.

Jones, John

Text on Project Euclid
PDF
Alt PDF
p. 423-428

Project Euclid
Recursively saturated $\omega_1$-like models of arithmetic.

Kossak, Roman

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

Project Euclid
Definable partitions and reflection properties for regular cardinals.

Kranakis, Evangelos

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

Project Euclid
Two $\lambda$-extensions of the theory of homogeneous simple types as a second-order logic.

Cocchiarella, Nino B.

Text on Project Euclid
PDF
Alt PDF
p. 377-407

Project Euclid
Classification theory over a predicate. I.

Pillay, Anand ; Shelah, Saharon

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

Project Euclid
Higher quantity syllogisms.

Peterson, Philip L.

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

Project Euclid
$1$-consistency and the diamond.

Boolos, George

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

Project Euclid
Intension, designation, and extension.

Pottinger, Garrel

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

Project Euclid
A note on the Hanf number of second-order logic.

Kaufmann, Matt

Text on Project Euclid
PDF
Alt PDF
p. 305-308

Project Euclid
Second-order quantifiers and the complexity of theories.

Baldwin, J. T. ; Shelah, S.

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

Project Euclid
Incompactness in regular cardinals.

Shelah, Saharon

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

Project Euclid
Some exact equiconsistency results in set theory.

Harrington, Leo ; Shelah, Saharon

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

Project Euclid
An exposition of Shelah's ``main gap'': counting uncountable models of $\omega$-stable and superstable theories.

Harrington, L. ; Makkai, M.

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

Project Euclid
Stationary logic and its friends. I.

Mekler, Alan H. ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 129-138

Project Euclid
The decision problem for linear temporal logic.

Burgess, John P. ; Gurevich, Yuri

Text on Project Euclid
PDF
Alt PDF
p. 115-128

Project Euclid
From preference to utility: a problem of descriptive set theory.

Burgess, John P.

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

Project Euclid
Recursively saturated models generated by indiscernibles.

Schmerl, James H.

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

Project Euclid
Number-theoretic set theories.

Strauss, Paul

Text on Project Euclid
PDF
Alt PDF
p. 81-95

Project Euclid
Principal congruences of tetravalent modal algebras.

Loureiro, Isabel

Text on Project Euclid
PDF
Alt PDF
p. 76-80

Project Euclid
Individuals and points.

Clark, Bowman L.

Text on Project Euclid
PDF
Alt PDF
p. 61-75

Project Euclid
A completeness theorem for dynamic logic.

Csirmaz, László

Text on Project Euclid
PDF
Alt PDF
p. 51-60

Project Euclid
On the possible number ${\rm no}(M)=$ the number of nonisomorphic models $L_{\infty,\lambda}$-equivalent to $M$ of power $\lambda$, for $\lambda$ singular.

Shelah, Saharon

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

Project Euclid
Validity in intensional languages: a new approach.

Hanson, William H. ; Hawthorne, James

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

Project Euclid
A note on satisfaction classes.

Kossak, Roman

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

Project Euclid