Sommaire

Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 741-778

Project Euclid
Generalizing Special Aronszajn Trees

Schmerl, James H.

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

Project Euclid
The Isomorphism Property in Nonstandard Analysis and Its Use in the Theory of Banach Spaces

Henson, C. Ward

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

Project Euclid
Continuity and Elementary Logic

Tharp, Leslie H.

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

Project Euclid
Ordinal Bounds for $k$-Consistency

Goldfarb, Warren D.

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

Project Euclid
The $\omega$-Consistency of Number Theory Via Herbrand's Theorem

Goldfarb, W. D. ; Scanlon, T. M.

Text on Project Euclid
PDF
Alt PDF
p. 678-692

Project Euclid
On Subcreative Sets and $S$-Reducibility

III, John T. Gill ; Morris, Paul H.

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

Project Euclid
An $\omega_1$-Categorical Ring which is not Almost Strongly Minimal

Podewski, K.-P. ; Reineke, J.

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

Project Euclid
Implicational Formulas in Intuitionistic Logic

Urquhart, Alasdair

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

Project Euclid
Minimal Pairs and High Recursively Enumerable Degrees

Cooper, S. B.

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

Project Euclid
Cores of $\Pi^1_1$ Sets of Reals

Blass, Andreas ; Cenzer, Douglas

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

Project Euclid
Relation of Lesniewski's Mereology to Boolean Algebra

Clay, Robert E.

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

Project Euclid
String Theory

Corcoran, John ; Frank, William ; Maloney, Michael

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

Project Euclid
1975 International Symposium on Multiple-Valued Logic

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Notice of the Second International Conference on Computers and the Humanities

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Further Citations

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

Project Euclid
Review: Joseph Horovitz, Law and Logic. A Critical Account of Legal Argument

Vonneuman, Nicholas A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jan Lukasiewicz, Vernon Wedin, On the Principle of Contradiction in Aristotle

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
[Omnibus Review]

Tuomela, Raimo

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

Project Euclid
Review: Robert Wall, Introduction to Mathematical Linguistics

Ullian, Joseph S.

Text on Project Euclid
PDF
Alt PDF
p. 615-616

Project Euclid
Review: Elliott Mendelson, Theory and Problems of Boolean Algebra and Switching Circuits

Gould, William E.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Richard L. Purtill, Logic for Philosophers

Robinson, Richard E.

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

Project Euclid
Review: Howard Kahane, Logic and Philosophy. A Modern Introduction

Robinson, Richard E.

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

Project Euclid
Review: Morton L. Schagrin, The Language of Logic. A Programed Text

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: R. A. Bull, On the Extension of S4 with CLMpMLp

Fine, Kit

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Krister Segerberg, Decidability of S4.1

Fine, Kit

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

Project Euclid
Review: Charles E. Caton, A Stipulation of Logical Truth in a Modal Propositional Calculus; Charles E. Caton, A Stipulation of a Modal Propositional Calculus in Terms of Modalized Truth-Values

Massey, Gerald J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Ernest Adams, The Logic of Conditionals; Ernest W. Adams, Jaakko Hintikka, Patrick Suppes, Probability and the Logic of Conditionals

Stalnaker, Robert

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

Project Euclid
Review: E. W. Beth, Remarks on Intuitionistic Logic

Freudenthal, Hans

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: A. Heyting, Raymond Klibansky, Intuitionism in Mathematics

Freudenthal, Hans

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Bruno Scarpellini, Proof Theory and Intuitionistic Systems

Troelstra, A. S.

Text on Project Euclid
PDF
Alt PDF
p. 607-609

Project Euclid
Review: Dag Prawitz, Hauptsatz for Higher Order Logic; Dag Prawitz, Completeness and Hauptsatz for Second Order Logic; Moto-o Takahashi, A Proof of Cut-Elimination in Simple Type-Theory

Schutte, K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Tosiyuki Tugue, Sigeru Hinata, A Note on Continuous Functionals

Hensel, Gustav B.

Text on Project Euclid
PDF
Alt PDF
p. 606-607

Project Euclid
Review: B. A. Trahtenbrot, On Frequential Computation of Functions

Mendelson, Elliott

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: John Case, Enumeration Reducibility and Partial Degrees

Sasso, Leonard P.

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

Project Euclid
Review: Ju. V. Matijasevic, F. M. Goldware, Diophantine Representation of Enumerable Predicates

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Shoji Maehara, A System of Simple Type Theory with Type Variables

Rundle, Bede

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

