Sommaire

Notices

Text on Project Euclid
PDF
Alt PDF
p. 1143-1145

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 1104-1142

Project Euclid
Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985

Carnielli, Walter

Text on Project Euclid
PDF
Alt PDF
p. 1093-1103

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

Davis, Martin ; Lopez-Escobar, Edgar E. K. ; Sieg, Wilfred

Text on Project Euclid
PDF
Alt PDF
p. 1085-1092

Project Euclid
Review: Jeffrey D. Ullman, Principles of Database Systems; David Maier, The Theory of Relational Databases; Ashok K. Chandra, David Harel, Computable Queries for Relational Data Bases

Makowsky, J. A.

Text on Project Euclid
PDF
Alt PDF
p. 1079-1084

Project Euclid
Review: Melvin Fitting, Fundamentals of Generalized Recursion Theory

Hinman, Peter G.

Text on Project Euclid
PDF
Alt PDF
p. 1078-1079

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

Scott, Philip J.

Text on Project Euclid
PDF
Alt PDF
p. 1077-1078

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

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF
p. 1076-1077

Project Euclid
Review: Per Martin-Lof, Intuitionistic Type Theory

Howard, W. A.

Text on Project Euclid
PDF
Alt PDF
p. 1075-1076

Project Euclid
Review: Wolfram Schwabhauser, Wanda Szmielew, Alfred Tarski, Ein Axiomatischer Aufbau der Euklidischen Geometrie; Wolfram Schwabhauser, Metamathematische Betrachtungen

Moszynska, Maria

Text on Project Euclid
PDF
Alt PDF
p. 1073-1075

Project Euclid
Review: G. S. Makanin, Equations in a Free Group

Britton, J. L.

Text on Project Euclid
PDF
Alt PDF
p. 1071-1073

Project Euclid
Review: G. S. Makanin, The Problem of Solvability of Equations in a Free Semigroup

Britton, J. L.

Text on Project Euclid
PDF
Alt PDF
p. 1070-1071

Project Euclid
[Omnibus Review]

Felgner, Ulrich

Text on Project Euclid
PDF
Alt PDF
p. 1068-1070

Project Euclid
Review: Robert M. Solovay, William N. Reinhardt, Akihiro Kanamori, Strong Axioms of Infinity and Elementary Embeddings; Menachem Magidor, How Large is the First Strongly Compact Cardinal? or A study on Identity Crises

Prisco, Carlos Augusto Di

Text on Project Euclid
PDF
Alt PDF
p. 1066-1068

Project Euclid
Review: J. B. Paris, L. Pacholski, J. Wierzejewski, A. J. Wilkie, A Hierarchy of Cuts in Models of Arithmetic; George Mills, A Tree Analysis of Unprovable Combinatorial Statements; Jussi Ketonen, Robert Solovay, Rapidly Growing Ramsey Functions

Wilkie, A. J.

Text on Project Euclid
PDF
Alt PDF
p. 1062-1066

Project Euclid
Review: Theodore Baker, John Gill, Robert Solovay, Relativizations of the $\mathscr{P} = ?\mathscr{N} \mathscr{P}$ question; Charles H. Bennett, John Gill, Relative to a Random Oracle $A, P^a \neq NP^A \neq co-NP^A$ with Probability 1

Immerman, Neil

Text on Project Euclid
PDF
Alt PDF
p. 1061-1062

Project Euclid
On a Combinatorial Principle of Hajnal and Komjath

Velleman, Dan

Text on Project Euclid
PDF
Alt PDF
p. 1056-1060

Project Euclid
Bad Models in Nice Neighborhoods

Millar, Terry

Text on Project Euclid
PDF
Alt PDF
p. 1043-1055

Project Euclid
Degrees Coded in Jumps of Orderings

Knight, Julia F.

Text on Project Euclid
PDF
Alt PDF
p. 1034-1042

