Sommaire

Notices

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

Project Euclid
Index of Reviews: Volumes 43, 44

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

Project Euclid
Association for Symbolic Logic

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

Project Euclid
Meeting of the Association for Symbolic Logic Houston, 1978

McLaughlin, T. G.

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

Project Euclid
Review: W. P. de Roever, Recursive Program Schemes: Semantics and Proof Theory

Lauer, Peter

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

Project Euclid
Review: Jeffrey Sicha, A Metaphysics of Elementary Mathematics

Edelstein, Roy S.

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

Project Euclid
Review: Takeo Sugihara, Temporal Logic

Hosoi, Tsutomu

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Dov M. Gabbay, Investigations in Modal and Tense Logics with Application to Problems in Philosophy and Linguistics

Fine, Kit

Text on Project Euclid
PDF
Alt PDF
p. 656-657

Project Euclid
Review: A. N. Prior, Kit Fine, Word, Time and Selves

Bull, R. A.

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

Project Euclid
Review: E. J. Lemmon, Dana Scott, Krister Segerberg, An Introduction to Modal Logic

Bull, R. A.

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

Project Euclid
A Generalized Model Companion for a Theory of Partially Ordered Fields

Stegbauer, Werner

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

Project Euclid
Bounding Minimal Pairs

Lachlan, A. H.

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

Project Euclid
Recursive Constructions in Topological Spaces

Kalantari, Iraj ; Retzlaff, Allen

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

Project Euclid
Stability Theory and Algebra

Baldwin, John T.

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

Project Euclid
The Theory of all Substructures of a Structure: Characterisation and Decision Problems

Manders, Kenneth L.

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

Project Euclid
Logic and Time

Burgess, John P.

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

Project Euclid
On the Ordering of Certain Large Cardinals

Morgenstern, Carl F.

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

Project Euclid
Weakly Compact Cardinals: A Combinatorial Proof

Shelah, S.

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

Project Euclid
On Amalgamations of Languages with Magidor-Malitz Quantifiers

Morgenstern, Carl F.

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

Project Euclid
$R$-Maximal Boolean Algebras

Remmel, J. B.

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

Project Euclid
Algebraically Closed Groups of Large Cardinality

Shelah, Saharon ; Ziegler, Martin

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

Project Euclid
A New Omitting Types Theorem for $L(Q)$

Kaufmann, Matt

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

Project Euclid
On the Ultrafilter of Closed, Unbounded Sets

Martin, D. A. ; Mitchell, W.

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

Project Euclid
Modest Theory of Short Chains. II

Gurevich, Yuri ; Shelah, Saharon

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

Project Euclid
Modest Theory of Short Chains. I

Gurevich, Yuri

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

Project Euclid
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic

Addison, John ; Barwise, Jon ; Keisler, H. Jerome ; Kunen, Kenneth ; Moschovakis, Yiannis N.

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

Project Euclid
European Meeting of the Association for Symbolic Logic

Pacholski, Leszek

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

Project Euclid
A Transfer Principle in Harmonic Analysis

Takeuti, Gaisi

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

Project Euclid
Notes on the Stability of Separably Closed Fields

Wood, Carol

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

Project Euclid
A Combinatorial Property of the Homomorphism Relation between Countable Order Types

Landraitis, Charles

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

Project Euclid
Recursion Theory on Orderings. I. A Model Theoretic Setting

Metakides, G. ; Remmel, J. B.

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

Project Euclid
$\Sigma_1$-Separation

Abramson, Fred G.

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

Project Euclid
On Carnap and Popper Probability Functions

Leblanc, Hugues ; van Fraassen, Bas C.

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

Project Euclid
Logic in the Twenties: The Nature of the Quantifier

Goldfarb, Warren D.

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

Project Euclid
An Introduction to Forking

Lascar, Daniel ; Poizat, Bruno

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

Project Euclid
On Bar Recursion of Types 0 and 1

Schwichtenberg, Helmut

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

Project Euclid
Hanf Number of Omitting Type for Simple First-Order Theories

Shelah, Saharon

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

Project Euclid
Almost Disjoint Sets and Martin's Axiom

Wage, Michael L.

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

Project Euclid
A Complete, Decidable Theory with Two Decidable Models

Millar, Terrence S.

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

Project Euclid
Refinements of Vaught's Normal from Theorem

Harnik, Victor

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

Project Euclid
Notices

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

Project Euclid
Review: C. V. Negoita, D. A. Ralescu, Applications of Fuzzy Sets to Systems Analysis

Goguen, J. A.

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

Project Euclid
Review: J. Donald Monk, Mathematical Logic

Remmel, Jeffrey B.

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

Project Euclid
Review: Jane Bridge, Begining Model Theory. The Completeness Theorem and Some Consequences

Baldwin, John T.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jean-Francois Pabion, Logique Mathematique

Boffa, M.

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

Project Euclid
Review: Bangs L. Tapscott, Elementary Applied Symbolic Logic