Project Euclid
Review: Frank Harary, A Very Independent Axiom System; F Harary, A Measure of Axiomatic Independence

Potts, Donald H.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Paul C. Eklof, Edward R. Fisher, The Elementary Theory of Abelian Groups

Smorynski, C.

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

Project Euclid
Review: Yu. L. Ershov, I. A. Lavrov, A. D. Taimanov, M. A. Taitslin, P. M. Cohn, Elementary Theories

Smorynski, C.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Alfred Tarski, A Simplified Formalization of Predicate Logic with Identity

Shepherdson, J. C.

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

Project Euclid
Review: Ralph McKenzie, Definability in Lattices of Equational Theories

Burris, S.

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

Project Euclid
Review: J. R. Shilleto, Minimum Models of Analysis

Marek, Wiktor

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: H. B. Enderton, Harvey Friedman, Approximating the Standard Model of Analysis

Mostowski, Andrzej

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

Project Euclid
Review: A. Mostowski, A Problem in the Theory of Models

Kueker, David W.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Harvey M. Friedman, Determinateness in the Low Projective Hierarchy

Fenstad, Jens Erik

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Klaus Gloede, Ordinals with Partition Properties and the Constructible Hierarchy

Wojciechowska, Agnieszka

Text on Project Euclid
PDF
Alt PDF
p. 598-599

Project Euclid
Review: Jack H. Silver, Some Applications of Model Theory in Set Theory

Wojciechowska, Agnieszka

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

Project Euclid
Note on the Fan Theorem

Troelstra, A. S.

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

Project Euclid
Models of Set Theory with More Real Numbers than Ordinals

Cohen, Paul E.

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

Project Euclid
The Hanf Number for Complete $L_{\omega_1, \omega}$-Sentences (Without GCH)

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF
p. 575-578

Project Euclid
A Minimal Degree not Realizing Least Possible Jump

Sasso, Leonard P.

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

Project Euclid
A Note on the Kondo-Addison Theorem

Guaspari, David

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

Project Euclid
Note on Deducibility and Many-Valuedness

Wojcicki, Ryszard

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

Project Euclid
Almost Local Non-$\alpha$-Recursiveness

Chong, Chi T.

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

Project Euclid
Reduction of Tense Logic to Modal Logic. I

Thomason, S. K.

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

Project Euclid
Linear Sampling and the $|forall |exists |forall$ Case of the Decision Problem

Aanderaa, Stal O. ; Lewis, Harry R.

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

Project Euclid
The Finite Controllability of the Maslov Case

Aanderaa, Stal ; Goldfarb, Warren D.

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

Project Euclid
Some Results in Modal Model Theory

Mortimer, Michael

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

Project Euclid
Single Premise Post Canonical Forms Defined Over One-Letter Alphabets

Hughes, Charles E.

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

Project Euclid
Modal Propositional Logic on an Orthomodular Basis. I

Herman, L. ; Piziak, R.

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

Project Euclid
Prime Model Extensions for Differential Fields of Characteristic $p \neq 0$

Wood, Carol

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

Project Euclid
A $\Delta^0_2$ Theory of Regressive Isols

Ellentuck, Erik

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

Project Euclid
The Boolean Algebras of Abelian Groups and Well-Orders

Myers, Dale

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

Project Euclid
Syntactic Characterisations of Amalgamation, Convexity and Related Properties

Bacsich, Paul D. ; Hughes, Dafydd Rowlands

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

Project Euclid
European Meeting of the Association for Symbolic Logic: Bristol, England, 1973

Rose, H. E. ; Shepherdson, J. C.

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

Project Euclid
Meeting of the Association for Symbolic Logic: Atlanta 1973

Henson, C. Ward ; Jonsson, Bjarni ; Lopez-Escobar, E. G. K. ; Resnik, Michael D.

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

Project Euclid
Meeting of the Association for Symbolic Logic: Orleans, France, 1972

Calais, J. P. ; Derrick, J. ; Sabbagh, G.

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

Project Euclid
Notice of the New Journal Teaching Philosophy

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Notice of the Society for Exact Philosophy

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Alan Ross Anderson Memorial Fund

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Further Citations

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

Project Euclid
Review: David P. Gauthier, Hare's Debtors

Chellas, Brian F.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: R. M. Hare, Freedom and Reason

Chellas, Brian F.

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

Project Euclid
[Omnibus Review]

Bennett, Jonathan

Text on Project Euclid
PDF
Alt PDF


Project Euclid
[Omnibus Review]