Project Euclid
The Weak $\square^\ast$ is Really Weaker than the Full $\square$

Ben-David, Shai ; Magidor, Menachem

Text on Project Euclid
PDF
Alt PDF
p. 1029-1033

Project Euclid
Preservation Theorem and Relativization Theorem For Cofinal Extensions

Motohashi, Nobuyoshi

Text on Project Euclid
PDF
Alt PDF
p. 1022-1028

Project Euclid
Conservative Extensions of Models of Set Theory and Generalizations

Enayat, Ali

Text on Project Euclid
PDF
Alt PDF
p. 1005-1021

Project Euclid
Axioms for the Set-Theoretic Hierarchy

Aken, James Van

Text on Project Euclid
PDF
Alt PDF
p. 992-1004

Project Euclid
Transfer Principles for Pseudo Real Closed $e$-Fold Ordered Fields

Basarab, Serban A.

Text on Project Euclid
PDF
Alt PDF
p. 981-991

Project Euclid
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics

Weaver, George ; Welaish, Jeffrey

Text on Project Euclid
PDF
Alt PDF
p. 969-980

Project Euclid
Why Solovay Real Produces Cohen Real

Pawlikowski, Janusz

Text on Project Euclid
PDF
Alt PDF
p. 957-968

Project Euclid
Sur La Theorie Elementaire Des Corps De Fonctions

Duret, Jean-Louis

Text on Project Euclid
PDF
Alt PDF
p. 948-956

Project Euclid
A Boundedness Theorem In $mathrm{ID}_1 (W)$

Jager, Gerhard

Text on Project Euclid
PDF
Alt PDF
p. 942-947

Project Euclid
Bibliography of Alfred Tarski

Givant, Steven

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

Project Euclid
Tarski and Geometry

Szczerba, L. W.

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

Project Euclid
The Contributions of Alfred Tarski to Algebraic Logic

Monk, J. Donald

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

Project Euclid
Alfred Tarski and Undecidable Theories

McNulty, George F.

Text on Project Euclid
PDF
Alt PDF
p. 890-898

Project Euclid
The Contributions of Alfred Tarski to General Algebra

Jonsson, Bjarni

Text on Project Euclid
PDF
Alt PDF
p. 883-889

Project Euclid
Alfred Tarski's Work in Model Theory

Vaught, Robert L.

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

Project Euclid
Alfred Tarski

Hodges, Wilfrid

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

Project Euclid
Notices

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

Project Euclid
Meeting of the Association for Symbolic Logic: Stanford, California, 1985

Barwise, Jon ; Feferman, Solomon ; Israel, David

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

Project Euclid
Review: Abram Aronovich Stolyar, Elliott Mendelson, Introduction to Elementary Mathematical Logic

Resek, Diane

Text on Project Euclid
PDF
Alt PDF
p. 830-831

Project Euclid
Review: Yu. I. Manin, A Course in Mathematical Logic

Boolos, George

Text on Project Euclid
PDF
Alt PDF
p. 829-830

Project Euclid
Review: Yu. L. Ershov, E. A. Palyutin, Mathematical Logic

Mendelson, Elliott

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: U. L. Ersov, E. A. Palutin, Mathematical Logic

Minc, G.

Text on Project Euclid
PDF
Alt PDF
p. 827-829

Project Euclid
Review: Ermanno Bencivenga, Il Primo Libro di Logica. Introduzione ai Metodi Della Logica Contemporanea

Previale, Flavio

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Dirk van Dalen, Logic and Structure; Dirk van Dalen, Logic and Structure

Fitting, Melvin

Text on Project Euclid
PDF
Alt PDF
p. 826-827

Project Euclid
Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic

Benthem, Johan Van

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

Project Euclid
Review: Dov M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic

Veldman, Wim

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: H. Jerome Keisler, An Infinitesimal Approach to Stochastic Analysis

Fenstad, Jens Erik

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

