Sommaire

Notice of the 1979 International Congress of Logic, Methodology and Philosophy of Science

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 732-758

Project Euclid
Some Independence Results for Peano Arithmetic

Paris, J. B.

Text on Project Euclid
PDF
Alt PDF
p. 725-731

Project Euclid
Double Jumps of Minimal Degrees

Jockusch, Carl G. ; Posner, David B.

Text on Project Euclid
PDF
Alt PDF
p. 715-724

Project Euclid
Classifications of Generalized Index Sets of Open Classes

Johnson, Nancy

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

Project Euclid
Analytic Determinacy and $0^{\tt\#}$

Harrington, Leo

Text on Project Euclid
PDF
Alt PDF
p. 685-693

Project Euclid
Independence Results for Class Forms of the Axiom of Choice

Howard, Paul E. ; Rubin, Arthur L. ; Rubin, Jean E.

Text on Project Euclid
PDF
Alt PDF
p. 673-684

Project Euclid
Some Results on Measure Independent Godel Speed-Ups

Solomon, Martin K.

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

Project Euclid
$\kappa$-Suslin Logic

Green, Judy

Text on Project Euclid
PDF
Alt PDF
p. 659-666

Project Euclid
Examples in the Theory of Existential Completeness

Hirschfeld, Joram

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

Project Euclid
A Sequent Calculus Formulation of Type Assignment with Equality Rules for the $\ambda\beta$-Calculus

Seldin, Jonathan P.

Text on Project Euclid
PDF
Alt PDF
p. 643-649

Project Euclid
Cardinal Collapsing and Ordinal Definability

Stepanek, Petr

Text on Project Euclid
PDF
Alt PDF
p. 635-642

Project Euclid
The Perfect Set Theorem and Definable Wellorderings of the Continuum

Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 630-634

Project Euclid
Type Two Partial Degrees

Lih, Ko-Wei

Text on Project Euclid
PDF
Alt PDF
p. 623-629

Project Euclid
What is the Conference Board of the Mathematical Sciences?

Botts, Truman

Text on Project Euclid
PDF
Alt PDF
p. 620-621

Project Euclid
Meeting of the Association for Symbolic Logic: Chicago, 1977

Jockusch, Carl G. ; Soare, Robert I. ; Tait, William ; Takeuti, Gaisi

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

Project Euclid
An Addendum to The Work of Kurt Godel

Kleene, Stephen C.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Uniform Upper Bounds on Ideals of Turing Degrees

Hodes, Harold T.

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

Project Euclid
Models Without Indiscernibles

Abramson, Fred G. ; Harrington, Leo A.

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

Project Euclid
On the Hanf Number of Souslin Logic

Burgess, John P.

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

Project Euclid
A Model of Peano Arithmetic with no Elementary End Extension

Mills, George

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

Project Euclid
End Extensions and Numbers of Countable Models

Shelah, Saharon

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

Project Euclid
Interpolation Theorems for $L^{2+}_{k,k}$

Ferro, Ruggero

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

Project Euclid
Global Inductive Definability

Barwise, Jon ; Moschovakis, Yiannis N.

Text on Project Euclid
PDF
Alt PDF
p. 521-534

Project Euclid
$\mathbf{\Sigma}_1$-Compactness in Languages Stronger than $\mathscr{L}_A$

Cutland, Nigel

Text on Project Euclid
PDF
Alt PDF
p. 508-520

Project Euclid
Minimal Upper Bounds for Sequences of $\Delta^1_{2n}$-Degrees

Kechris, Alexander S.

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

Project Euclid
The Nonconstructive Content of Sentences of Arithmetic

Goodman, Nicolas D.

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

Project Euclid
Number of Countable Models

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 492-496

Project Euclid
A Continuous Functional with Noncollapsing Hierarchy

Normann, Dag

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

Project Euclid
The Stability Function of a Theory

Keisler, H. Jerome

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

Project Euclid
On the Number of Minimal Models

Shelah, Saharon

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

Project Euclid
$\alpha$-Degrees of Maximal $\alpha$-R.E. Sets

Leggett, Anne

Text on Project Euclid
PDF
Alt PDF
p. 456-474

Project Euclid
Theories with a Finite Number of Countable Models

Woodrow, Robert E.

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

Project Euclid
A $r$-Maximal Vector Space not contained in any Maximal Vector Space

Remmel, J.

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

Project Euclid
A Characterization of Companionable, Universal Theories

Wheeler, William H.

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

Project Euclid
On the Compactness of $\mathbf{\aleph}_1$ and $\mathbf{\aleph}_2$

Prisco, C. A. Di ; Henle, J.

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

Project Euclid
Prime and Atomic Models

Knight, Julia F.

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

Project Euclid
Review: Frank R. Drake, Set Theory. An Introduction to Large Cardinals

Levy, Azriel

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Martin Davis, Applied Nonstandard Analysis

Kugler, Lawrence D.

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

Project Euclid
Review: Howard Pospesel, Introduction to Logic. Propositional Logic; Howard Pospesel, Introduction to Logic. Predicate Logic

Conradi, J. Christian

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: William Gustason, Dolph E. Ulrich, Elementary Symbolic Logic

Moor, James ; Nelson, Jack

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

Project Euclid
Review: Alan Rose, Computer Logic

Orgass, Richard J.

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

Project Euclid
Review: John E. Clifford, Tense and Tense Logic

Kuhn, Steven

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Nuel D. Belnap, Thomas B. Steel, The Logic of Questions and Answers; Urs Egli, Hubert Schleichert, Bibliography of the Theory of Questions and Answers

Harrah, David

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

Project Euclid
Review: Susan Haack, Deviant Logic. Some Philosophical Issues

Lambert, Karel

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

Project Euclid
Review: Hugues LeBlanc, Truth-Value Semantics

Dunn, J. Michael

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

Project Euclid
[Omnibus Review]

Thomason, S. K.

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977

Barwise, Jon ; Kunen, Kenneth ; Ullian, Joseph

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

Project Euclid
Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976

Arruda, Ayda I. ; Quesada, Francisco Miro ; Costa, Newton C. A. Da ; Chuaqui, Rolando

Text on Project Euclid
PDF
Alt PDF
p. 352-364

Project Euclid
Three Universal Representations of Recursively Enumerable Sets

Jones, James P.

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

Project Euclid
An Inelastic Model with Indiscernibles

Knight, Julia F.

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

Project Euclid
Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets

Shore, Richard A.

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

Project Euclid
Ideal Models and Some Not so Ideal Problems in the Model Theory of $L(Q)$

Bruce, Kim B.

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

Project Euclid
Major Subspaces of Recursively Enumerable Vector Spaces

Kalantari, Iraj

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

Project Euclid
An Ideal Game

Galvin, F. ; Jech, T. ; Magidor, M.

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

Project Euclid
Diagonalization in Degree Constructions

Posner, D. ; Epstein, R.

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

Project Euclid
The Uniform Regular Set Theorem in $\alpha$-Recursion Theory

Maass, Wolfgang

Text on Project Euclid
PDF
Alt PDF
p. 270-279

Project Euclid
Simple and Hyperhypersimple Vector Spaces

Retzlaff, Allen

Text on Project Euclid
PDF
Alt PDF
p. 260-269

Project Euclid
The $\mathbf{\aleph}_1$-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields

Rose, Bruce I.

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

Project Euclid
Some Anomalies in Fitch's System $QD$

Bunder, M. W. ; Seldin, Jonathan P.

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

Project Euclid
Some Relations Between Classical and Constructive Mathematics

Beeson, Michael

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

Project Euclid
A Type-Free Godel Interpretation

Beeson, Michael

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

Project Euclid
An Incomplete Nonnormal Extension of $S3$

Schumm, George F.

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

Project Euclid
Formalisations of Further $\mathbf{\aleph}_0$-Valued Lukasiewicz Propositional Calculi

Rose, Alan

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

Project Euclid
Toward Model Theory Through Recursive Saturation

Schlipf, John Stewart

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

Project Euclid
Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions

Pohlers, W.

Text on Project Euclid
PDF
Alt PDF
p. 161-182

Project Euclid
Review: Nicholas Rescher, Plausible Reasoning. An Introduction to the Theory and Practice of Plausibilistic Inference

Humphreys, Paul W.

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

Project Euclid
Review: Nicholas Rescher, A Theory of Possibility. A Constructivistic and Conceptualistic Account of Possible Individuals and Possible Worlds

Kessler, Glenn

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

Project Euclid
Review: William E. McMahon, Hans Reichenbach's Philosophy of Grammar

Nolan, Rita

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

Project Euclid
Review: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification

Constable, Robert L.

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

Project Euclid
Review: Rozsa Peter, Rekursive Funktionen in der Komputer-Theorie

Hermes, Hans

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Helena Rasiowa, Olgierd Wojtasiewicz, Introduction to Modern Mathematics; Helena Rasiowa, Wstep do Matematyki Wspolczesnesj

Margaris, Angelo

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

Project Euclid
Review: Paul Bernays, Zum Symposium uber die Grundlagen der Mathematik

Schutte, K.

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

Project Euclid
Review: Paul Bernays, Die Schematische Korrespondenz und die Idealisierten Strukturen

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul Bernays, Bemerkungen zur Philosophie der Mathematik

Schutte, K.

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

Project Euclid
Review: Paul Bernays, Zur Rolle der Sprache in Erkenntnistheoretischer Hinsicht

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul Bernays, Die Mannigfaltigkeit der Direktiven fur die Gestaltung Geometrischer Axiomensysteme

Schutte, K.

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

Project Euclid
Review: Paul Bernays, Betrachtungen zu Ludwig Wittgensteins "Bemerkungen uber die Grundlagen der Mathematik

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul Bernays, Betrachtungen zum Paradoxon von Thoralf Skolem

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul Bernays, Mathematische Existenz und Widerspruchfreiheit

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul Bernays, Thesen und Bemerkungen zu den Philosophischen Fragen und zur Situation der Logisch-Mathematischen Grundlagenforschung

Schutte, K.

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

Project Euclid
Review: Paul Bernays, Uber den Platonismus in der Mathematik

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul Bernays, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie

Schutte, K.

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

Project Euclid
Review: Paul Bernays, Probleme der Theoretischen Logik

Schutte, K.

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

Project Euclid
Review: Paul Bernays, Vorwort. Abhandlungen zur Philosophie der Mathematik

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Aubert Daigneault, Studies in Algebraic Logic

Preller, Anne

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

Project Euclid
Review: M. A. Dickmann, Large Infinitary Languages. Model Theory

Makkai, Michael

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

Project Euclid
Review: Jon Barwise, Admissible Sets and Structures. An Approach to Definability Theory

Nadel, Mark

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

Project Euclid
Sets Which Do Not Have Subsets of Every Higher Degree

Simpson, Stephen G.

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

Project Euclid
Existentially Complete Torsion-Free Nilpotent Groups

Saracino, D.

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

Project Euclid
Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions

Buchholz, W. ; Pohlers, W.

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

Project Euclid
Note on an Induction Axiom

Paris, J. B.

Text on Project Euclid
PDF
Alt PDF
p. 113-117

Project Euclid
Rings which Admit Elimination of Quantifiers

Rose, Bruce I.

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

Project Euclid
The Model Theory of Ordered Differential Fields

Singer, Michael F.

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

Project Euclid
Separation Principles and the Axiom of Determinateness

Wesep, Robert A. Van

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

Project Euclid
Saturated Ideals

Kunen, Kenneth

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

Project Euclid
Projective Algebra and the Calculus of Relations

Bednarek, A. R. ; Ulam, S. M.

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

Project Euclid
Degrees of Sensible Lambda Theories

Barendregt, Henk ; Bergstra, Jan ; Klop, Jan Willem ; Volken, Henri

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

Project Euclid
Relativized Realizability in Intuitionistic Arithmetic of All Finite Types

Goodman, Nicolas D.

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

Project Euclid
Controlling the Dependence Degree of a Recursive Enumerable Vector Space

Shore, Richard A.

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

Project Euclid
First Steps in Intuitionistic Model Theory

Swart, H. De

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

Project Euclid
On the Inconsistency of Systems Similar to $\mathscr{F}^\ast_{21}$

Bunder, M. W. ; Meyer, R. K.

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

Project Euclid