Bennett, Jonathan

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

Project Euclid
Review: Henry C. Byerly, Charles J. Merchant, New Algorithms for the Statement and Class Calculi

Standley, Gerald

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: L. Kalmar, M. Dummett, C. Lejewski, W. V. Quine, F. Sommers, Discussion

Standley, Gerald

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

Project Euclid
Review: Fred Sommers, Imre Lakatos, On a Fregean Dogma

Standley, Gerald

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

Project Euclid
Review: Heinrich Behmann, Max Kasbauer, Franz von Kutschera, Verlag Karl Alber, Three Paradoxical Aspects of Identity

Perry, John

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

Project Euclid
Review: Hao Wang, Logic, Computation and Philosophy

Kreisel, Georg

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

Project Euclid
Review: Jean Dieudonne, Logica y Matematica

Chateaubriand, O.

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

Project Euclid
Review: D. Hilbert, P. Bernays, Grundlagen der Mathematik II

Kneebone, G. T.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Bertrand Russell, Irving M. Copi, James A. Gould, Mathematical Logic as Based on the Theory of Types

Church, Alonzo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: W. V. Quine, Introductory Note; Bertrand Russell, Mathematical Logic as Based on the Theory of Types

Church, Alonzo

Text on Project Euclid
PDF
Alt PDF
p. 355-356

Project Euclid
[Omnibus Review]

Church, Alonzo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Ignacio Angelelli, B. V. Birjukov, Two Soviet Studies on Ferge

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Atwell R. Turquette, Peirce's Icons for Deductive Logic

Anderson, Alan Ross

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Arthur N. Prior, Edward C. Moore, Richard S. Robin, The Algebra of the Copula

Anderson, Alan Ross

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. H. Woodger, From Biology to Mathematics

Dawson, Edward E.

Text on Project Euclid
PDF
Alt PDF
p. 353-354

Project Euclid
Review: Pascual Jordan, Leon Henkin, Patrick Suppes, Alfred Tarski, Quantenlogik und das Kommutative Gesetz

Drieschner, M.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Aldo Bressan, A General Interpreted Modal Calculus; Nuel D. Belnap, Foreword

Bull, R. A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: M. I. Semenenko, Properties of some Sublogics of the Classical and Intuitionistic Propositional Calculi

Anderson, Alan Ross

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

Project Euclid
Review: Akira Nakamura, A Remark on the Truth-Value Stipulation for the Modal System $M$'; Akira Nakamura, On an Axiomatic System of Modal Logic; R. A. Bull, On a Paper of Akira Nakamura

Rennie, M. K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: David Makinson, Some Embedding Theorems for Modal Logic

Thomason, S. K.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Alan Rose, The Degree of Completeness of the $m$-Valued Lukasiewicz Propositional Calculus, Correction and Addendum

Rose, Gene F.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Hao Wang, Wayne A. Kalenich, Formalization and Automatic Theorem-Proving

Friedman, Joyce

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: A. Salwicki, Formalized Algorithmic Languages; A. Salwicki, On the Equivalence of FS-Expressions and Programs; A. Salwicki, On the Predicate Calculi with Iteration Quantifiers

Engeler, E.

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

Project Euclid
Review: F. D. Lewis, The Enumerability and Invariance of Complexity Classes

Lynch, Nancy A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Zohar Manna, Mathematical Theory of Partial Correctness

Blikle, Andrzej

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Erwin Engeler, Algorithmic Approximations

Burstall, R. M.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. Hartmanis, F. D. Lewis, The Use of Lists in the Study of Undecidable Problems in Automata Theory

Cudia, Dennis F.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: D. C. Luckham, D. M. R. Park, M. S. Paterson, On Formalised Computer Programs

Cooper, D. C.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Walter J. Savitch, Relationships between Nondeterministic and Deterministic Tape Complexities

Meyer, Albert R.

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

Project Euclid
Review: Webb Miller, Recursive Function Theory and Numerical Analysis

Cleave, J. P.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: John Cleave, The Primitive Recursive Analysis of Ordinary Differential Equations and the Complexity of their Solutions

Miller, Webb

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

Project Euclid
Review: A. H. Lachlan, On Some Games which are Relevant to the Theory of Recursively Enumerable Sets

Jones, Gregory W.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Hisao Tanaka, On Limits of Sequences of Hyperarithmetical Functionals and Predicates; Tosiyuki Tugue, Hisao Tanaka, A Note on the Effective Descriptive Set Theory

