Sommaire du Fascicule no. 1

Acknowledgement of Priority

Blass, Andreas

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: A. Beller, R. Jensen, P. Welch, Coding the Universe

Friedman, Sy D.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Peter A. Loeb, Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory; Robert M. Anderson, A Non-Standard Representation for Brownian Motion and Ito Integration

Stroyan, K. D.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: George Goe, Lezioni di Logica

Marcja, Annalisa

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: John L. Pollock, Language and Thought

Morton, Adam

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Martin Ziegler, Einige Unentscheidbare Korpertheorien

Baur, Walter

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Automorphisms of Supermaximal Subspaces

Downey, R. G. ; Hird, G. R.

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

Project Euclid
Fibered Categories and the Foundations of Naive Category Theory

Benabou, Jean

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

Project Euclid
A Consistent Propositional Logic Without any Finite Models

McKay, C. G.

Text on Project Euclid
PDF
Alt PDF
p. 38-41

Project Euclid
Vopenka's Principle and Compact Logics

Makowsky, J. A.

Text on Project Euclid
PDF
Alt PDF
p. 42-48

Project Euclid
A Recursive Model for Arithmetic with Weak Induction

Adamowicz, Zofia ; Morales-Luna, Guillermo

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

Project Euclid
Comparing Incomparable Kleene Degrees

Welch, Philip

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

Project Euclid
The Number of One-Generated Cylindric Set Algebras of Dimension Greater than Two

Larson, Jean A.

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

Project Euclid
Bounded Existential Induction

Wilmers, George

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

Project Euclid
Explicit Henkin Sentences

Solovay, Robert M.

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

Project Euclid
Adjoining Dominating Functions

Baumgartner, James E. ; Dordal, Peter

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

Project Euclid
The Extensions of the Modal Logic $K5$

Nagle, Michael C. ; Thomason, S. K.

Text on Project Euclid
PDF
Alt PDF
p. 102-109

Project Euclid
Determinacy of Banach Games

Becker, Howard

Text on Project Euclid
PDF
Alt PDF
p. 110-122

Project Euclid
Stability Theory and Set Existence Axioms

Harnik, Victor

Text on Project Euclid
PDF
Alt PDF
p. 123-137

Project Euclid
Variations on Promptly Simple Sets

Maass, Wolfgang

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

Project Euclid
Sequent-Systems for Modal Logic

Dosen, Kosta

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

Project Euclid
Logics Without the Contraction Rule

Ono, Hiroakira ; Komori, Yuichi

Text on Project Euclid
PDF
Alt PDF
p. 169-201

Project Euclid
The Generalised RK-Order, Orthogonality and Regular Types for Modules

Prest, Mike

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

Project Euclid
Co-Critical Points of Elementary Embeddings

Sheard, Michael

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

Project Euclid
Review: Hugues LeBlanc, Existence, Truth and Provability

Bencivenga, Ermanno

Text on Project Euclid
PDF
Alt PDF
p. 227-231

Project Euclid
[Omnibus Review]

Bull, R. A.

Text on Project Euclid
PDF
Alt PDF
p. 231-234

Project Euclid
Review: Leon Henkin, J. Donald Monk, Alfred Tarski, Cylindric Algebras. Part I; L. Henkin, J. D. Monk, A. Tarski, Cylindric Set Algebras and Related Structures; H. Andreka, I. Nemeti, On Cylindric-Relativized Set Algebras

Maddux, Roger

Text on Project Euclid
PDF
Alt PDF
p. 234-237

Project Euclid
Review: Saharon Shelah, Proper Forcing

Todorcevic, S.

Text on Project Euclid
PDF
Alt PDF
p. 237-239

Project Euclid
[Omnibus Review]

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF
p. 239-240

Project Euclid
Review: K. Jon Barwise, Absolute Logics and $L_{\infty_\omega}$

Vaananen, Jouko

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

Project Euclid
Review: J. A. Makowsky, Saharon Shelah, Jonathan Stavi, $\Delta$-Logics and Generalized Quantifiers

Vaananen, Jouko

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

Project Euclid
Review: W. A. Howard, A System of Abstract Constructive Ordinals

Buchholz, Wilfried

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

Project Euclid
Review: Georg Kreisel, Gaisi Takeuti, Formally Self-Referential Propositions for Cut Free Analysis and Related Systems; Peter Pappinghaus, A Version of the $\sum_1$-Reflection Principle for CFA Provable in PRA

