Sommaire

Notices

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Index of Reviews: Volumes 45, 46

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

Project Euclid
Association for Symbolic Logic

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

Project Euclid
Review: Leonard S. Bobrow, Michael A. Arbib, Discrete Mathematics: Applied Algebra for Computer and information Science

Elgot, Calvin C.

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

Project Euclid
Review: Michael Machtey, Paul Young, An Introduction to the General Theory of Algorithms

Lynch, Nancy

Text on Project Euclid
PDF
Alt PDF
p. 877-878

Project Euclid
Review: Thomas Jech, Set Theory

Devlin, Keith J.

Text on Project Euclid
PDF
Alt PDF
p. 876-877

Project Euclid
Review: Yiannis N. Moschovakis, Descriptive Set Theory

Mansfield, Richard

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

Project Euclid
Review: D. M. R. Leivant, Absoluteness of Intuitionistic Logic

Minc, G. E.

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

Project Euclid
Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic

Smorynski, C.

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

Project Euclid
Review: Peter Geach, Max Black, Translations from the Philosophical Writings of Gottlob Frege

Parsons, Charles

Text on Project Euclid
PDF
Alt PDF
p. 870-871

Project Euclid
Review: John Myhill, Constructive Set Theory; Harvey Friedman, Set Theoretic Foundations for Constructive Analysis

Grayson, R. J.

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

Project Euclid
Review: Jon Barwise, Matt Kaufmann, Michael Makkai, Stationary Logic

Eklof, Paul C.

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

Project Euclid
Review: Saharon Shelah, Leon Henkin, Categoricity of Uncountable Theories

Lascar, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 866-867

Project Euclid
[Omnibus Review]

Kanamori, Akihiro

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

Project Euclid
Effective Aspects of Profinite Groups

Smith, Rick L.

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

Project Euclid
The Model-Theoretic Significance of Complemented Existential Formulas

Weispfenning, Volker

Text on Project Euclid
PDF
Alt PDF
p. 843-850

Project Euclid
Ad and the Supercompactness of $\aleph_1$

Becker, Howard

Text on Project Euclid
PDF
Alt PDF
p. 822-842

Project Euclid
The Equivalence of a Generalized Martin's Axiom to a Combinatorial Principle

Weiss, William

Text on Project Euclid
PDF
Alt PDF
p. 817-821

Project Euclid
Forcing With $\triangle$ Perfect Trees and Minimal $\triangle$-Degrees

Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 803-816

Project Euclid
Partial Orderings of Fixed Finite Dimension: Model Companions and Density

Manaster, Alfred B. ; Remmel, Jeffrey B.

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

Project Euclid
Stability of Nilpotent Groups of Class 2 and Prime Exponent

Mekler, Alan H.

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

Project Euclid
Equivalence Between Semantics for Intuitionism. I

Lopez-Escobar, E. G. K.

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

Project Euclid
Undecidable $L^t$ Theories of Topological Abelian Groups

Cherlin, Gregory L. ; Schmitt, Peter H.

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

Project Euclid
Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy

Hodes, Harold T.

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

Project Euclid
The Model of Set Theory Generated by Countably Many Generic Reals

Blass, Andreas

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

Project Euclid
Degrees of Structures

Richter, Linda Jean

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

Project Euclid
Degrees Joining to $0'$

Posner, David B. ; Robinson, Robert W.

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

Project Euclid
The Upper Semilattice of Degrees $\leq 0'$ Is Complemented

Posner, David B.

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

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979

Pacholski, Leszek ; Wierzejewski, Jedrzej

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic: Washington, DC 1977

Boyd, Richard

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

Project Euclid
Review: H. Jerome Keisler, Elementary Calculus; H. Jerome Keisler, Foundations of Infinitesimal Calculus

Loeb, Peter A.

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

Project Euclid
Review: Peter A. Facione, Donald Scherer, Logic and Logical Thinking: A Modular Approach

Rogers, Robert

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

Project Euclid
Review: Brian F. Chellas, Modal Logic. An Introduction

Makinson, David

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

Project Euclid
Review: Brian Ellis, Rational Belief Systems

Kennedy, Ralph

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

Project Euclid
Review: Ferdinand Gonesth, Les Fondements des Mathematiques. De la Geometrie D'Euclide a la Relativite Generale et a l'Intuitionisme

Eggenberger, Peter

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Michael J. Loux, The Ontology of William of Ockham

Corcoran, John

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

Project Euclid
Review: Wolfgang Maass, Inadmissibility, Tame r.e. Sets and the Admissible Collapse; Wolfgang Maass, On $\alpha$- and $\beta$-Recursively Enumerable Degrees

Homer, Steven

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

Project Euclid
Review: Sy. D. Friedman, $\beta$-Recursion Theory; Sy D. Friedman, Post's Problem without Admissibility