Garland, Stephen J.

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

Project Euclid
Review: C. E. M. Yates, On the Degrees of Index Sets. II

Hay, Louise

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: C. E. M. Yates, On the Degrees of Index Sets

Hay, Louise

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Gerald E. Sacks, Recursion in Objects of Finite Type

Clarke, D. A.

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

Project Euclid
Review: A. Grzegorczyk, Recursive Objects in all Finite Types; Haskell B. Curry, Combinatory Recursive Objects of all Finite Types

Parsons, Charles

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Helmut Pfeiffer, Vergleich zweier Bezeichnungssysteme fur Ordinalzaklen

Levitz, Hilbert

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

Project Euclid
Review: Helmut Pfeiffer, Ein Bezeichnungssystem fur Ordinalzahlen

Levitz, Hilbert

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Charles Parsons, A. Kino, J. Myhill, R. E. Vesley, On a Number Theoretic Choice Schema and its Relation to Induction; Charles Parsons, Review of the Foregoing; Charles Parsons, On $n$-Quantifier Induction

Schwichtenberg, Helmut

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Herman Rubin, Patrick Suppes, A Note on Two-Place Predicates and Fitting Sequences of Measure Functions

Miller, David

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Robert L. Davis, The Number of Structures of Finite Relations

Miller, David

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: F. William Lawvere, S. Eilenberg, D. K. Harrison, S. MacLane, H. Rohrl, The Category of Categories as a Foundation for Mathematics

Elgot, Calvin C.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: F. William Lawvere, Functional Semantics of Algebraic Theories

Elgot, Calvin C.

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

Project Euclid
Review: Donald J. Collins, On Recognizing Properties of Groups which have Solvable Word Problem

Clapham, C. R. J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Abraham Robinson, W. A. J. Luxemburg, A. Robinson, Algebraic Function Fields and Non-Standard Arithmetic

Dubrovsky, Diana L.

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

Project Euclid
Review: S. R. Kogalovskij, O Kompaktnyh Klassah Algebraiceskih Sistem

Pacholski, Leszek

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost

Pacholski, Leszek

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

Project Euclid
Review: Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin, Alfred Tarski, Elementary Theories with Models without Automorphisms

Glassmire, William

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: David W. Kueker, Generalized Interpolation and Definability

Lopez-Escobar, E. G. K.

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

Project Euclid
Review: Ralph McKenzie, Representations of Integral Relation Algebras

Pigozzi, Don

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Roger C. Lyndon, The Representation of Relation Algebras, II

Monk, J. Donald

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jerome Malitz, Universal Classes in Infinitary Languages

Flum, Jorg

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jon Barwise, Applications of Strict $\Pi^1_1$ Predicates to Infinitary Logic

Cutland, N. J.

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

Project Euclid
Review: Carol Karp, Jon Barwise, An Algebraic Proof of the Barwise Compactness Theorem

Cutland, N. J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: H. J. Keisler, B. van Rootselaar, J. F. Staal, Models with Orderings

Ebbinghaus, H.-D.

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

Project Euclid
Review: R. E. Vesley, A. Kino, J. Myhill, A Palatable Substitute for Kripke's Schema

Howard, William A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: John Myhill, The Invalidity of Markoff's Schema

Moschovakis, Joan Rand

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

Project Euclid
Review: Leon Henkin, Mathematical Foundations for Mathematics

Robinson, Abraham

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: H. Jerome Keisler, Good Ideals in Fields of Sets; H. Jerome Keisler, Ideals with Prescribed Degree of Goodness

Harnik, Victor

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

Project Euclid
Review: W. Hanf, On a Problem of Erdos and Tarski; D. Monk, D. Scott, Additions to Some Results of Erdos and Tarski; A. Hajnal, Remarks on the Theory of W. P. Hanf

Larson, Jean A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jens Erik Fenstad, The Axiom of Determinateness

Kechris, A. S.

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

Project Euclid
Review: Kenneth Kunen, Elementary Embeddings and Infinitary Combinatorics

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jack H. Silver, Measurable Cardinals and $\Delta\frac{1}{3}$ well-Orderings

Magidor, Menachem

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

Project Euclid
Review: Robert M. Solovay, On the Cardinality of $\mathbf{\Sigma}\frac{1}{2}$ Sets of Reals

Drake, Frank R.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Gerald E. Sacks, Forcing with Perfect Closed Sets

Shoenfield, J. R.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: R. M. Solovay, S. Tennenbaum, Iterated Cohen Extensions and Souslin's Problem