Cellucci, Carlo

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

Project Euclid
Review: Rudy Rucker, Infinity and the Mind. The Science and Philosophy of the Infinite

Shipman, Joseph

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

Project Euclid
Review: R. C. Jeffrey, The Logic of Decision; Richard C. Jeffrey, The Logic of Decision; Richard C. Jeffrey, Preference among Preferences

Skyrms, Brian

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

Project Euclid
Review: Hector-Neri Castaneda, Thinking and Doing. The Philosophical Foundations of Institutions

Gardenfors, Peter

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

Project Euclid
Review: James Cargile, Paradoxes. A Study in Form and Predication

Hawthorn, John

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

Project Euclid
Review: Crispin Wright, Frege's Conception of Numbers as Objects

Jubien, Michael

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

Project Euclid
Review: David Bell, Frege's Theory of Judgement

Jackson, Howard

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

Project Euclid
European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983

Obserschelp, W. ; Schinzel, B. ; Thomas, W. ; Richter, M. M.

Text on Project Euclid
PDF
Alt PDF
p. 259-283

Project Euclid
Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984

Baldwin, John ; Kaufmann, Matt ; Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF
p. 284-286

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 287-288

Project Euclid
Global Quantification in Zermelo-Fraenkel Set Theory

Mayberry, John

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

Project Euclid
On the Structure of $\operatorname{Ext}(A, \mathbf{Z})$ in ZFC$^+$

Sageev, G. ; Shelah, S.

Text on Project Euclid
PDF
Alt PDF
p. 302-315

Project Euclid
Quelques Precisions sur la D.O.P. et la Profondeur d'Une Theorie

Lascar, D.

Text on Project Euclid
PDF
Alt PDF
p. 316-330

Project Euclid
Functors and Ordinal Notations. IV: The Howard Ordinal and the Functor $\wedge$??

Vauzeilles, Jacqueline

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

Project Euclid
A Direct Proof of the Finite Developments Theorem

Vrijer, Roel De

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

Project Euclid
Replacement and Collection in Intuitionistic Set Theory

Goodman, Nicolas D.

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

Project Euclid
Effective Discontinuity and a Characterisation of the Superjump

Hartley, John P.

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

Project Euclid
Isomorphisms Between HEO and $\mathrm{HRO}^\mathrm{E}$, ECF and $\mathrm{ICF}^\mathrm{E}$

Bezem, Marc

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

Project Euclid
A Note on Interpretations of Many-Sorted Theories

Hook, Julian L.

Text on Project Euclid
PDF
Alt PDF
p. 372-374

Project Euclid
Disturbing Arithmetic

Grilliot, Thomas J.

Text on Project Euclid
PDF
Alt PDF
p. 375-379

Project Euclid
The Ordered Field of Real Numbers and Logics with Malitz Quantifiers

Rapp, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 380-389

Project Euclid
Propositional Logic Based on the Dynamics of Belief

Gardenfors, Peter

Text on Project Euclid
PDF
Alt PDF
p. 390-394

Project Euclid
A New Proof for Craig's Theorem

Bellot, P.

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

Project Euclid
Universal Recursion Theoretic Properties of R.E. Preordered Structures

Montagna, Franco ; Sorbi, Andrea

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

Project Euclid
The Consistency of Some 4-Stratified Subsystem of NF Including $\mathrm{NF}_3$

Boffa, Maurice ; Casalegno, Paolo

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

Project Euclid
On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic

Goldblatt, Robert

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

Project Euclid
Cuts, Consistency Statements and Interpretations

Pudlak, Pavel

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

Project Euclid
Axiomatic Recursion Theory and the Continuous Functionals

Thompson, Simon

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

Project Euclid
The Metatheory of the Classical Propositional Calculus is not Axiomatizable

Mason, Ian

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

Project Euclid
Subgroups of a Free Group and the Axiom of Choice

Howard, Paul E.

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

Project Euclid
Decidable Regularly Closed Fields of Algebraic Numbers

van den Dries, Lou ; Smith, Rick L.

Text on Project Euclid
PDF
Alt PDF
p. 468-475

Project Euclid
Weakly Compact Cardinals in Models of Set Theory

Enayat, Ali

Text on Project Euclid
PDF
Alt PDF
p. 476-486

Project Euclid
3088 Varieties A Solution to the Ackermann Constant Problem

Slaney, John K.

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

