Sommaire du Fascicule no. 1

Review: Patrick K. Bastable, Logic: Depth Grammar of Rationality. A Textbook on the Science and History of Logic

Kneebone, G. T.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Isaac Levi, Gambling with Truth. An Essay on Induction and the Aims of Science

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
An $\alpha$-Finite Injury Method of the Unbounded Type

Chong, C. T.

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

Project Euclid
The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals

Beeson, Michael

Text on Project Euclid
PDF
Alt PDF
p. 18-24

Project Euclid
Omitting Types in Set Theory and Arithmetic

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF
p. 25-32

Project Euclid
Infinitary Compactness without Strong Inaccessibility

Boos, William

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

Project Euclid
Two Variable Implicational Calculi of Prescribed Many-One Degrees of Unsolvability

Hughes, Charles E.

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

Project Euclid
A Reduction Class Containing Formulas with one Monadic Predicate and one Binary Function Symbol

Hughes, Charles E.

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

Project Euclid
Probabilities on Finite Models

Fagin, Ronald

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

Project Euclid
Approximation Theorems and Model Theoretic Forcing

Harnik, Victor

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

Project Euclid
One More Aspect of Forcing and Omitting Types

Adamowicz, Zofia

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

Project Euclid
Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models

Gabbay, Dov M.

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

Project Euclid
Negative-Existentially Complete Structures and Definability in Free Extensions

Weispfenning, Volker

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

Project Euclid
Uniform Inductive Definability and Infinitary Languages

Nyberg, Anders M.

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

Project Euclid
Semantics of the Infinitistic Rules of Proof

Apt, Krzysztof Rafal

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

Project Euclid
Elementary Extensions of Countable Models of Set Theory

Hutchinson, John E.

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

Project Euclid
ED-Regressive Sets of Order $n$

Catlin, Seth

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

Project Euclid
Selection in Abstract Recursion Theory

Harrington, L. A. ; MacQueen, D. B.

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

Project Euclid
An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic

Veldman, Wim

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

Project Euclid
On $\Sigma_1$ Well-Orderings of the Universe

Harrington, Leo ; Jech, Thomas

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

Project Euclid
Applications of Vaught Sentences and the Covering Theorem

Harnik, Victor ; Makkai, Michael

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

Project Euclid
Monotone Inductive Definitions over the Continuum

Cenzer, Douglas

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

Project Euclid
Diversity of Speed-Ups and Embeddability in Computational Complexity

Alton, Donald A.

Text on Project Euclid
PDF
Alt PDF
p. 199-214

Project Euclid
The $\prec$-Order on Submodels

Marcus, Leo

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

Project Euclid
An Abstraction Algorithm for Combinatory Logic

Abdali, S. Kamal

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

Project Euclid
A Combinatorial Property of $p_\kappa\lambda$

Menas, Telis K.

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

Project Euclid
Boolean Combinations of R.E. Open Sets

Hay, Louise

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

Project Euclid
The Truth about Some Post Numbers

Segerberg, Krister

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

Project Euclid
A Boolean Ultrapower which is not an Ultrapower

Koppelberg, Bernd ; Koppelberg, Sabine

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

Project Euclid
Minimal Upper Bounds for Ascending Sequences of $\alpha$-Recursively Enumerable Degrees

Chong, C. T.

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

Project Euclid
European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974

Muller, G. H. ; Oberschelp, A. ; Potthoff, K.

Text on Project Euclid
PDF
Alt PDF
p. 261-278

Project Euclid
Meeting of the Association for Symbolic Logic Washington, D.C., 1975

Owings, James ; Putnam, Hilary ; Sacks, Gerald

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

Project Euclid
Countable Initial Segments of the Degrees of Unsolvability

Lachlan, A. H. ; Lebeuf, R.

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

Project Euclid
Modal Reduction Principles

Benthem, J. F. A. K. Van

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

Project Euclid
On Finite Lattices of Degrees of Constructibility of Reals