Schagrin, Morton L.

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

Project Euclid
Review: Albert E. Blumberg, Alfred A. Knopf, Logic: A First Course

Cauman, Leigh S.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: David K. Lewis, Counterfactuals

Parry, William T.

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

Project Euclid
Review: I. Grattan-Guinness, Dear Russell-Dear Jourdain. A Commentary on Russell's Logic, Based on his Correspondence with Philip Jourdain; Bertrand Russell, I. Grattan-Guinness, On the Axioms of the Infinite and of the Transfinite

Kneebone, G. T.

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

Project Euclid
Review: Michael Dummett, Roberto Minio, Elements of Intuitionism

Goodman, Nicolas D.

Text on Project Euclid
PDF
Alt PDF
p. 276-277

Project Euclid
Review: A. S. Troelstra, Choice Sequences. A Chapter of Intuitionistic Mathematics

Vesley, Richard

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

Project Euclid
Review: L. E. J. Brouwer, L.E.J. Brouwer, Collected Works

Moschovakis, Joan Rand

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

Project Euclid
Another Algorithm for Bracket Abstraction

Turner, D. A.

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

Project Euclid
Ramsey Cardinals and Constructibility

Mitchell, William

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

Project Euclid
Recursion in a Quantifier vs. Elementary Induction

Kolaitis, Phokion G.

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

Project Euclid
Reducibilities in Two Models for Combinatory Logic

Sanchis, Luis E.

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

Project Euclid
On Uniqueness of Prime Models

Shelah, Saharon

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

Project Euclid
Reduction to First Degree in Quantificational S5

Carroll, Michael J.

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

Project Euclid
Failures of the Interpolation Lemma in Quantified Modal Logic

Fine, Kit

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

Project Euclid
On the Semantics of the Henkin Quantifier

Krynicki, Michal ; Lachlan, Alistair H.

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

Project Euclid
Sheaves and Boolean Valued Model Theory

Loullis, George

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

Project Euclid
Some Model Theory for Game Logics

Green, Judy

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

Project Euclid
The Relative Expressive Power of Some Logics Extending First-Order Logic

Cowles, John

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

Project Euclid
2nd Congress of the International Association for Semiotic Studies Vienna, July 2-6, 1979

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Informal Logic Newsletter

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Logic Colloquium '79 Leeds, August 5-14 1979

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Leonidas Hegenberg, Logica: Simbolizacao e Deducao

Jones, Gregory W.

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

Project Euclid
Review: Nancy D. Simco, Gene G. James, Elementary Logic

Butrick, Richard

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

Project Euclid
Review: Yiannis N. Moschovakis, Elementary Induction on Abstract Structures

Richter, Wayne

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

Project Euclid
Review: Zohar Manna, Mathematical Theory of Computation

Blikle, Andrzej

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

Project Euclid
Review: Thomas Cornides, Ordinale Deontik. Zusammenhange Zwischen Praferenztheorie, Normlogik und Rechtstheorie

Hilpinen, Risto

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

Project Euclid
Review: Christian Thiel, Frege und die moclerne

Schirn, Matthias

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

Project Euclid
[Omnibus Review]

Smorynski, C.

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

Project Euclid
An Undecidability Result for Relation Algebras

Schonfeld, Wolfgang

Text on Project Euclid
PDF
Alt PDF
p. 111-115

Project Euclid
Corrigendum: "Rings which Admit Elimination of Quantifiers"

Rose, Bruce I.

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

Project Euclid
The Measure Quantifier

Morgenstern, Carl F.

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

Project Euclid
HC of an Admissible Set

Friedman, Sy D.

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

Project Euclid
Algebraically Closed Commutative Local Rings

Podewski, K.-P. ; Reineke, Joachim

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

Project Euclid
Direct Product Decomposition of Theories of Modules

Garavaglia, Steven

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

Project Euclid
Theories with Recursive Models

Lerman, Manuel ; Schmerl, James H.

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

Project Euclid
Variations on $\Diamond$

Devlin, Keith J.

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

Project Euclid
The Relative Efficiency of Propositional Proof Systems

Cook, Stephen A. ; Reckhow, Robert A.

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

Project Euclid
Reflection Principles and Iterated Consistency Assertions

Boolos, George

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

Project Euclid
A Remark on Africk's Paper on Scott's Interpolation Theorem for $L_{\omega_1\omega}$

Motohashi, Nobuyoshi

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On Classes Closed Under Unions of Chains

Miller, Douglas E.

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

Project Euclid
$L_A(\Finv)$

Bruce, Kim ; Keisler, H. J.

Text on Project Euclid
PDF
Alt PDF
p. 15-28

Project Euclid
An Application of Invariant Sets to Global Definability

Miller, Douglas E.

Text on Project Euclid
PDF
Alt PDF
p. 9-14

Project Euclid
Canonical Modal Logics and Ultrafilter Extensions

Benthem, J. F. A. K. Van

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

Project Euclid