Project Euclid
The Consistency of the Axiom of Universality for the Ordering of Cardinalities

Forti, Marco ; Honsell, Furio

Text on Project Euclid
PDF
Alt PDF
p. 502-509

Project Euclid
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions

Alchourron, Carlos E. ; Gardenfors, Peter ; Makinson, David

Text on Project Euclid
PDF
Alt PDF
p. 510-530

Project Euclid
An AD-Like Model

Apter, Arthur W.

Text on Project Euclid
PDF
Alt PDF
p. 531-543

Project Euclid
[Omnibus Review]

Burgess, John P.

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

Project Euclid
Review: T. E. Forster, Quine's New Foundations (An Introduction)

Oswald, Urs

Text on Project Euclid
PDF
Alt PDF
p. 547-548

Project Euclid
Review: Dana Scott, M. P. Fourman, C. J. Mulvey, D. S. Scott, Identity and Existence in Intuitionistic Logic

van Dalen, D.

Text on Project Euclid
PDF
Alt PDF
p. 548-549

Project Euclid
Review: Manuel Lerman, Degrees of Unsolvability. Local and Global Theory

Jockusch, Carl G.

Text on Project Euclid
PDF
Alt PDF
p. 549-550

Project Euclid
[Omnibus Review]

Lerman, M.

Text on Project Euclid
PDF
Alt PDF
p. 550-552

Project Euclid
Review: David Harel, Proving the Correctness of Regular Deterministic Programs: A Unifying Survey Using Dynamic Logic

Parikh, Rohit

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

Project Euclid
Review: A. C. Grayling, An Introduction to Philosophical Logic

Haack, Susan

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

Project Euclid
Review: George Bealer, Quality and Concept

Cocchiarella, Nino B.

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

Project Euclid
Review: Raymond Turner, Counterfactuals Without Possible Worlds

Veltman, Frank

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

Project Euclid
Review: Brian Skyrms, Causal Necessity. A Pragmatic Investigation of the Necessity of Laws

Jeffrey, Richard C.

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

Project Euclid
[Omnibus Review]

Hughes, R. I. G.

Text on Project Euclid
PDF
Alt PDF
p. 558-566

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 567-568

Project Euclid
Determinateness of Certain Almost-Borel Games

Wolf, Robert S.

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

Project Euclid
On the $T$-Degrees of Partial Functions

Casalegno, Paolo

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

Project Euclid
Extension of Relatively $|sigma$-Additive Probabilities on Boolean Algebras of Logic

Amer, Mohamed A.

Text on Project Euclid
PDF
Alt PDF
p. 589-596

Project Euclid
Two Weak Consequences of $0^#$

Gitik, M. ; Magidor, M. ; Woodin, H.

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

Project Euclid
Finitely Generic Models of $T_{UH}$, for Certain Model Companionable Theories $T$

Point, Francoise

Text on Project Euclid
PDF
Alt PDF
p. 604-610

Project Euclid
On Cantor-Bendixson Spectra Containing (1,1). II

Marcja, Annalisa ; Toffalori, Carlo

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

Project Euclid
Logics Containing $K4$. Part II

Fine, Kit

Text on Project Euclid
PDF
Alt PDF
p. 619-651

Project Euclid
Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals

Bezem, Marc

Text on Project Euclid
PDF
Alt PDF
p. 652-660

Project Euclid
Priority Arguments in the Continuous R. E. Degrees

Thompson, Simon

Text on Project Euclid
PDF
Alt PDF
p. 661-667

Project Euclid
The Decision Problem for Branching Time Logic

Gurevich, Yuri ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 668-681

Project Euclid
Syntactic Translations and Provably Recursive Functions

Leivant, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 682-688

Project Euclid
Cylindric-Relativised Set Algebras have Strong Amalgamation

Nemeti, I.

Text on Project Euclid
PDF
Alt PDF
p. 689-700

Project Euclid
The Status of the Axiom of Choice in Set Theory with a Universal Set

Forster, T. E.

Text on Project Euclid
PDF
Alt PDF
p. 701-707

Project Euclid
A Probabilistic Interpolation Theorem

Hoover, Douglas N.

Text on Project Euclid
PDF
Alt PDF
p. 708-713

Project Euclid
Second-Order Languages and Mathematical Practice

Shapiro, Stewart

Text on Project Euclid
PDF
Alt PDF
p. 714-742

Project Euclid
Decision Problems Concerning $S$-Arithmetic Groups