Project Euclid
Review: Leonard Linsky, Oblique Contexts

Tienson, John

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

Project Euclid
Review: Saul A. Kripke, Wittgenstein on Rules and Private Language. An Elementary Exposition

Deutsch, Harry

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

Project Euclid
Review: Anna R. Bruss, Albert R. Meyer, On Time-Space Classes and their Relation to the Theory of Real Addition; Leonard Berman, The Complexity of Logical Theories; Hugo Volger, Turing Machines with Linear Alternation, Theories of Bounded Concatenation

Rackoff, Charles

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

Project Euclid
A L'Ouest D'Eden

Poizat, Bruno

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

Project Euclid
Inverse Topological Systems and Compactness in Abstract Model Theory

Mundici, Daniele

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

Project Euclid
A Simple Solution to Friedman's Fourth Problem

Caicedo, Xavier

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

Project Euclid
The Degrees Below A 1-Generic Degree $< 0'$

Haught, Christine Ann

Text on Project Euclid
PDF
Alt PDF
p. 770-777

Project Euclid
Stability Theory for Topological Logic, with Applications to Topological Modules

Kucera, T. G.

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

Project Euclid
Some Properties of Epistemic Set Theory with Collection

Scedrov, Andre

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

Project Euclid
Some Elementary Degree-Theoretic Reasons Why Structures Need Similarity Types

McLaughlin, T. G.

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

Project Euclid
Small Decidable Sheaves

Blass, Andreas ; Scedrov, Andre

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

Project Euclid
The Independence Relation in Separably Closed Fields

Srour, G.

Text on Project Euclid
PDF
Alt PDF
p. 715-725

Project Euclid
Some Remarks on Definable Equivalence Relations in O-Minimal Structures

Pillay, Anand

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

Project Euclid
Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property

Barbanel, Julius B.

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

Project Euclid
Taking Out $LK$ Parts from a Proof in Peano Arithmetic

Yukami, Tsuyoshi

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

Project Euclid
The Truth is Never Simple

Burgess, John P.

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

Project Euclid
On Precipitousness of the Nonstationary Ideal Over a Supercompact

Gitik, Moti

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

Project Euclid
On the Proof Theory of the Intermediate Logic MH

Seldin, Jonathan P.

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

Project Euclid
Distributive Ideals and Partition Relations

Johnson, C. A.

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

Project Euclid
$P_\kappa\lambda$ Combinatorics II: The RK Ordering Beneath a Supercompact Measure

Zwicker, William S.

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

Project Euclid
Large Cardinal Structures Below $\aleph_\omega$

Apter, Arthur W. ; Henle, James M.

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

Project Euclid
Completeness Theorem for Biprobability Models

Raskovic, Miodrag D.

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

Project Euclid
Attention a la Marche!

Poizat, Bruno

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

Project Euclid
On Ideals of Subsets of the Plane and on Cohen Reals

Cichon, Jacek ; Pawlikowski, Janusz

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

Project Euclid
Between Strong and Superstrong

Baldwin, Stewart

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

Project Euclid
Small Filter Forcing

Canjar, R. Michael

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

Project Euclid
A Saturation Property of Ideals and Weakly Compact Cardinals

Takahashi, Joji

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

Project Euclid
Notices

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

Project Euclid
Meeting of the Association for Symbolic Logic: Chicago, 1985

Blass, Andreas ; Hay, Louise ; Hinman, Peter G.

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

Project Euclid
Meeting of the Association for Symbolic Logic: Sydney, 1984

Staines, Phillip J.

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

Project Euclid
European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984

Aczel, P. ; Paris, J. B. ; Wilkie, A. J. ; Wilmers, G. M. ; Yates, C. E. M.

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

Project Euclid
[Omnibus Review]

Davis, Martin

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

Project Euclid
Review: Krister Segerberg, The Logic of Deliberate Action

Chellas, Brian F.

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

