Sommaire du Fascicule no. 1

Review: J.-P. Ressayre, Boolean Models and Infinitary First Order Languages

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Don Pigozzi, Base-Undecidable Properties of Universal Varieties; Don Pigozzi, Universal Equational Theories and Varieties of Algebras

Burris, S.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Dag Normann, A Jump Operator in Set Recursion

Griffor, E. R.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Robert W. Quackenbush, Appendix 5. Primality: The Influence of Boolean Algebras in Universal Algebra

Werner, Heinrich

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: B. A. Trajtenbrot, Bernardo Del Rio Salceda, Los Algoritmos y la Resolucion Automatica de Problemas

Jones, Gregory W.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Gunter H. Wenzel, Appendix 6. Equational Compactness

Werner, Heinrich

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: G. Gratzer, W. A. Lampe, Appendix 7. The Independence Proof

Werner, Heinrich

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Walter Taylor, Appendix 4. Equational Logic

Werner, Heinrich

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Bjarni Jonsson, Appendix 3. Congruence Varieties

Werner, Heinrich

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Walter Taylor, Equational Logic

Werner, Heinrich

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jon Barwise, John Schlipf, An Introduction to Recursively Saturated and Resplendent Models

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Splitting Theorems for Speed-Up Related to Order of Enumeration

Dawes, A. M.

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

Project Euclid
On Homogeneity and Definability in the First-Order Theory of the Turing Degrees

Shore, Richard A.

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

Project Euclid
Completeness, Invariance and $\lambda$-Definability

Statman, R.

Text on Project Euclid
PDF
Alt PDF
p. 17-26

Project Euclid
An Introduction to $\omega$-Extensions of $\omega$-Groups

Applebaum, C. H.

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

Project Euclid
Forcing With Stable Posets

Avraham, Uri ; Shelah, Saharon

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

Project Euclid
On Hereditarily Countable Sets

Jech, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 43-47

Project Euclid
An Invariance Notion in Recursion Theory

Byerly, Robert E.

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

Project Euclid
Recursion Theory and the Lambda-Calculus

Byerly, Robert E.

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

Project Euclid
Supercompact Cardinals, Elementary Embeddings and Fixed Points

Barbanel, Julius B.

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

Project Euclid
Supercompact Cardinals and Trees of Normal Ultrafilters

Barbanel, Julius B.

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

Project Euclid
Conservative Reduction Classes of Krom Formulas

Aanderaa, Stal O. ; Borger, Egon ; Lewis, Harry R.

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

Project Euclid
On the Consistency of an Impredicative Subsystem of Quine's NF

Crabbe, Marcel

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

Project Euclid
Ultrafilters on Spaces of Partitions

Henle, James M. ; Zwicker, William S.

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

Project Euclid
Dimension Theory and Homogeneity for Elementary Extensions of a Model

Pillay, Anand

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

Project Euclid
A Measure Representation Theorem for Strong Partition Cardinals

Kleinberg, E. M.

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

Project Euclid
Simplicity in Effective Topology

Kalantari, Iraj ; Leggett, Anne

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

Project Euclid
Implicational Logics in Natural Deduction Systems

Lopez-Escobar, E.G.K.

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

Project Euclid
On Generalized Quantifiers in Arithmetic

Morgenstern, Carl

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

Project Euclid
Extremely Undecidable Sentences

Boolos, George

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

Project Euclid
Review: H. J. Keisler, A. Robinson, Selected Papers of Abraham Robinson.: Model Theory and Algebra

Baldwin, John T.

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

Project Euclid
Review: W. A. J. Luxemburg, A. Robinson, Selected Papers of Abraham Robinson: Nonstandard Analysis and Philosophy

Davis, Martin

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

Project Euclid
Review: Richmond H. Thomason, Formal Philosophy. Selected Papers of Richard Montague

Barwise, Jon ; Moravcsik, Julius

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

Project Euclid
Review: A. H. Lachlan, Patrick Suppes, On the Number of Countable Models of a Countable Superstable Theory; Daniel Lascar, Ranks and Definability in Superstable Theories

Millar, Terrence

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

Project Euclid
Review: Robert Vaught, A. R. D. Mathias, H. Rogers, Descriptive Set Theory in $L_{\omega_1\omega}$; Robert Vaught, Invariant Sets in Topology and Logic

Burgess, John P.

Text on Project Euclid
PDF
Alt PDF
p. 217-218