Grunewald, Fritz ; Segal, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 743-772

Project Euclid
Model Theory Under the Axiom of Determinateness

Spector, Mitchell

Text on Project Euclid
PDF
Alt PDF
p. 773-780

Project Euclid
Church-Rosser Theorem for Typed Functional Systems

Koletsos, George

Text on Project Euclid
PDF
Alt PDF
p. 782-790

Project Euclid
Functional Interpretation of the $\beta$-Rule

Koletsos, George

Text on Project Euclid
PDF
Alt PDF
p. 791-805

Project Euclid
On Theories Having a Finite Number of Nonisomorphic Countable Models

Tsuboi, Akito

Text on Project Euclid
PDF
Alt PDF
p. 806-808

Project Euclid
On the Number of Independent Partitions

Tsuboi, Akito

Text on Project Euclid
PDF
Alt PDF
p. 809-814

Project Euclid
Generalisation of First-Order Logic to Nonatomic Domains

Roeper, P.

Text on Project Euclid
PDF
Alt PDF
p. 815-838

Project Euclid
Jumps of Quasi-Minimal Enumeration Degrees

McEvoy, Kevin

Text on Project Euclid
PDF
Alt PDF
p. 839-848

Project Euclid
Review: Alexander S. Kechris, Yiannis N. Moschovakis, A. S. Kechris, Y. N. Moschovakis, Cobol Seminar

Jech, T.

Text on Project Euclid
PDF
Alt PDF
p. 849-851

Project Euclid
Review: Theodore Hailperin, Boole's Logic and Probability. A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory

Gridgeman, N. T.

Text on Project Euclid
PDF
Alt PDF
p. 851-852

Project Euclid
Review: Andrej Scedrov, Forcing and Classifying Topoi

Johnstone, Peter T.

Text on Project Euclid
PDF
Alt PDF
p. 852-853

Project Euclid
[Omnibus Review]

Basarab, S.

Text on Project Euclid
PDF
Alt PDF
p. 853-854

Project Euclid
Review: Robert Goldblatt, Axiomatising the Logic of Computer Programming

Wand, Mitchell

Text on Project Euclid
PDF
Alt PDF
p. 854-855

Project Euclid
Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics

Bull, R. A.

Text on Project Euclid
PDF
Alt PDF
p. 855-856

Project Euclid
Review: David R. Dowty, Robert E. Wall, Stanley Peters, Introduction to Montague Semantics

Dau, Paolo

Text on Project Euclid
PDF
Alt PDF
p. 856-858

Project Euclid
Review: Greg N. Carlson, Generic Terms and Generic Sentences

Gupta, Anil ; Savion, Leah

Text on Project Euclid
PDF
Alt PDF
p. 858-859

Project Euclid
Review: G. E. Hughes, John Buridan on Self-Reference. Chapter Eight of Buridan's Sophismata, with a Translation, an Introduction, and a Philosophical Commentary

Angelelli, Ignacio

Text on Project Euclid
PDF
Alt PDF
p. 859-860

Project Euclid
Review: Marvin L. Bittinger, Logic, Proof, and Sets

Leggett, Anne

Text on Project Euclid
PDF
Alt PDF
p. 860-862

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 863-864

Project Euclid
On the Number of Generators of Cylindric Algebras

Andreka, H. ; Nemeti, I.

Text on Project Euclid
PDF
Alt PDF
p. 865-873

Project Euclid
Some Results Concerning Strongly Compact Cardinals

Abe, Yoshihiro

Text on Project Euclid
PDF
Alt PDF
p. 874-880

Project Euclid
Nonsplitting Subset of $\mathscr{P}_\kappa(\kappa^+)$

Gitik, Moti

Text on Project Euclid
PDF
Alt PDF
p. 881-894

Project Euclid
Epistemic Set Theory is a Conservative Extension of Intuitionistic Set Theory

Flagg, R. C.

Text on Project Euclid
PDF
Alt PDF
p. 895-902

Project Euclid
The Completeness of a Predicate-Functor Logic

Bacon, John

Text on Project Euclid
PDF
Alt PDF
p. 903-926

Project Euclid
Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility

Richard, Denis

Text on Project Euclid
PDF
Alt PDF
p. 927-935

Project Euclid
The $\triangleleft$-Ordering on Normal Ultrafilters

Baldwin, Stewart

Text on Project Euclid
PDF
Alt PDF
p. 936-952