Adamowicz, Zofia

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

Project Euclid
A Completeness Theorem for Zermelo-Fraenkel Set Theory

Powell, William C.

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

Project Euclid
Derived Rules of Inference Related to the Continuity of Effective Operations

Beeson, Michael J.

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

Project Euclid
An Interpretation of "Finite" Modal First-Order Languages in Classical Second-Order Languages

Lehmann, Scott K.

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

Project Euclid
Krom Formulas with One Dyadic Predicate Letter

Lewis, Harry R.

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

Project Euclid
Uniformly Defined Descending Sequences of Degrees

Friedman, Harvey

Text on Project Euclid
PDF
Alt PDF
p. 363-367

Project Euclid
Noncharacterizability of the Syntax Set

Paulos, John

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

Project Euclid
$\lambda$-Scales, $\kappa$-Souslin Sets and a New Definition of Analytic Sets

Busch, Douglas R.

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

Project Euclid
Large and Small Existentially Closed Structures

Simmons, H.

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

Project Euclid
Projective Planes of Infinite But Isolic Order

Dekker, J. C. E.

Text on Project Euclid
PDF
Alt PDF
p. 391-404

Project Euclid
Congruence Relations, Filters, Ideals, and Definability in Lattices of $\alpha$-Recursively Enumerable Sets

Lerman, Manuel

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

Project Euclid
Types of Simple $\alpha$-Recursively Enumerable Sets

Lerman, Manuel

Text on Project Euclid
PDF
Alt PDF
p. 419-426

Project Euclid
Equivalence of Some Definitions of Recursion in a Higher Type Object

Lowenthal, F.

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

Project Euclid
Modal Formulas are Either Elementary or not $\Sigma\Delta$-Elementary

Benthem, J. F. A. K. Van

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

Project Euclid
Normal Functions and Constructive Ordinal Notations

Miller, Larry W.

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

Project Euclid
The Decision Problem for Standard Classes

Gurevich, Yuri

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

Project Euclid
Relative Consistency of an Extension of Ackermann's Set Theory

Lake, John

Text on Project Euclid
PDF
Alt PDF
p. 465-466

Project Euclid
The Inconsistency of $\mathscr{F}^\ast_{21}$

Bunder, M. W.

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

Project Euclid
Effective Coloration

Bean, Dwight R.

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

Project Euclid
Adding a Closed Unbounded Set

Baumgartner, J. E. ; Harrington, L. A. ; Kleinberg, E. M.

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

Project Euclid
$\alpha$-Decompositions of $\alpha$-Spaces

III, Northrup Fowler

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

Project Euclid
Order Types of Ordinals in Models of Set Theory

Hutchinson, John E.

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

Project Euclid
Godel's Second Incompleteness Theorem for $Q$

Bezboruah, A. ; Shepherdson, J. C.

Text on Project Euclid
PDF
Alt PDF
p. 503-512

Project Euclid
The Infinite Injury Priority Method

Soare, Robert I.

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

Project Euclid
An Introduction to Recursively Saturated and Resplendent Models

Barwise, Jon ; Schlipf, John

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

Project Euclid
Model Theoretic Algebra

Cherlin, G. L.

Text on Project Euclid
PDF
Alt PDF
p. 537-545

Project Euclid
Review: Augustus de Morgan, On the Syllogism and other Logical Writings by Augustus de Morgan

Church, Alonzo

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

Project Euclid
Review: Brian Skyrms, Choice and Chance. An Introduction to Inductive Logic

Siemens, David F.

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

Project Euclid
Review: Charles C. Pinter, Set Theory

Eklof, Paul C.

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

Project Euclid
Review: H. C. Torng, Introduction to the Logical Design of Switching Systems; Basil Zacharov, Digital Systems Logic and Circuits; Ray Ryan, Basic Digital Electronics--Understanding Number Systems, Boolean Algebra, & Logic Circuits

Enderton, H. B.

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

Project Euclid
Meeting of the Association for Symbolic Logic