Project Euclid
Review: Kurt Schutte, J. N. Crossley, Proof Theory

Howard, W. A.

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

Project Euclid
Review: Carlo Cellucci, Teoria Della Dimostrazione. Normalizzazioni e Assegnazioni di Numeri Ordinali

Previale, Flavio

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

Project Euclid
Review: Harry R. Lewis, Unsolvable Classes of Quantificational Formulas

Rodding, Dieter

Text on Project Euclid
PDF
Alt PDF
p. 221-222

Project Euclid
Review: Greg Cherlin, Model Theoretic Algebra. Selected Topics

Felgner, Ulrich

Text on Project Euclid
PDF
Alt PDF
p. 222-223

Project Euclid
Review: Charles S. Chihara, Ontology and the Vicious-Circle Principle

Tharp, Leslie H.

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

Project Euclid
Review: Mark Steiner, Mathematical Knowledge

Jubien, Michael

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

Project Euclid
Review: Matthias Schirn, Logica and Philosophy of Mathematics

Stoothoff, R. H.

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

Project Euclid
Review: Willard Van Orman Quine, From a Logical Point of View, 9 logico-philosophical Essays

Fitch, Frederic B.

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

Project Euclid
Review: Zygmunt Ziembinski, Zdzislaw Ziemba, Leon Ter-Oganian, Practical Logic; Zdzislaw Ziemba, Deontic Logic

Bayart, A.

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

Project Euclid
Review: Nicholas Rescher, Robert Brandom, The Logic of Inconsistency. A Study in Non-Standard Possible-World Semantics and Ontology

Makinson, David

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

Project Euclid
Notices

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

Project Euclid
Index Sets and Degrees of Unsolvability

Stob, Michael

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

Project Euclid
On the Category of Models of a Complete Theory

Lascar, Daniel

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

Project Euclid
On Decomposition of Godelnumberings Into Friedbergnumberings

Schinzel, Britta

Text on Project Euclid
PDF
Alt PDF
p. 267-274

Project Euclid
The Baire Category Theorem and Cardinals of Countable Cofinality

Miller, Arnold W.

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

Project Euclid
Intensional Logic in Extensional Language

Parsons, Charles

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

Project Euclid
Double Jumps of Minimal Degrees Over Cardinals

Chong, C. T.

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

Project Euclid
Abstract Logic and Set Theory. II. Large Cardinals

Väänänen, Jouko

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

Project Euclid
A Classification of Jump Operator

Steel, John R.

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

Project Euclid
Constructive Assertions in an Extension of Classical Mathematics

Lifschitz, Vladimir

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

Project Euclid
An Effective Selection Theorem

Maitra, Ashok

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

Project Euclid
On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising

Terlouw, Jan

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

Project Euclid
On the Complexity of Models of Arithmetic

McAloon, Kenneth

Text on Project Euclid
PDF
Alt PDF
p. 403-415

Project Euclid
Flipping Properties in Arithmetic

Kirby, L. A. S.

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

Project Euclid
On the Role of Ramsey Quantifiers in First Order Arithmetic

Schmerl, James H. ; Simpson, Stephen G.

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

Project Euclid
Review: Saharon Shelah, The Number of Non-Isomorphic Models of an Unstable First-Order Theory

Poizat, Bruno

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

Project Euclid
Review: John Gregory, Uncountable Models and Infinitary Elementary Extensions

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF
p. 438-439

Project Euclid
Review: J. P. Ressayre, Models with Compactness Properties Relative to an Admissible Language

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF
p. 439-440

Project Euclid
[Omnibus Review]

Bull, Robert A.

Text on Project Euclid
PDF
Alt PDF
p. 440-445

Project Euclid
Review: Robert Goldblatt, Topoi. The Categorical Analysis of Logic

Scott, Philip J.

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

Project Euclid
Review: P. T. Johnstone, Topos Theory

Seely, Robert

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

Project Euclid
Review: George Gratzer, Universal Algebra

Werner, Heinrich

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

Project Euclid
Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas

Andrews, Peter B.

Text on Project Euclid
PDF
Alt PDF
p. 452-453

Project Euclid
Review: David Harel, First-Order Dynamic Logic

Tiuryn, Jerzy

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

Project Euclid
Review: Raymond D. Gumb, Hughes Leblanc, Evolving Theories

Hanson, William H.

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

Project Euclid
Review: Joseph Warren Dauben, Georg Cantor, His Mathematics and Philosophy of the Infinite