Project Euclid
Polynomial Rings and Weak Second-order Logic

Bauval, Anne

Text on Project Euclid
PDF
Alt PDF
p. 953-972

Project Euclid
Why Some People are Excited by Vaught's Conjecture

Lascar, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 973-982

Project Euclid
On Minimal Pairs of Enumeration Degrees

McEvoy, Kevin ; Cooper, S. Barry

Text on Project Euclid
PDF
Alt PDF
p. 983-1001

Project Euclid
A Guide to "Coding the Universe" by Beller, Jensen, Welch

Friedman, Sy D.

Text on Project Euclid
PDF
Alt PDF
p. 1002-1019

Project Euclid
A Note on Nonmultidimensional Superstable Theories

Pillay, Anand ; Steinhorn, Charles

Text on Project Euclid
PDF
Alt PDF
p. 1020-1024

Project Euclid
The Ideal Structure of Existentially Closed Algebras

Eklof, Paul C. ; Mez, Hans-Christian

Text on Project Euclid
PDF
Alt PDF
p. 1025-1043

Project Euclid
The Geometry of Weakly Minimal Types

Buechler, Steven

Text on Project Euclid
PDF
Alt PDF
p. 1044-1053

Project Euclid
One Theorem of Zil'ber's on Strongly Minimal Sets

Buechler, Steven

Text on Project Euclid
PDF
Alt PDF
p. 1054-1061

Project Euclid
An Algorithm to Determine, For any Prime $p$, A Polynomial-Sized Horn Sentence which Expresses "The Cardinality is not $p$"

Tulipani, Sauro

Text on Project Euclid
PDF
Alt PDF
p. 1062-1064

Project Euclid
Review: Andrew Hodges, Alan Turing: the Enigma

Dawson, John W.

Text on Project Euclid
PDF
Alt PDF
p. 1065-1067

Project Euclid
[Omnibus Review]

Hellman, Geoffrey

Text on Project Euclid
PDF
Alt PDF
p. 1068-1071

Project Euclid
Review: David Woodruff Smith, Ronald McIntyre, Husserl and Intentionality. A Study of Mind, Meaning, and Language

Tragesser, Robert S.

Text on Project Euclid
PDF
Alt PDF
p. 1071-1073

Project Euclid
[Omnibus Review]

Taylor, W.

Text on Project Euclid
PDF
Alt PDF
p. 1073-1076

Project Euclid
Review: Menachem Magidor, Jerome Malitz, Compact Extensions of $L(\mathbf{Q})$ (Part 1a); Matt Kaufmann, A New Omitting Types Theorem for $L(Q)$

Bruce, Kim

Text on Project Euclid
PDF
Alt PDF
p. 1076-1078

Project Euclid
Review: Angus Macintyre, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Ramsey Quantifiers in Arithmetic; James H. Schmerl, Stephen G. Simpson, On the Role of Ramsey Quantifiers in First Order Arithmetic; Carl Morgenstern, On Generalized Quantifiers in Arithmetic

Kirby, L. A. S.

Text on Project Euclid
PDF
Alt PDF
p. 1078-1079

Project Euclid
[Omnibus Review]

Cherlin, Gregory L.

Text on Project Euclid
PDF
Alt PDF
p. 1079-1080

Project Euclid
[Omnibus Review]

Boffa, M.

Text on Project Euclid
PDF
Alt PDF
p. 1080-1081

Project Euclid
Review: V. B. Sehtman, B. F. Wells, An Undecidable Superintuitionistic Propositional Calculus; S. V. Popov, Nondecidable Intermediate Calculus

Urquhart, Alasdair

Text on Project Euclid
PDF
Alt PDF
p. 1081-1083

Project Euclid
Review: Kit Fine, Model Theory for Modal Logic. Part I--the de Re/De Dicto Distinction; Kit Fine, Model Theory for Modal Logic--Part II. The Elimination of de re Modality; Kit Fine, Model Theory for Modal Logic--Part III. Existence and Predication

Kripke, Saul A.

Text on Project Euclid
PDF
Alt PDF
p. 1083-1093

Project Euclid
Annual Meeting of the Association for Symbolic Logic

Martin, Donald A. ; Parsons, Terence ; Kechris, Alexander

Text on Project Euclid
PDF
Alt PDF
p. 1094-1102

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 1103-1141

Project Euclid
Index of Reviews

Text on Project Euclid
PDF
Alt PDF
p. 1142-1150

Project Euclid