Baldwin, John ; Martin, D. A. ; Soare, Robert I. ; Tait, W. W.

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

Project Euclid
On the Complexity of the Theories of Weak Direct Powers

Rackoff, Charles

Text on Project Euclid
PDF
Alt PDF
p. 561-573

Project Euclid
The Theory of the Godel Functionals

Goodman, Nicolas D.

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

Project Euclid
Hanf Numbers for Omitting Types Over Particular Theories

Knight, Julia F.

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

Project Euclid
Undecidable Properties of Finite Sets of Equations

McNulty, George F.

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

Project Euclid
On Definable Subsets of $p$-Adic Fields

MacIntyre, Angus

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

Project Euclid
Co-Hypersimple Structures

Remmel, J. B.

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

Project Euclid
Noncomplex Sequences: Characterizations and Examples

Daley, Robert P.

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

Project Euclid
Categoricity Regained

Ellentuck, Erik

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

Project Euclid
Another Intuitionistic Completeness Proof

de Swart, H.

Text on Project Euclid
PDF
Alt PDF
p. 644-662

Project Euclid
Higher Souslin Trees and the Generalized Continuum Hypothesis

Gregory, John

Text on Project Euclid
PDF
Alt PDF
p. 663-671

Project Euclid
A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models

Woodrow, Robert E.

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

Project Euclid
Types of Simple $\alpha$-Recursively Enumerable Sets

Leggett, Anne ; Shore, Richard A.

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

Project Euclid
Degrees of Classes of RE Sets

Shoenfield, J. R.

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

Project Euclid
Review: C. C. Chang, H. J. Keisler, Model Theory

Fuhrken, Gebhard

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

Project Euclid
Review: Dennis Sentilles, A Bridge to Advanced Mathematics

Enderton, H. B.

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

Project Euclid
Review: Douglas Lackey, Bertrand Russell, Essays in Analysis by Bertrand Russell

Church, Alonzo

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

Project Euclid
Notices

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

Project Euclid
Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic

Lob, M. H.

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

Project Euclid
Models for Recursion Theory

Moldestad, Johan ; Normann, Dag

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

Project Euclid
A Complete Infinitary Logic

Slonneger, Kenneth

Text on Project Euclid
PDF
Alt PDF
p. 730-746

Project Euclid
Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski

Church, Alonzo

Text on Project Euclid
PDF
Alt PDF
p. 747-760

Project Euclid
The Work of Kurt Godel

Kleene, Stephen C.

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

Project Euclid
On Deciding the Truth of Certain Statements Involving the Notion of Consistency

Boolos, George

Text on Project Euclid
PDF
Alt PDF
p. 779-781

Project Euclid
Review: W. W. Comfort, S. Negrepontis, The Theory of Ultrafilters

Blass, Andreas

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

Project Euclid
Review: A. I. Mal'Cev, B. D. Seckler, A. P. Doohovskoy, Algebraic Systems

Monk, Donald

Text on Project Euclid
PDF
Alt PDF
p. 783-784

Project Euclid
Review: Thomas J. Jech, The Axiom of Choice

Sageev, Gershon

Text on Project Euclid
PDF
Alt PDF
p. 784-785

Project Euclid
Review: William W. Boone, Frank B. Cannonito, Roger C. Lyndon, Word Problems, Decision Problems and Burnside Problem in Group Theory

Clapham, C. R. J.

Text on Project Euclid
PDF
Alt PDF
p. 785-788

Project Euclid
Review: Seymour Ginsburg, Algebraic and Automata-Theoretic Properties of Formal Languages

Salomaa, Arto

Text on Project Euclid
PDF
Alt PDF
p. 788-789

Project Euclid
Review: Frederic B. Fitch, Elements of Combinatory Logic

Lercher, Bruce

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

Project Euclid
Review: Daniel Ponasse, Mathematical Logic

Horn, Alfred

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

Project Euclid
Association for Symbolic Logic

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

Project Euclid