Mansfield, Richard

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

Project Euclid
Review: J. Barkley Rosser, Simplified Independence Proofs. Boolean Valued Models of Set Theory

Rutkowski, Aleksander

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

Project Euclid
Review: Evandro Agazzi, La Logica Simbolica

Rivetti-Barbo, Francesca

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

Project Euclid
Review: Mircea Tirnoveanu, Elements of Mathematical Logic. Vol. 1. Logic of Bivalent Propositions

Iseki, K.

Text on Project Euclid
PDF
Alt PDF
p. 325-327

Project Euclid
On Existence Proofs of Hanf Numbers

Friedman, Harvey

Text on Project Euclid
PDF
Alt PDF
p. 318-324

Project Euclid
The $\lambda$-Calculus is $\omega$-Incomplete

Plotkin, G. D.

Text on Project Euclid
PDF
Alt PDF
p. 313-317

Project Euclid
Analytic Inductive Definitions

Cenzer, Douglas

Text on Project Euclid
PDF
Alt PDF
p. 310-312

Project Euclid
Recursively Presentable Prime Models

Harrington, Leo

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

Project Euclid
$\Sigma_n$ Sets which are $\Delta_n$-Incomparable (Uniformly)

Shore, Richard A.

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

Project Euclid
Nonrecursive Tilings of the Plane. II

Myers, Dale

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

Project Euclid
Nonrecursive Tilings of the Plane. I

Hanf, William

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

Project Euclid
On Projective Ordinals

Kechris, Alexander S.

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

Project Euclid
Boolean Extensions which Efface the Mahlo Property

Boos, William

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

Project Euclid
Systems of Notations and the Ramified Analytical Hierarchy

Lukas, Joan D. ; Putnam, Hilary

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

Project Euclid
Sets of Theorems with Short Proofs

Richardson, Daniel

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

Project Euclid
Combinator Realizability of a Constructive Morse Set Theory

Staples, John

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