Homer, Steven

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

Project Euclid
Review: H. Andreka, T. Gergely, I. Nemeti, On Universal Algebraic Constructions of Logics

Maddux, Roger

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

Project Euclid
Review: Saharon Shelah, End Extensions and Numbers of Countable Models

Marcus, Leo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Matatyahu Rubin, Theories of Linear Order

Marcus, Leo

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

Project Euclid
Review: Robert M. Solovay, Provability Interpretations of Modal Logic

Boolos, George

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

Project Euclid
Review: M. D. Krol, The Topological Models of Intuitionistic Analysis. One Counterexample; M. D. Krol, A Topological Model for Intuitionistic Analysis with Kripke's Scheme; M. D. Krol', B. F. Wells, Distinct Variants of Kripke's Schema in Intuitionistic Analysis

Moschovakis, Joan Rand

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

Project Euclid
Some Facts About Kurt Godel

Wang, Hao

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

Project Euclid
Predicate Functors Revisited

Quine, W. V.

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

Project Euclid
Producing Measurable Cardinals Beyond $\kappa$

Kleinberg, E. M.

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

Project Euclid
A Result on Implications of $\Sigma_1$-Sentences and Its Application to Normal Form Theorems

Girard, Jean-Yves ; Pappinghaus, Peter

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

Project Euclid
Analysis Without Actual Infinity

Mycielski, Jan

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

Project Euclid
Recursively Presented Abelian Groups: Effective $p$-Group Theory. I

Lin, Charlotte

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

Project Euclid
Recursive Boolean Algebras with Recursive Atoms

Remmel, Jeffrey B.

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

Project Euclid
Recursive Isomorphism Types of Recursive Boolean Algebras

Remmel, J. B.

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

Project Euclid
Twilight Graphs

Dekker, J. C. E.

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

Project Euclid
On the Proof Theory of the Modal Logic for Arithmetic Provability

Leivant, Daniel

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

Project Euclid
An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem

Mundici, Daniele

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

Project Euclid
Theories Instables

Poizat, Bruno

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

Project Euclid
Preservation of Saturation and Stability in a Variety of Nilpotent Groups

Rogers, Pat

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

Project Euclid
The Metamathematics of Model Theory: Discovering Language in Action

Miller, Douglas E.

Text on Project Euclid
PDF
Alt PDF
p. 490-498

Project Euclid
First-Order Topological Axioms

Kopperman, R. D.

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

Project Euclid
Busy Beaver Sets and the Degrees of Unsolvability

Daley, Robert P.

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

Project Euclid
Isomorphism of Structures in $S$-Toposes

Bell, J. L.

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

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF


Project Euclid
European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979

Drake, F. R. ; Wainer, S. S.

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

Project Euclid
Meeting of the Association for Symbolic Logic: New York 1979

Boolos, George ; Friedman, Sy ; Hodes, Harold

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

Project Euclid
Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979

Crossley, John N. ; Humberstone, Lloyd

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

Project Euclid
Review: E. J. Lemmon, George W. D. Berry, Beginning Logic

Stebbins, Sarah

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

Project Euclid
Review: Kathleen Levitz, Hilbert Levitz, Logic and Boolean Algebra

Resek, Diane

Text on Project Euclid
PDF
Alt PDF
p. 420-421

Project Euclid
Review: Keith J. Devlin, Fundamentals of Contemporary Set Theory

Chuaqui, Rolando

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

Project Euclid
Review: Azriel Levy, Basic Set Theory

Mitchell, William

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

Project Euclid
Review: Kenneth A. Bowen, Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi

Goldblatt, Rob

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

Project Euclid
[Omnibus Review]

Burge, Tyler

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

Project Euclid
Vaught's Theorem Recursively Revisited

Millar, Terrence

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

Project Euclid
A New Inner Model for ZFC

Zadrozny, Wlodzimierz

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

Project Euclid
Effective Galois Theory

la Roche, Peter

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

Project Euclid
Algebraic Independence

Knight, Julia F.

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

Project Euclid
Nonstandard Natural Number Systems and Nonstandard Models

Kamo, Shizuo

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

Project Euclid
On the Godel Class with Identity

Goldfarb, Warren D.

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

Project Euclid
Canonization Theorems and Applications

Shelah, Saharon

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

Project Euclid
Calculating Self-Referential Statements: Guaspari Sentences of the First Kind

Smorynski, C.

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

Project Euclid
The Decidability of Normal $K5$ Logics

Nagle, Michael C.

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

Project Euclid
An Example Concerning Scott Heights

Makkai, M.

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

Project Euclid
On a Condition for Cohen Extensions which Preserve Precipitous Ideals

Kakuda, Yuzuru

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

Project Euclid
Patterns of Projecta

Krawczyk, Adam

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

Project Euclid
Recursively Saturated Nonstandard Models of Arithmetic