Oberschelp, Arnold

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

Project Euclid
Review: Kazimierz Ajdukiewicz, Jerzy Giedymin, The Scientific World-Perspective and Other Essays, 1931-1963

Lejewski, C.

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

Project Euclid
Review: Wolfgang Stegmuller, William Wohlhueter, The Structure and Dynamics of Theories; Wolfgang Stegmuller, The Structuralist View of Theories. A Possible Analogue of the Bourbaki Programme in Physical Science

Pearce, David

Text on Project Euclid
PDF
Alt PDF
p. 464-470

Project Euclid
Review: Myles Brand, The Nature of Causation

Jackson, Frank

Text on Project Euclid
PDF
Alt PDF
p. 470-473

Project Euclid
Review: Dale Gottlieb, Ontological Economy: Substitutional Quantification and Mathematics

Weston, T. S.

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

Project Euclid
Review: Michael D. Resnik, Frege and the Philosophy of Mathematics

McIntosh, Clifton

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

Project Euclid
Review: Karel Lambert, Gordon G. Brittan, An Introduction to the Philosophy of Science

Teller, Paul

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

Project Euclid
Review: Robert Kowalski, Logic for Problem Solving

Loveland, Donald W.

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

Project Euclid
Notices

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

Project Euclid
Axiomatization of Polynomial Substitution Algebras

Feldman, Norman

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

Project Euclid
Recursively Saturated Nonstandard Models of Arithmetic; Addendum

Smorynski, C.

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

Project Euclid
Probabilities Over Rich Languages, Testing and Randomness

Gaifman, Haim ; Snir, Marc

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

Project Euclid
Universal Diophantine Equation

Jones, James P.

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

Project Euclid
Some Contributions to Definability Theory for Languages with Generalized Quantifiers

Baldwin, John T. ; Miller, Douglas E.

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

Project Euclid
Expansions of Models and Turing Degrees

Knight, Julia ; Nadel, Mark

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

Project Euclid
A Normal Form Theorem for $L_{\omega 1p}$, with Applications

Hoover, Douglas N.

Text on Project Euclid
PDF
Alt PDF
p. 605-624

Project Euclid
Saturated Models of Peano Arithmetic

Pabion, J. F.

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

Project Euclid
On the Nonexistence of Certain Normal Forms in the Logic of Provability

Boolos, George

Text on Project Euclid
PDF
Alt PDF
p. 638-640

Project Euclid
Deux Ou Trois Choses Que je Sais de $L_n$

Poizat, Bruno

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

Project Euclid
On Sets of Relations Definable by Addition

Lynch, James F.

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

Project Euclid
On the Elementary Theory of Pairs of Real Closed Fields. II

Baur, Walter

Text on Project Euclid
PDF
Alt PDF
p. 669-679

Project Euclid
Model Companions of Distributive $p$-Algebras

Schmid, Jurg

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

Project Euclid
[Omnibus Review]

Grandy, Richard E.

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

Project Euclid
Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models

Harnik, Victor

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

Project Euclid
Review: Jens E. Fenstad, General Recursion Theory. An Axiomatic Approach

Cenzer, Douglas

Text on Project Euclid
PDF
Alt PDF
p. 696-698

Project Euclid
Review: Eugene M. Kleinberg, Infinitary Combinatorics and the Axiom of Determinateness

Becker, Howard

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

Project Euclid
Review: Paul C. Eklof, Set Theoretic Methods in Homological Algebra and Abelian Groups

Huber, Martin

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

Project Euclid
Review: Didier Dubois, Henri Prade, Fuzzy Sets and Systems. Theory and Applications

Grattan-Guinness, I.

Text on Project Euclid
PDF
Alt PDF
p. 702-703

Project Euclid
Review: D. S. Bridges, Constructive Functional Analysis; Peter Zahn, Ein Konstruktiver Weg zur Masstheorie und Funktionalanalysis

Richman, Fred

Text on Project Euclid
PDF
Alt PDF
p. 703-705

Project Euclid
Review: Charles S. Pierce, Carolyn Eisele, The New Elements of Mathematics. Vol III Parts 1 and 2. Mathematical Miscellanea; Charles S. Pierce, Carolyn Eisele, The New Elements of Mathematics. Volume IV. Mathematical Philosophy

Zeman, Jay

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