Project Euclid
Review: William Kneale, Martha Kneale, The Development of Logic

Mates, Benson

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Judson Chambers Webb, Mechanism, Mentalism, and Metamathematics. An Essay on Finitism

Shapiro, Stewart

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

Project Euclid
Review: Jon Barwise, John Perry, Situations and Attitudes

Cocchiarella, Nino B.

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

Project Euclid
Review: William S. Hatcher, The Logical Foundations of Mathematics; William S. Hatcher, Foundations of Mathematics; William Hatcher's, Logical Foundations of Mathematics

Kroon, Frederick W.

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

Project Euclid
Review: Anand Pillay, An Introduction to Stability Theory

Makkai, Michael

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

Project Euclid
Review: Larry Wos, Ross Overbeek, Ewing Lusk, Jim Boyle, Automated Reasoning. Introduction and Applications

Beeson, Michael J.

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

Project Euclid
Review: Kenneth Kunen, Set Theory. An Introduction to Independence Proofs

Baumgartner, James E.

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

Project Euclid
$\sum_1$ Definitions with Parameters

Slaman, T. A.

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

Project Euclid
An Interpolation Theorem in Many-Valued Logic

Hanazawa, Masazumi ; Takano, Mitio

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

Project Euclid
The Inclusion-Exclusion Principle for Finitely Many Isolated Sets

Dekker, J. C. E.

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

Project Euclid
Recursive Categoricity and Persistence

Millar, Terrence

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

Project Euclid
$\omega_1$-Like Recursively Saturated Models of Presburger's Arithmetic

Harnik, Victor

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

Project Euclid
Prime Models and Almost Decidability

Millar, Terrence

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

Project Euclid
Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes

Gilmore, Paul C.

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

Project Euclid
Flagg Realizability in Arithmetic

Goodman, Nicolas D.

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

Project Euclid
On the Strength of Nonstandard Analysis

Henson, C. Ward ; Keisler, H. Jerome

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

Project Euclid
Theories with Finitely Many Models

Thomas, Simon

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

Project Euclid
On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic

Cantini, Andrea

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

Project Euclid
On the Kleene Degrees of $\Pi^1_1$ Sets

Slaman, Theodore A.

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

Project Euclid
Periodicite Des Theories Elementaires Des Corps De Series Formelles Iterees

Delon, Francoise

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

Project Euclid
Replacement and Collection: A Correction

Goodman, Nicolas D.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Finest Partitions for Ultrafilters

Kanamori, Akihiro

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

Project Euclid
Maximal Chains in the Fundamental Order

Buechler, Steven

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

Project Euclid
On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property. Part A

Grossberg, Rami ; Shelah, Saharon

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

Project Euclid
Combinatorial and Recursive Aspects of the Automorphism Group of the Countable Atomless Boolean Algebra

Madison, E. W. ; Zimmermann-Huisgen, B.

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

Project Euclid
A Generalization of the Limit Lemma and Clopen Games

Clote, Peter

Text on Project Euclid
PDF
Alt PDF
p. 273-291

Project Euclid
Lattice Embeddings into the Recursively Enumerable Degrees

Ambos-Spies, K. ; Lerman, M.

Text on Project Euclid
PDF
Alt PDF
p. 257-272

Project Euclid
Notices

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

Project Euclid
Review: V. A. Uspensky, R. Alavina, Post's Machine; Emil L. Post, Finite Combinatory Processes--Formulation I

Robinson, T. Thacher

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

Project Euclid
Review: Donald Nute, Essential Formal Semantics

Ulrich, Dolph

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

Project Euclid
Review: Karel Lambert, Meinong and the Principle of Independence. Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical Logic

Rapaport, William J.

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

Project Euclid
Review: Edward N. Zalta, Abstract Objects. An Introduction to Axiomatic Metaphysics

Byrd, Michael

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

Project Euclid
Review: Peter Aczel, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Frege Structures and the Notions of Proposition, Truth and Set