Smorynski, C.

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

Project Euclid
Complexity Bounds on Proofs

Hatcher, William S. ; Hodgson, Bernard R.

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

Project Euclid
Measurability and Degrees of Strong Compactness

Apter, Arthur W.

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

Project Euclid
Implicational Complexity in Intuitionistic Arithmetic

Leivant, Daniel

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

Project Euclid
An Axiomatic Version of Positive Semilattice Relevance Logic

Charlwood, G.

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

Project Euclid
A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No $\alpha$-Recursive Functional on the Class of $\alpha$-Recursive Functions

Paola, Robert A. Di

Text on Project Euclid
PDF
Alt PDF
p. 216-232

Project Euclid
Countable Functionals and the Projective Hierarchy

Normann, Dag

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

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979

Malcolm, W. G. ; Cresswell, M. J.

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

Project Euclid
Meeting of the Association for Symbolic Logic: San Diego, 1979

Manaster, Alfred B. ; Payne, Thomas H. ; Harrah, David

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

Project Euclid
Meeting of the Association for Symbolic Logic: Biloxi, 1979

Halpern, Daniel ; Tait, William ; Baldwin, John T.

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

Project Euclid
Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978

Arruda, Ayda I. ; Chuaqui, Rolando ; da Costa, Newton C. A. ; Mikenberg, Irene

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

Project Euclid
Review: Eike-Henner W. Kluge, Gottlob Frege, On the Foundations of Geometry and Formal Theories of Arithmetic

Jackson, Howard

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

Project Euclid
Review: J. L. Mackie, Truth Probability and Paradox. Studies in Philosophical Logic

Kearns, John T.

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

Project Euclid
Review: Ian Hacking, Why Does Language Matter to Philosophy?

Grandy, Richard E.

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

Project Euclid
Review: John L. Pollock, Subjunctive Reasoning

McCarthy, Timothy

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

Project Euclid
Review: R. M. Martin, Semiotics and Linguistic Structure. A Primer of Philosophic Logic

Nolan, Rita

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

Project Euclid
Review: Robert S. Tragesser, Phenomenology and Logic

Smith, David Woodruff

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

Project Euclid
Review: Klaus Heidler, Hans Hermes, Friedrich-K. Mahn, Rekursive Funktionen

Ferebee, Ann S.

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

Project Euclid
Review: J. L. Bell, Boolean-Valued Models and Independence Proofs in Set Theory; Dana Scott, Foreword

Jech, Thomas

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Herbert B. Enderton, Elements of Set Theory

Kunen, Kenneth

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

Project Euclid
Review: A. H. Lightstone, Abraham Robinson, Nonarchimedean Fields and Asymptotic Expansions

Henson, C. Ward

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

Project Euclid
Review: D. J. Shoesmith, T. J. Smiley, Multiple-Conclusion Logic

Harrop, Ronald

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

Project Euclid
Review: F. William Lawvere, C. Maurer, Model Theory and Topai

Szabo, M. E.

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

Project Euclid
Some Initial Segments of the Rudin-Keisler Ordering

Blass, Andreas

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

Project Euclid
Sous-Groupes Definissables d'Un Groupe Stable

Poizat, Bruno

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

Project Euclid
The Continuum Hypothesis in Intuitionism

Gielen, W. ; de Swart, H. ; Veldman, W.

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

Project Euclid
Decidability and Finite Axiomatizability of Theories of $\aleph_0$-Categorical Partially Ordered Sets

Schmerl, James H.

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

Project Euclid
Locally Countable Models of $\Sigma_1$-Separation

Abramson, Fred G.

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

Project Euclid
Changing Cofinalities and Infinite Exponents

Apter, Arthur W.

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

Project Euclid
On the Interpolation Theorem for the Logic of Constant Domains

Lopez-Escobar, E. G. K.

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

Project Euclid
Modal Semantics without Possible Worlds

Kearns, John T.

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

Project Euclid
The Consistency of System $Q$

Fitch, Frederic B.

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

Project Euclid
On $P$-Points Over a Measurable Cardinal

Kanamori, A.

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

Project Euclid
Rings Which Admit Elimination of Quantifiers

Berline, Chantal

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

Project Euclid
A Proof of the Associated Sheaf Theorem by Means of Categorical Logic

Veit, Barbara

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

Project Euclid
Determinateness and the Separation Property

Steel, John R.

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

Project Euclid
The $\kappa$-Closed Unbounded Filter and Supercompact Cardinals

Spector, Mitchell

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

Project Euclid
Ordinal Analysis of Simple Cases of Bar Recursion

Howard, W. A.

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

Project Euclid
La Logique des Topos

Boileau, Andre ; Joyal, Andre

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

Project Euclid
Hyper-Torre Isols

Ellentuck, Erik

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

Project Euclid