Sommaire

Notices

Text on Project Euclid
PDF
Alt PDF
p. 1543-1544

Project Euclid
Authors of Reviews

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Index of Reviews

Text on Project Euclid
PDF
Alt PDF
p. 1536-1541

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 1499-1535

Project Euclid
Fifth Southeastern Logic Symposium

Epstein, George

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Hans-Dieter Donder, Peter Koepke, On the Consistency Strength of `Accessible' Jonsson Cardinals and of the Weak Chang Conjecture; Peter Koepke, Some Applications of Short Core Models

Friedman, Sy D.

Text on Project Euclid
PDF
Alt PDF
p. 1496-1497

Project Euclid
Review: Bruno Poizat, Groupes Stables. Une Tentative de Conciliation Entre la Geometrie Algebrique et la Logique Mathematique

Loveys, James

Text on Project Euclid
PDF
Alt PDF
p. 1494-1496

Project Euclid
Review: Jean-Yves Girard, Proof Theory and Logical Complexity

Pfeifer, Helmut

Text on Project Euclid
PDF
Alt PDF
p. 1493-1494

Project Euclid
Review: Egon Borger, Dieter Rodding, Berechenbarkeit, Komplexitat, Logik. Eine Einfuhrung in Algorithmen, Sprachen und Kalkule unter Besonderer Berucksichtigung ihrer Komplexitat

Siefkes, Dirk

Text on Project Euclid
PDF
Alt PDF
p. 1490-1493

Project Euclid
Review: Johan van Benthem, A Manual of Intensional Logic

Bull, R. A.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jan Wolenski, The Low-Warsaw School of Philosophy

Bednarz, John

Text on Project Euclid
PDF
Alt PDF
p. 1487-1489

Project Euclid
Review: Uwe Meixner, Handlung, Zeit, Notwendigkeit. Eine Ontologisch-Semantische Untersuchung

Gardies, Jean-Louis

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Neil Tennant, Anti-realism and Logic. Truth as Eternal

Hart, W. D.

Text on Project Euclid
PDF
Alt PDF
p. 1485-1486

Project Euclid
Review: Hao Wang, Beyond Analytic Philosophy. Doing Justice to What we Know

Resnik, Michael D.

Text on Project Euclid
PDF
Alt PDF
p. 1484-1485

Project Euclid
Review: Hugues Leblanc, D. Gabbay, F. Guenthner, Alternatives to Standard first-order Semantics

Davies, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1483-1484

Project Euclid
Review: Lennart Aqvist, Deontic Logic

Makinson, David

Text on Project Euclid
PDF
Alt PDF
p. 1481-1483

Project Euclid
Review: David Harel, Dynamic Logic

Zuck, Lenore D.

Text on Project Euclid
PDF
Alt PDF
p. 1480-1481

Project Euclid
Review: Craig Smorynski, Modal Logic and Self-Reference

Visser, Albert

Text on Project Euclid
PDF
Alt PDF
p. 1479-1480

Project Euclid
Review: Donald Nute, Conditional Logic

Cross, Charles B.

Text on Project Euclid
PDF
Alt PDF
p. 1477-1479

Project Euclid
Review: Robert Bull, Krister Segerberg, D. Gabbay, F. Guenthner, Extensions of Classical Logic

Kuhn, Steven T.

Text on Project Euclid
PDF
Alt PDF
p. 1472-1477

Project Euclid
A General Treatment of Equivalent Modalities

Bellissima, Fabio ; Mirolli, Massimo

Text on Project Euclid
PDF
Alt PDF
p. 1460-1471

Project Euclid
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic

Friedman, Harvey ; Sheard, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1456-1459

Project Euclid
The Number of Pairwise Non-Elementary-Embeddable Models

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1431-1455

Project Euclid
Interpolation in Fragments of Intuitionistic Propositional Logic

de Lavalette, Gerard R. Renardel

Text on Project Euclid
PDF
Alt PDF
p. 1419-1430

Project Euclid
The Consistency Problem for Positive Comprehension Principles

Forti, M. ; Hinnion, R.

Text on Project Euclid
PDF
Alt PDF
p. 1401-1418

Project Euclid
Algorithmic Information Theory

van Lambalgen, Michiel

Text on Project Euclid
PDF
Alt PDF
p. 1389-1400

Project Euclid
Large Resplendent Models Generated by Indiscernibles

Schmerl, James H.

Text on Project Euclid
PDF
Alt PDF
p. 1382-1388

Project Euclid
The Classification of Excellent Classes

Grossberg, R. ; Hart, B.

Text on Project Euclid
PDF
Alt PDF
p. 1359-1381

Project Euclid
A Proof of Morley's Conjecture

Hart, Bradd

Text on Project Euclid
PDF
Alt PDF
p. 1346-1358

Project Euclid
Some Restrictions on Simple Fixed Points of the Integers

McColm, G. L.

Text on Project Euclid
PDF
Alt PDF
p. 1324-1345

Project Euclid
Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion

Jockusch, C. G. ; Lerman, M. ; Soare, R. I. ; Solovay, R. M.

Text on Project Euclid
PDF
Alt PDF
p. 1288-1323

Project Euclid
Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers

Richard, Denis

Text on Project Euclid
PDF
Alt PDF
p. 1253-1287

Project Euclid
The Formal Language of Recursion

Moschovakis, Yiannis N.

Text on Project Euclid
PDF
Alt PDF
p. 1216-1252

Project Euclid
Near-Equational and Equational Systems of Logic for Partial Functions. II

Craig, William

Text on Project Euclid
PDF
Alt PDF
p. 1181-1215

Project Euclid
Descriptive Set Theory Over Hyperfinite Sets

Keisler, H. Jerome ; Kunen, Kenneth ; Miller, Arnold ; Leth, Steven

Text on Project Euclid
PDF
Alt PDF
p. 1167-1180

Project Euclid
On Hyper-Torre Isols

Downey, Rod

Text on Project Euclid
PDF
Alt PDF
p. 1160-1166

Project Euclid
Coding Over a Measurable Cardinal

Friedman, Sy D.

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

Project Euclid
The Roots of Contemporary Platonism

Maddy, Penelope

Text on Project Euclid
PDF
Alt PDF
p. 1121-1144

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 1119-1120

Project Euclid
Review: Mike Prest, Model Theory and Modules

Kucera, T. G.

Text on Project Euclid
PDF
Alt PDF
p. 1115-1118

Project Euclid
Review: Ralph Freese, Ralph McKenzie, Commutator Theory for Congruence Modular Varieties

Valeriote, Matthew

Text on Project Euclid
PDF
Alt PDF
p. 1114-1115

Project Euclid
Review: J. Lambek, P. J. Scott, Introduction to Higher Order Categorical Logic

Bell, J. L.

Text on Project Euclid
PDF
Alt PDF
p. 1113-1114

Project Euclid
Review: T. Jech, Multiple Forcing

Foreman, Matthew

Text on Project Euclid
PDF
Alt PDF
p. 1112-1113

Project Euclid
Review: Peter Aczel, Jon Barwise, Non-Well-founded Sets

Boffa, M.

Text on Project Euclid
PDF
Alt PDF
p. 1111-1112

Project Euclid
[Omnibus Review]

Lubarsky, Robert

Text on Project Euclid
PDF
Alt PDF
p. 1109-1111

Project Euclid
Review: Judy Roitma, Height and Width of Superatomic Boolean Algebras; James E. Baumgartner, Saharon Shelah, Remarks on Superatomic Boolean Algebras

Weese, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1108-1109

Project Euclid
Review: Jan Krajicek, Pavel Pudlak, The Number of Proof Lines and the Size of Proofs in First Order Logic

Farmer, William M.

Text on Project Euclid
PDF
Alt PDF
p. 1107-1108

Project Euclid
Review: Uwe Schoning, Complexity and Structure

Mahaney, Stephen R.

Text on Project Euclid
PDF
Alt PDF
p. 1106-1107

Project Euclid
Review: G. Mirkowska, A. Salwicki, Algorithmic Logic

Engler, E.

Text on Project Euclid
PDF
Alt PDF
p. 1105-1106

Project Euclid
Review: Eric Livingston, The Ethnomethodological Foundations of Mathematics

Tymoczko, Thomas

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

Project Euclid
Review: Charles B. Daniels, James B. Freeman, Gerald W. Charlwood, Toward an Ontology of Number, Mind and Sign

Wetzel, Linda

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

Project Euclid
Review: Igal Kvart, A Theory of Counterfactuals

Jackson, Frank

Text on Project Euclid
PDF
Alt PDF
p. 1100-1102

Project Euclid
Review: S. G. Shanker, Wittgenstein and the Turing-Point in the Philosophy of Mathematics

Steiner, Mark

Text on Project Euclid
PDF
Alt PDF
p. 1098-1100

Project Euclid
Review: Hao Wang, Reflections on Kurt Godel

Hodes, Harold T.

Text on Project Euclid
PDF
Alt PDF
p. 1095-1098

Project Euclid
Review: Dirk van Dalen, Algorithms and Decision Problems: a Crash Course in Recursion Theory

Crossley, John N.

Text on Project Euclid
PDF
Alt PDF
p. 1094-1095

Project Euclid
Review: Allen Hazen, Predicative Logics

Kreisel, G.

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

Project Euclid
Review: Johan van Benthem, Kees Doets, Higher-order Logic

Bruce, Kim

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

Project Euclid
Review: Wilfrid Hodges, D. Gabbay, F. Guenthner, Elementary Predicate Logic

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF
p. 1089-1090

Project Euclid
Time Polynomial in Input or Output

Gurevich, Yuri ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1083-1088

Project Euclid
Groups of Finite Morley Rank with Transitive Group Automorphisms

Nesin, Ali

Text on Project Euclid
PDF
Alt PDF
p. 1080-1082

Project Euclid
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations

Krajicek, Jan ; Pudlak, Pavel

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

Project Euclid
A First Approach to Abstract Modal Logics

Font, Josep M. ; Verdu, Ventura

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

Project Euclid
Creativeness and Completeness in Recursion Categories of Partial Recursive Operators

Montagna, Franco ; Sorbi, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 1023-1041

Project Euclid
Finite Axiomatizability for Equational Theories of Computable Groupoids

Perkins, Peter

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

Project Euclid
Digital Simulation of Analog Computation and Church's Thesis

Rubel, Lee A.

Text on Project Euclid
PDF
Alt PDF
p. 1011-1017

Project Euclid
A Note on Direct Sums of Friedbergnumberings

Kummer, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1009-1010

Project Euclid
Nonstandard Set Theory

Fletcher, Peter

Text on Project Euclid
PDF
Alt PDF
p. 1000-1008

Project Euclid
A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness

Sambin, G. ; Vaccaro, V.

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

Project Euclid
On the Ranked Points of A $\Pi^0_1$ Set

Cenzer, Douglas ; Smith, Rick L.

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

Project Euclid
Nonfinite Axiomatizability Results for Cylindric and Relation Algebras

Maddux, Roger D.

Text on Project Euclid
PDF
Alt PDF
p. 951-974

Project Euclid
Decision Problems for Differential Equations

Denef, J. ; Lipshitz, L.

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

Project Euclid
A Note on the Multiplicative Semigroup of Models of Peano Arithmetic

Kossak, Roman ; Nadel, Mark ; Schmerl, James

Text on Project Euclid
PDF
Alt PDF
p. 936-940

Project Euclid
Definable Equivalence Relations on Algebraically Closed Fields

Dries, Lou Van Den ; Marker, David ; Martin, Gary

Text on Project Euclid
PDF
Alt PDF
p. 928-935

Project Euclid
Non $\sum_n$ Axiomatizable Almost Strongly Minimal Theories

Marker, David

Text on Project Euclid
PDF
Alt PDF
p. 921-927

Project Euclid
$\Pi^1_1$ Borel Sets

Kechris, Alexander S. ; Marker, David ; Sami, Ramez L.

Text on Project Euclid
PDF
Alt PDF
p. 915-920

Project Euclid
A Borel Reducibility Theory for Classes of Countable Structures

Friedman, Harvey ; Stanley, Lee

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

Project Euclid
Diverse Classes

Baldwin, John T.

Text on Project Euclid
PDF
Alt PDF
p. 875-893

Project Euclid
Two Results on Borel Orders

Louveau, Alain

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

Project Euclid
A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types

Pillay, A.

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

Project Euclid
Generix Strikes Again

Poizat, Bruno

Text on Project Euclid
PDF
Alt PDF
p. 847-857

Project Euclid
Isols and the Pigeonhole Principle

Dekker, J. C. E. ; Ellentuck, E.

Text on Project Euclid
PDF
Alt PDF
p. 833-846

Project Euclid
On the Cofinality of the Smallest Covering of the Real Line by Meager Sets

Bartoszynski, Tomek ; Ihoda, Jaime I.

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

Project Euclid
Near-Equational and Equational Systems of Logic for Partial Functions. I

Craig, William

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

Project Euclid
Extensions of Arithmetic For Proving Termination of Computations

Kent, Clement F. ; Hodgson, Bernard R.

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

Project Euclid
Nonabsoluteness of Elementary Embeddings

Wehrung, Friedrich

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

Project Euclid
Bad Groups of Finite Morley Rank

Corredor, Luis Jaime

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

Project Euclid
A Cardinality Version of Biegel's Nonspeedup Theorem

Owings, James C.

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

Project Euclid
Lattice Embeddings into the Recursively Enumerable Degrees. II

Ambos-Spies, K. ; Lerman, M.

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

Project Euclid
The $\sum^1_2$ Theory of Axioms of Symmetry

Weitkamp, Galen

Text on Project Euclid
PDF
Alt PDF
p. 727-734

Project Euclid
The Cofinality of Cardinal Invariants Related to Measure and Category

Bartoszynski, Tomek ; Ihoda, Jaime I. ; Shelah, Saharon

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

Project Euclid
Saturating Ultrafilters on N

Fremlin, D. H. ; Nyikos, P. J.

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

Project Euclid
On Generic Elementary Embeddings

Gitik, Moti

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

Project Euclid
An Independence Result in Quadratic Form Theory: Infinitary Combinatorics Applied to $\varepsilon$-Hermitian Spaces

Appenzeller, Fred

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

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 687-688

Project Euclid
Algebraic Logic Conference

Andreka, H. ; Ferenczi, M. ; Nemeti, I. ; Sereny, Gy.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
The Third Asian Conference in Mathematical Logic

Dongping, Yang

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

Project Euclid
European Summer Meeting of the Association for Symbolic Logic

Ebbinghaus, H.-D. ; Fernandez-Prida, J. ; Garrido, M. ; Lascar, D. ; Artalejo, M. Rodriguez

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

Project Euclid
[Omnibus Review]

Stanley, Lee

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

Project Euclid
Review: Stevo Todorcevic, Trees, Subtrees and Order Types; Stevo Todorcevic, Aronszajn Trees and Partitions

Velleman, Dan

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

Project Euclid
[Omnibus Review]

Dow, Alan

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

Project Euclid
Review: Saharon Shelah, Can You Take Solovay's Inaccessible Away?; Jean Raisonnier, A Mathematical Proof of S. Shelah's Theorem on the Measure Problem and Related Results

Miller, Arnold W.

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

Project Euclid
Review: Albert E. Hurd, Peter A. Loeb, An Introduction to Nonstandard Real Analysis; K. D. Stroyan, W. A. J. Luxemburg, Introduction to the Theory of Infinitesimals

Hoover, D. N.

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

Project Euclid
Review: Jouko Vaananen, A Hierarchy Theorem for Lindstrom Quantifiers

Oikkonen, Juha

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Dag Westerstahl, On the Order Between Quantifiers

Oikkonen, Juha

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Stig Kanger, Unavoidability

Oikkonen, Juha

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Herbert Hochberg, Some Paradoxes of Prediction, Identity and Quantification

Oikkonen, Juha

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jan Berg, A Logic of Terms with an Existence Operator

Oikkonen, Juha

Text on Project Euclid
PDF
Alt PDF
p. 630-631

Project Euclid
Review: Christian Bennet, Mats Furberg, Thomas Wetterstrom, Claes Aberg, On a Problem by D. Guaspari

Oikkonen, Juha

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Peter Sells, Lectures on Contemporary Syntactic Theories: An Introduction to Government- Binding Theory, Generalized Phrase Structure Grammar, and Lexical- Functional Grammar

Jacobson, Pauline

Text on Project Euclid
PDF
Alt PDF
p. 628-630

Project Euclid
Review: Barry E. Jacobs, Applied Database Logic I: Fundamental Database Issues

Barwise, Jon

Text on Project Euclid
PDF
Alt PDF
p. 627-628

Project Euclid
Review: Gregory J. Chaitin, Algorithmic Information Theory

Gacs, Peter

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

Project Euclid
Review: K. Wagner, G. Wechsung, Computational Complexity

van Emde Boas, Peter

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

Project Euclid
Review: Wolfgang Schuler, Grundlegungen der Mathematik in Transzendentaler Kritik. Frege und Hilbert

Schroeder-Heister, Peter

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Michael Detlefsen, Hilbert's Program. An Essay on Mathematical Instrumentalism

Auerbach, David D.

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

Project Euclid
Review: Desmond MacHale, George Boole. His Life and Work

Putnam, Vickie

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

Project Euclid
Review: Elliott Mendelson, Introduction to Mathematical Logic

Corcoran, John ; Park, Woosuk

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

Project Euclid
Review: William J. Rapaport, Logical Foundations for Belief Representation

Israel, David

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

Project Euclid
Review: George Boolos, To Be is to be a Value of a Variable (or to be Some Values of Some Variables); George Boolos, Nominalist Platonism

Burgess, John P.

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

Project Euclid
Review: J. Michael Dunn, Relevant Predication 1: The Formal Theory

Urquhart, Alasdair

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

Project Euclid
Slow Growing Versus Fast Growing

Wainer, S. S.

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

Project Euclid
On Adding $(\xi)$ to Weak Equality in Combinatory Logic

Bunder, Martin W. ; Hindley, J. Roger ; Seldin, Jonathan P.

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

Project Euclid
On Recursion Theory in $I\sum_1$

Hajek, Petr ; Kucera, Antonin

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

Project Euclid
On Ideals and Stationary Reflection

Johnson, C. A.

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

Project Euclid
Recursively Enumerable $m$- and tt-Degrees. I: The Quantity of $m$- Degrees

Downey, R. G.

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

Project Euclid
Regressive Partitions and Borel Diagonalization

Kanamori, Akihiro

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

Project Euclid
The Strong Anticupping Property for Recursively Enumerable Degrees

Cooper, S. B.

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

Project Euclid
Two Recursion Theoretic Characterizations of Proof Speed-Ups

Royer, James S.

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

Project Euclid
An Expansion of $\tilde{\mathbf{F}}_p$

Chatzidakis, Zoe

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

Project Euclid
Inclusions et Produits de Groupes Abeliens Ordonnes Etudies au Premier Ordre

Delon, Francoise ; Lucas, Francois

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

Project Euclid
Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound

Lubarsky, Robert S.

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

Project Euclid
Higher Order Reflection Principles

R., M. Victoria Marshall

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

Project Euclid
An Ideal Characterization of Mahlo Cardinals

Feng, Qi

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

Project Euclid
Random Models and the Maslov Class

Goldfarb, Warren

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

Project Euclid
Uniformization Principles

Mekler, Alan H. ; Shelah, Saharon

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

Project Euclid
Definability Via Enumerations

Soskov, Ivan N.

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

Project Euclid
Undecidable Complexity Statements in $E^\alpha_\mathbf{S}$-Arithmetic

Sigal, Ron

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

Project Euclid
The Undecidability of the $\mathrm{D}_\mathrm{A}$-Unification Problem

Siekmann, J. ; Szabo, P.

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

Project Euclid
Partially Ordered Sets and the Independence Property

Schmerl, James H.

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

Project Euclid
A Limit on Relative Genericity in the Recursively Enumerable Sets

Lempp, Steffen ; Slaman, Theodore A.

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

Project Euclid
The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras

Clark, David M.

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

Project Euclid
Equational Logic of Partial Functions Under Kleene Equality: A Complete and an Incomplete Set of Rules

Robinson, Anthony

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

Project Euclid
A Jump Class of Noncappable Degrees

Cooper, S. B.

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

Project Euclid
On the Strength of the Interpretation Method

Gurevich, Yuri ; Shelah, Saharon

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

Project Euclid
Notices

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

Project Euclid
Review: John R. Searle, Daniel Vanderveken, Foundations of Illocutionary Logic

Sadock, Jerrold M.

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

Project Euclid
Review: Ilkka Niiniluoto, Truthlikeness

Pearce, David

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

Project Euclid
Review: Graham Oddie, Likeness to Truth

Niiniluoto, Ilkka

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

Project Euclid
Review: Richard Routley, Val Plumwood, Robert K. Meyer, Ross T. Brady, Relevant Logics and their Rivals. Part I. The Basic Philosophical and Semantical Theory

Cohen, Daniel H.

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

Project Euclid
Review: Stewart Shapiro, Second-Order Languages and Mathematical Practice

Hellman, Geoffrey

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

Project Euclid
Review: Nigel J. Cutland, Nonstandard Measure Theory and its Applications

Hirschfeld, Joram

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

Project Euclid
Review: P. T. Johnstone, Notes on Logic and Set Theory

Malitz, Jerome I.

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

Project Euclid
Review: Jean H. Gallier, Logic for Computer Science. Foundations of Automatic Theorem Proving

Pfenning, Frank

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

Project Euclid
Review: Neil Immerman, Upper and Lower Bounds for First Order Expressibility; Neil Immerman, Relational Queries Computable in Polynomial Time; Neil Immerman, Languages that Capture Complexity Classes

Buss, Samuel

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

Project Euclid
Review: , Modeles non Standard en Arithmetique et theorie des Ensembles; A. J. Wilkie, Modeles non Standard de L'Arithmetique, et Complexite Algorithmique; J.-P. Ressayre, Modeles non Standard et Sous-Systemes Remarquables de ZF

Clote, Peter

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

Project Euclid
Review: Paul Weingartner, Leopold Schmetterer, Godel Remembered, Salzburg 10-12 July 1983

Dawson., John W.

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

Project Euclid
Review: Alfred Tarski, J. H. Woodger, John Corcoran, Logic, Semantics, Metamathematics, Papers from 1923 to 1938

Grattan-Guinness, I.

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

Project Euclid
Compact and Majorizable Functionals of Finite Type

Bezem, Marc

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

Project Euclid
Finite Extensions and the Number of Countable Models

Millar, Terrence

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

Project Euclid
Herbrand-Analysen Zweier Beweise Des Satzes von Roth: Polynomiale Anzahlschranken

Luckhardt, H.

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

Project Euclid
Positive $\Sigma$ Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals

Jech, Thomas

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

Project Euclid
Finitely Based Theories

Hrushovski, Ehud

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

Project Euclid
Kueker's Conjecture for Stable Theories

Hrushovski, Ehud

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

Project Euclid
Sequential Theories and Infinite Distributivity in the Lattice of Chapters

Stern, Alan S.

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

Project Euclid
Models with the $\omega$-Property

Kossak, Roman

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

Project Euclid
Complementation in the Turing Degrees

Slaman, Theodore A. ; Steel, John R.

Text on Project Euclid
PDF
Alt PDF
p. 160-176

Project Euclid
Classification and Interpretation

Baudisch, Andreas

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

Project Euclid
Models with Second Order Properties in Successors of Singulars

Grossberg, Rami

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

Project Euclid
Generalizations of the One-Dimensional Version of the Kruskal-Friedman Theorems

Gordeev, L.

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

Project Euclid
Subgroups of Small Index in Infinite Symmetric Groups. II

Shelah, Saharon ; Thomas, Simon

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

Project Euclid
Martin's Axioms, Measurability and Equiconsistency Results

Ihoda, Jaime I. ; Shelah, Saharon

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

Project Euclid
Intensional Logic and Two-Sorted Type Theory

Zimmermann, Thomas Ede

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

Project Euclid
A Construction of Non-Well-Founded Sets within Martin-Lof's Type Theory

Lindstrom, Ingrid

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

Project Euclid
Consistency Results About Filters and the Number of Inequivalent Growth Types

Blass, Andreas ; Laflamme, Claude

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

Project Euclid
Finite Injury and $\sum_1$-Induction

Mytilinaios, Michael

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

Project Euclid
Patching Ideal Families and Enforcing Reflection

Leary, Christopher C.

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

Project Euclid
Abstract Hierarchies and Degrees

Ivanov, Ljubomir L.

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

Project Euclid
Ultrafilters of Character $\omega_1$

Hart, Klaas Pieter

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

Project Euclid