Project Euclid
Review: David Bostock, Logic and Arithmetic. Volume 1. Natural Numbers; David Bostock, Logic and Arithmetic. Volume 2. Rational and Irrational Numbers

Resnik, Michael D.

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

Project Euclid
Review: Donald Nute, Topics in Conditional Logic

Hardegree, Gary M.

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

Project Euclid
Review: Richard E. Grandy, Advanced Logic for Applications

Tennant, Neil

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

Project Euclid
Australasian Annual Conference: New South Wales, Australia, 1980

Text on Project Euclid
PDF
Alt PDF
p. 717-718

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 719-720

Project Euclid
Iterated Reflection Principles and the $\omega$-Rule

Schmerl, Ulf R.

Text on Project Euclid
PDF
Alt PDF
p. 721-733

Project Euclid
Preservation of Elementary Equivalence Under Scalar Extension

Rose, Bruce I.

Text on Project Euclid
PDF
Alt PDF
p. 734-738

Project Euclid
Constructible Lattices of $c$-Degrees

Farrington, C. P.

Text on Project Euclid
PDF
Alt PDF
p. 739-754

Project Euclid
Reflecting Stationary Sets

Magidor, Menachem

Text on Project Euclid
PDF
Alt PDF
p. 755-771

Project Euclid
Real-Valued Models with Metric Equality and Uniformly Continuous Predicates

Katz, Michael

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

Project Euclid
First-Order Logic Based on Inclusion and Abstraction

Bacon, John

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

Project Euclid
Recursively Enumerable Generic Sets

Maass, Wolfgang

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

Project Euclid
A Topological Analog to the Rice-Shapiro Index Theorem

Hay, Louise ; Miller, Douglas

Text on Project Euclid
PDF
Alt PDF
p. 824-832

Project Euclid
Models of Arithmetic and Closed Ideals

Knight, Julia ; Nadel, Mark

Text on Project Euclid
PDF
Alt PDF
p. 833-840

Project Euclid
Theories D'Arbres

Parigot, Michael

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

Project Euclid
Partial Degrees and the Density Problem

Cooper, S. B.

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

Project Euclid
Analytic Sets Having Incomparable Kleene Degrees

Weitkamp, Galen

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

Project Euclid
Solution to the $P-W$ Problem

Martin, E. P. ; Meyer, R. K.

Text on Project Euclid
PDF
Alt PDF
p. 869-887

Project Euclid
The Combinatorial Principle $\diamond^\sharp$

Devlin, Keith J.

Text on Project Euclid
PDF
Alt PDF
p. 888-899

Project Euclid
Review: Marian Boykan Pour-El, Ian Richards, A Computable Ordinary Differential Equation with Possesses no Computable Solution; Marian Boykan Pour-El, Ian Richards, The Wave Equation with Computable Initial Data Such that its Unique Solution is not Computable

Kreisel, G.

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

Project Euclid
Review: V. L. Murskii, D. M. Pritzker, Nondiscernible Properties of Finite Systems of Identity Relations; George F. McNulty, The Decision Problem for Equational Bases of Algebras; George F. McNulty, Undecidable Properties of Finite Sets of Equations

Burris, S.

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

Project Euclid
Review: M. E. Szabo, Algebra of Proofs

Minc, G. E.

Text on Project Euclid
PDF
Alt PDF
p. 904-907

Project Euclid
Review: Andreas Baudisch, Detlef Seese, Hans-Peter Tuschik, Martin Weese, Decidability and Generalized Quantifiers

Cowles, John

Text on Project Euclid
PDF
Alt PDF
p. 907-908

Project Euclid
Review: Wang Hao, Popular Lectures on Mathematical Logic

Hermes, H.

Text on Project Euclid
PDF
Alt PDF
p. 908-909

Project Euclid
Review: Casimir Lewy, Meaning and Modality

Anderson, C. Anthony

Text on Project Euclid
PDF
Alt PDF
p. 909-911

Project Euclid
Review: Stephen P. Schwartz, Naming, Necessity, and Natural Kinds

Burge, Tyler

Text on Project Euclid
PDF
Alt PDF
p. 911-915

Project Euclid
Review: Merrie Bergmann, James Moor, Jack Nelson, The Logic Book; Merrie Bergman, James Moor, Jack Nelson, Solutions to Selected Exercises in the Logic Book

Hill, Christopher S.

Text on Project Euclid
PDF
Alt PDF
p. 915-917

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 918-950

Project Euclid
Notices

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

Project Euclid