Project Euclid
Correction to `A Model Theoretic Characterisation of Effective Operations'

Lob, M. H.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
A Noninitial Segment of Index Sets

Hay, Louise

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

Project Euclid
Meeting of the Association for Symbolic Logic Seattle 1973

Morel, Anne C. ; Harrop, Ronald ; Lucian, Miriam ; Pincus, David

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

Project Euclid
Further Citations

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

Project Euclid
Review: J. A. Robinson, A Review of Automatic Theorem-Proving

Wos, L.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. A. Robinson, Automatic Deduction with Hyper-Resolution

Wos, L.

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

Project Euclid
Review: Oscar H. Ibarra, Characterizations of Some Tape and Time Complexity Classes of Turing Machines in Terms of Multihead and Auxiliary Stack Automata

Savitch, Walter J.

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

Project Euclid
Review: S. U. Maslov, Representation of Enumerable Sets by Means of Local Calculi

DiPaola, Robert A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: S. U. Maslov, V. P. Orevkov, N. A. Sanin, The Concept of Strong Representability in the General Theory of Calculi

DiPaola, Robert A.

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

Project Euclid
Review: Louise Hay, On Creative Sets and Indices of Partial Recursive Functions; Louise Hay, Isomorphism Types of Index Sets of Partial Recursive Functions; Louise Hay, Index Sets of Finite Classes of Recursively Enumerable Sets

Lewis, Forbes D.

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

Project Euclid
Review: Kurt Schutte, Ein Konstruktives System von Ordinalzahlen; Helmut Pfeiffer, Ein Bezeichnungssystem fur Ordinalzahlen

Levitz, Hilbert

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Dennis F. Cudia, Wilson E. Singletary, The Post Correspondence Problem; Dennis F. Cudia, Wilson E. Singletary, Degrees of Unsolvability in Formal Grammars

Yasuhara, Ann

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

Project Euclid
Review: William W. Boone, Word Problems and Recursively Enumerable Degrees of Unsolvability. An Emendation; Donald J. Collins, Truth-table Degrees and the Boone Groups

Hughes, Charles E.

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

Project Euclid
Review: C. Moisill, Logique, automatique, informatique

Church, Alonzo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kirby A. Baker, Equational Axioms for Classes of Lattices

McKenzie, Ralph

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Per Lindstrom, On Extensions of Elementary Logic

Tharp, Leslie H.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Michael Morley, M. H. Lob, Partitions and Models

Hodges, Wilfrid

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

Project Euclid
Review: C. C. Chang, Omitting Types of Prenex Formulas

Simmons, H.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. D. Halpern, H. Lauchli, A Partition Theorem; J. D. Halpern, A. Levy, The Boolean Prime Ideal Theorem Does Not Imply the Axiom of Choice

Pincus, David

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

Project Euclid
Review: Jean-Louis Krivine, David Miller, Introduction to Axiomatic Set Theory

Levy, Azriel

Text on Project Euclid
PDF
Alt PDF
p. 180-181

Project Euclid
Review: H. Hiz, Grammar Logicism

Fisher, Alec

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Robert M. Exner, Myron F. Rosskopf, Logic in Elementary Mathematics

Gould, William E.

Text on Project Euclid
PDF
Alt PDF
p. 179-180

Project Euclid
Review: Gerald B. Standley, New Methods in Symbolic Logic

Matthews, Gordon

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

Project Euclid
Review: Irving M. Copi, Symbolic Logic

Kalish, Donald

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

Project Euclid
Review: Irving M. Copi, The Theory of Logical Types

Pelletier, Francis Jeffry

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

Project Euclid
Review: Desmond Paul Henry, The Truncation of Truth-Functional Calculation

Massey, Gerald J. ; Posy, Carl J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: R. A. Bull, An Approach to Tense Logic

Cocchiarella, Nino

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Philip Arthur Schilpp, The Philosophy of C.I. Lewis

Creswell, M.J.

Text on Project Euclid
PDF
Alt PDF
p. 172-173

Project Euclid
Review: Konrad Marc-Wogau, Bemerkungen zu Kants Kritik des Ontologischen Gottesbeweises

Thomas, Ivo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Max Black, The Elusiveness of sets

Rundle, Bede

Text on Project Euclid
PDF
Alt PDF
p. 170-171

Project Euclid
Review: Marx W. Wartofsky, Conceptual Foundations of Scientific Thought. An Introduction to the Philosophy of Science

Miller, David

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

Project Euclid
Review: Nicholas Georgescu-Roegen, Concepts, Numbers, and Quality; Nicholas Georgescu-Roegen, The Nature of Expectation and Uncertainty

Booth, David

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

Project Euclid
Review: Marshall Swain, D. Reidel, Induction, Acceptance and Rational belief

Hacking, Ian

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

Project Euclid
A New Proof that Analytic Sets are Ramsey

Ellentuck, Erik

Text on Project Euclid
PDF
Alt PDF
p. 163-165

Project Euclid
On Certain Types and Models for Arithmetic

Blass, Andreas

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

Project Euclid
Turing Machines and the Spectra of First-Order Formulas

Jones, Neil D. ; Selman, Alan L.

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

Project Euclid
Honest Bounds for Complexity Classes of Recursive Functions

Moll, R. ; Meyer, A. R.

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

Project Euclid
Scott's Interpolation Theorem Fails for $L_{\omega_1,\omega}$

Africk, Henry

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

Project Euclid
Projective Model Completeness

Sacerdote, George S.

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

Project Euclid
$\Sigma_1$ Compactness for Next Admissible Sets

Green, Judy

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

Project Euclid
Index Sets in Ershov's Hierarchy

Grassin, Jacques

Text on Project Euclid
PDF
Alt PDF
p. 97-104

Project Euclid
$\Pi^0_1$ Classes and Boolean Combinations of Recursively Enumerable Sets

Jockusch, Carl G.

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

Project Euclid
A Hierarchy for the 1-Section of Any Type Two Object

Wainer, S. S.

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

Project Euclid
A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis

Geiser, James R.

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

Project Euclid
PCA Well-Orderings of the Line

Friedman, Harvey

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

Project Euclid
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property

Gabbay, D. M. ; Jongh, D. H. J. De

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

Project Euclid
Sets Constructible from Sequences of Ultrafilters

Mitchell, William J.

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

Project Euclid
Least Upper Bounds For Minimal Pairs of $|alpha$-R.E. $|alpha$ Degrees

Lerman, Manuel

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

Project Euclid
A Result Concerning Cardinalities of Ultraproducts

Keisler, H. Jerome ; Prikry, Karel

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

Project Euclid
Logics Containing $K4$. Part I

Fine, Kit

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

Project Euclid
Some Remarks on Changing Cofinalities

Devlin, Keith J.

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

Project Euclid
Beth Definability in Infinitary Languages

Gregory, John

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

Project Euclid
An Abstract Church-Rosser Theorem. II: Applications

Hindley, R.

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

Project Euclid