Hatcher, William S.

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

Project Euclid
Review: Esa Saarinen, Game-theoretical Sematics

Higginbotham, James

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

Project Euclid
Review: Noam Chomsky, Lectures on Government and Binding. The Pisa Lectures; Noam Chomsky, Lectures on Government and Binding. The Pisa Lectures

McCloskey, James

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

Project Euclid
[Omnibus Review]

Cherlin, Gregory

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

Project Euclid
Review: Daniel Lascar, Bruno Poizat, An Introduction to Forking

Cherlin, Gregory

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

Project Euclid
Review: Saharon Shelah, There are Just Four Second-Order Quantifiers

Baldwin, John T.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: David W. Kueker, Lowenheim-Skolem and Interpolation Theorems in Infinitary Languages; K. Jon Barwise, Mostowski's Collapsing Function and the Closed Unbounded Filter; David W. Kueker, Countable Approximations and Lowenheim-Skolem Theorems

Harnik, Victor

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

Project Euclid
[Omnibus Review]

Kierstead, Henry A.

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

Project Euclid
Review: J. A. Robinson, Logic: Form and Function. The Mechanization of Deductive Reasoning

Halpern, J. D.

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

Project Euclid
[Omnibus Review]

Goldblatt, Robert

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

Project Euclid
Saturation of Homogeneous Resplendent Models

Knight, Julia F.

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

Project Euclid
Pragmatic Truth and Approximation to Truth

Mikenberg, Irene ; Costa, Newton C. A. Da ; Chuaqui, Rolando

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

Project Euclid
Axioms of Symmetry: Throwing Darts at the Real Number Line

Freiling, Chris

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

Project Euclid
On the Intersection of Closed Unbounded Sets

Abraham, U. ; Shelah, S.

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

Project Euclid
Intuitionistic Tense and Modal Logic

Ewald, W. B.

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

Project Euclid
Finitely Generated Free Heyting Algebras

Bellissima, Fabio

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

Project Euclid
Stationary Reflection for Uncountable Cofinality

Komjath, Peter

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

Project Euclid
Elementary Equivalence of $C_\sigma(K)$ Spaces for Totally Disconnected, Compact Hausdorff $K$

Heinrich, S. ; Henson, C. Ward ; Moore, L. C.

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

Project Euclid
The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees

Welch, Philip

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

Project Euclid
Pairs Without Infimum in the Recursively Enumerable Weak Truth Table Degrees

Fischer, Paul

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

Project Euclid
The Index Set $\{e: W_e \equiv_1 X\}$

Herrmann, E.

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

Project Euclid
Splitting Properties of R. E. Sets and Degrees

Downey, R. G. ; Welch, L. V.

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

Project Euclid
Decision Problems Concerning Properties of Finite Sets of Equations

Kalfa, Cornelia

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

Project Euclid
Tarski's Problem for Varieties of Groups with a Commutator Identity

Lawrence, John

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

Project Euclid
Omitting Types in $\mathscr{O}$-Minimal Theories

Marker, David

Text on Project Euclid
PDF
Alt PDF
p. 63-74

Project Euclid
Locally Finite Theories

Mycielski, Jan

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

Project Euclid
Jensen's $\square$ Principles and the Novak Number of Partially Ordered Sets

Velickovic, Boban

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

Project Euclid
$0^\sharp$ and Some Forcing Principles

Foreman, Matthew ; Magidor, Menachem ; Shelah, Saharon

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

Project Euclid
Weak Partition Relations and Measurability

Spector, Mitchell

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

Project Euclid
$\mathscr{L} = \mathscr{N} \mathscr{L}$?

Poizat, Bruno

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

Project Euclid
Partitions and Filters

Matet, P.

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

Project Euclid
Recursion in Kolmogorov's $R$-Operator and the Ordinal $\sigma_3$

John, Thomas

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

Project Euclid