Sommaire

Notices

Text on Project Euclid
PDF
Alt PDF
p. 1151-1152

Project Euclid
European Summer Meeting of the Association for Symbolic Logic, Helsinki, 1990

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

Project Euclid
1990 Annual Meeting of the Australasian Association for Logic, Sydney, 1990

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

Project Euclid
Review: Nino B. Cocchiarella, Logical Studies in Early Analytic Philosophy

Levin, Harold

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

Project Euclid
Review: Brian McGuinness, Wittgenstein: A Life. Young Ludwig 1889-1921

Mora, Jose Ferrater

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

Project Euclid
Review: Laurence R. Horn, A Natural History of Negation

Barwise, Jon

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

Project Euclid
Review: Bernt P. Stigum, Toward a Formal Science of Economics. The Axiomatic Method in Economics and Econometrics

Booth, David

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

Project Euclid
Review: Steven Vickers, Topology via Logic

Johnstone, P. T.

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

Project Euclid
Review: Donna M. Carr, Donald H. Pelletier, J. Steprans, S. Watson, Towards a Structure Theory for Ideals on $P_\kappa\lambda$; William S. Zwicker, A Beginning for Structural Properties of Ideals on $P_\kappa\lambda$

Taylor, Alan D.

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

Project Euclid
[Omnibus Review]

Prisco, Carlos Augusto Di

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

Project Euclid
[Omnibus Review]

Barbanel, Julius B.

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

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

Makkai, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1096-1097

Project Euclid
[Omnibus Review]

Prawitz, Dag

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

Project Euclid
Review: Shafi Goldwasser, Silvio Micali, Charles Rackoff, The Knowledge Complexity of Interactive Proof Systems; Oded Goldreich, Silvio Micali, Avi Wigderson, J. Gruska, B. Rovan, J. Wiedermann, Proofs that Release Minimum Knowledge; Oded Goldreich, Rolf Herken, Randomness, Interactive Proofs, and Zero-Knowledge--A Survey

Fortnow, Lance

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

Project Euclid
Review: Uwe Schoning, Complexity Theory and Interaction

Lindell, Steven

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

Project Euclid
Review: Allen H. Brady, The Busy Beaver Game and the Meaning of Life

Oberschelp, Arnold

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Michael J. Beeson, Computerizing Mathematics: Logic and Computation

Shepherdson, J. C.

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

Project Euclid
[Omnibus Review]

Crossley, John N.

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

Project Euclid
Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974

Kreisel, Georg

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

Project Euclid
Relative Recursive Enumerability of Generic Degrees

Kumabe, Masahiro

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

Project Euclid
Diagonals and Semihyperhypersimple Sets

Kummer, Martin

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

Project Euclid
Normality and $\mathscr{P}(\kappa)/\mathscr{J}$

Zrotowski, R.

Text on Project Euclid
PDF
Alt PDF
p. 1064-1067

Project Euclid
A Second Order Version of $S^i_2$ and $U^1_2$

Takeuti, Gaisi

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

Project Euclid
Small Stable Groups and Generics

Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 1026-1037

Project Euclid
Making the Hyperreal Line Both Saturated and Complete

Keisler, H. Jerome ; Schmerl, James H.

Text on Project Euclid
PDF
Alt PDF
p. 1016-1025

Project Euclid
A Construction of Type: Type in Martin-Lof's Partial Type Theory with One Universe

Palmgren, Erik

Text on Project Euclid
PDF
Alt PDF
p. 1012-1015

Project Euclid
Some Remarks on Modular Regular Types

Pillay, Anand

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

Project Euclid
Who were the American Postulate Theorists?

Scanlan, Michael

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

Project Euclid
Plongement Dense d'un Corps Ordonne dans sa Cloture Reelle

Delon, Francoise

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

Project Euclid
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman

van Oosten, Jaap

Text on Project Euclid
PDF
Alt PDF
p. 964-973

Project Euclid
Model-Theoretic Properties Characterizing Peano Arithmetic

Kaye, Richard

Text on Project Euclid
PDF
Alt PDF
p. 949-963

Project Euclid
Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms

Marshall, M. Victoria ; Chuaqui, Rolando

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

Project Euclid
On Bad Groups, Bad Fields, and Pseudoplanes

Nesin, Ali

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

Project Euclid
$U$-Meager Sets when the Cofinality and the Coinitiality of $U$ are Uncountable

Zivaljevic, Bosko

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

Project Euclid
Axiomatizing Universal Properties of Quantifiers

Doets, Kees

Text on Project Euclid
PDF
Alt PDF
p. 901-905

Project Euclid
Inductive Inference and Unsolvability

Adleman, Leonard M. ; Blum, M.

Text on Project Euclid
PDF
Alt PDF
p. 891-900

Project Euclid
On Maximal Theories

Adamowicz, Zofia

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

Project Euclid
Binary Relational Structures Having Only Countably Many Nonisomorphic Substructures

MacPherson, Dugald ; Schmerl, James H.

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

Project Euclid
On the Strong Martin Conjecture

Itai, Masanori

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

Project Euclid
XVIIeme Probleme de Hilbert sur les Corps Chaine-Clos

Delon, Francoise ; Gondard, Danielle

Text on Project Euclid
PDF
Alt PDF
p. 853-861

Project Euclid
A Structure Theorem for Strongly Abelian Varieties with Few Models

Hart, Bradd ; Valeriote, Matthew

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

Project Euclid
Definable FN Bases

Ng, Siu-Ah

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

Project Euclid
A Generalization of Forking

Ng, Siu-Ah

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

Project Euclid
Corrigendum: On Diophantine Equations Solvable in Models of Open Induction

Otero, Margarita

Text on Project Euclid
PDF
Alt PDF
p. 811-812

Project Euclid
Larger Cardinals in Cichon's Diagram

Brendle, Jorg

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

Project Euclid
Concerning $n$-Tactics in the Countable-Finite Game

Scheepers, Marion

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

Project Euclid
Definissabilite dans les Corps de Fonctions $p$-Adiques

Belair, Luc ; Duret, Jean-Louis

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

Project Euclid
Forcing Minimal Degree of Constructibility

Judah, Haim ; Shelah, Saharon

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

Project Euclid
Notices

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

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 1505-1542

Project Euclid
[Omnibus Review]

Asenjo, F. G.

Text on Project Euclid
PDF
Alt PDF
p. 1503-1504

Project Euclid
Review: Newton C. A. Da Costa, Ensaio Sobre os Fundamentos da Logica

Chuaqui, Rolando

Text on Project Euclid
PDF
Alt PDF
p. 1500-1503

Project Euclid
Review: Richard L. Epstein, Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanislaw Krajewski, Roger D. Maddux, The Semantic Foundations of Logic. Volume 1: Propositional Logics

Forbes, Graeme

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

Project Euclid
Review: Walter P. van Stigt, Brouwer's Intuitionism

Eggenberger, Peter

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Stewart Shapiro, Intensional Mathematics

Smorynski, Craig A.

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

Project Euclid
Review: Robert Goldblatt, Logics of Time and Computation

Parikh, Rohit

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

Project Euclid
Review: David Maier, David S. Warren, Computing with Logic. Logic Programming with Prolog

Shepherdson, J. C.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: James Cooke Brown, Loglan 1: A Logical Language

Smith, Perry

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

Project Euclid
Review: Vann McGee, Conditional Probabilities and Compounds of Conditionals

Jeffrey, Richard

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

Project Euclid
Review: John M. Vickers, Chance and Structure. An Essay on the Logical Foundations of Probability

Amer, Mohamed A.

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

Project Euclid
Review: Andreas Blass, Selective Ultrafilters and Homogeneity; Claude Laflamme, Forcing with Filters and Complete Combinatorics

Nyikos, Peter J.

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

Project Euclid
Review: Stevo Todorcevic, Partition Problems in Topology

Dow, Alan

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

Project Euclid
Review: W. V. Quine, The Logic of Sequences. A Generalization of Principia Mathematica

Floyd, Juliet

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

Project Euclid
Corrections to Where Do Sets Come From?

Hodes, Harold T.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Properties of Independently Axiomatizable Bimodal Logics

Kracht, Marcus ; Wolter, Frank

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

Project Euclid
On the Weak Kleene Scheme in Kripke's Theory of Truth

Cain, James ; Damnjanovic, Zlatan

Text on Project Euclid
PDF
Alt PDF
p. 1452-1468

Project Euclid
Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic

Abrusci, V. Michele

Text on Project Euclid
PDF
Alt PDF
p. 1403-1451

Project Euclid
A Set Mapping with no Infinite Free Subsets

Komjath, P.

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

Project Euclid
Generalized Fitting Subgroup of a Group of Finite Morley Rank

Nesin, Ali

Text on Project Euclid
PDF
Alt PDF
p. 1391-1399

Project Euclid
A Construction of Superstable NDOP-NOTOP Groups

Baudisch, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 1385-1390

Project Euclid
Building Iteration Trees

Andretta, Alessandro

Text on Project Euclid
PDF
Alt PDF
p. 1369-1384

Project Euclid
Decidable Discriminator Varieties from Unary Varieties

Burris, Stanley ; McKenzie, Ralph ; Valeriote, Matthew

Text on Project Euclid
PDF
Alt PDF
p. 1355-1368

Project Euclid
Continuity and Nondiscontinuity in Constructive Mathematics

Ishihara, Hajime

Text on Project Euclid
PDF
Alt PDF
p. 1349-1354

Project Euclid
Countable Structures, Ehrenfeucht Strategies, and Wadge Reductions

Linton, Tom

Text on Project Euclid
PDF
Alt PDF
p. 1325-1348

Project Euclid
Interpreting Groups in $\omega$-Categorical Structures

MacPherson, Dugald

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

Project Euclid
Dual Easy Uniformization and Model-Theoretic Descriptive Set Theory

Lavine, Shaughan

Text on Project Euclid
PDF
Alt PDF
p. 1290-1316

Project Euclid
On a Problem of C. H. Dowker

Balogh, Z. ; Gruenhage, G.

Text on Project Euclid
PDF
Alt PDF
p. 1284-1289

Project Euclid
Decomposing Baire Functions

Cichon, J. ; Morayne, M. ; Pawlikowski, J. ; Solecki, S.

Text on Project Euclid
PDF
Alt PDF
p. 1273-1283

Project Euclid
An Undecidable Problem in Correspondence Theory

Chagrova, L. A.

Text on Project Euclid
PDF
Alt PDF
p. 1261-1272

Project Euclid
Axiomatizing a Category of Categories

McLarty, Colin

Text on Project Euclid
PDF
Alt PDF
p. 1243-1260

Project Euclid
Indecidabilite de la Theorie des Paires Immediates de Corps Values Henseliens

Delon, Francoise

Text on Project Euclid
PDF
Alt PDF
p. 1236-1242

Project Euclid
Expressing Infinity without Foundation

Parlamento, Franco ; Policriti, Alberto

Text on Project Euclid
PDF
Alt PDF
p. 1230-1235

Project Euclid
Elementary Embedding between Countable Boolean Algebras

Bonnet, Robert ; Rubin, Matatyahu

Text on Project Euclid
PDF
Alt PDF
p. 1212-1229

Project Euclid
Independence and Consistency Proofs in Quadratic Form Theory

Baumgartner, James E. ; Spinas, Otmar

Text on Project Euclid
PDF
Alt PDF
p. 1195-1211

Project Euclid
Pseudoprojective Strongly Minimal Sets are Locally Projective

Buechler, Steven

Text on Project Euclid
PDF
Alt PDF
p. 1184-1194

Project Euclid
The Hartig Quantifier: A Survey

Herre, Heinrich ; Krynicki, Michal ; Pinus, Alexandr ; Vaananen, Jouko

Text on Project Euclid
PDF
Alt PDF
p. 1153-1183

Project Euclid
Notices

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

Project Euclid
Review: Susumu Hayashi, Hiroshi Nakano, PX. A Computational Logic

Harper, Robert

Text on Project Euclid
PDF
Alt PDF
p. 763-766

Project Euclid
Review: J. Richard Buchi, Dirk Siefkes, Finite Automata, their Algebras and Grammars. Towards a Theory of Formal Expressions

Bloom, Stephen L.

Text on Project Euclid
PDF
Alt PDF
p. 762-763

Project Euclid
Review: Uwe Schoning, Logic for Computer Scientists

Siefkes, Dirk

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

Project Euclid
Review: Jean-Yves Girard, Paul Taylor, Yves Lafont, Proofs and Types

Howard, W. A.

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

Project Euclid
Review: Samuel R. Buss, Bounded Arithmetic

Wilkie, A. J.

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

Project Euclid
Review: James Gasser, Essai sur la Nature et les Criteres de la Preuve

Scanlan, Michael

Text on Project Euclid
PDF
Alt PDF
p. 757-758

Project Euclid
Review: Lennart Aqvist, Introduction to Deontic Logic and the Theory of Normative Systems

Castaneda, Hector-Neri

Text on Project Euclid
PDF
Alt PDF
p. 756-757

Project Euclid
Review: Stephen Pollard, Philosophical Introduction to Set Theory

Maddy, Penelope

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

Project Euclid
[Omnibus Review]

Roitman, Judith

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

Project Euclid
Review: Judith Roitman, Introduction to Modern Set Theory

Shoenfield, J. R.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Wilfrid Hodges, Building Models by Games

Grossberg, Rami

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

Project Euclid
Review: Edward Nelson, The Syntax of Nonstandard Analysis

Cutland, Nigel

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

Project Euclid
Review: Douglas Bridges, Fred Richman, Varieties of Constructive Mathematics

van Dalen, D.

Text on Project Euclid
PDF
Alt PDF
p. 750-751

Project Euclid
Review: Marian B. Pour-El, J. Ian Richards, Computability in Analysis and Physics

Aberth, Oliver

Text on Project Euclid
PDF
Alt PDF
p. 749-750

Project Euclid
Nonuniformization Results for the Projective Hierarchy

Jackson, Steve ; Mauldin, R. Daniel

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

Project Euclid
Boolean Valued Lie Algebras

Nishimura, Hirokazu

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

Project Euclid
The Role of Parameters in Bar Rule and Bar Induction

Rathjen, Michael

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

Project Euclid
L'Arithmetique Ouverte et ses Modeles Non-Standards

Boughattas, Sedki

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

Project Euclid
Poly-Separated and $\omega$-Stable Nilpotent Groups

Nesin, Ali

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

Project Euclid
$\Pi^0_1$-Classes and Rado's Selection Principle

Jockusch, C. G. ; Lewis, A. ; Remmel, J. B.

Text on Project Euclid
PDF
Alt PDF
p. 684-693

Project Euclid
A Construction for Recursive Linear Orderings

Ash, C. J.

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

Project Euclid
A Universal Inductive Inference Machine

Osherson, Daniel N. ; Stob, Michael ; Weinstein, Scott

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

Project Euclid
Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic

di Paola, Robert A. ; Montagna, Franco

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

Project Euclid
Presburger Arithmetic with Unary Predicates is $\Pi^1_1$ Complete

Halpern, Joseph Y.

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

Project Euclid
A Direct Proof of the Feferman-Vaught Theorem and Other Preservation Theorems in Products

Vourtsanis, Yiannis

Text on Project Euclid
PDF
Alt PDF
p. 632-636

Project Euclid
Some Trivial Considerations

Goode, John B.

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

Project Euclid
An Infinite Superstable Group has Infinitely Many Conjugacy Classes

Aguzarov, I. ; Farey, R. E. ; Goode, J. B.

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

Project Euclid
An Axiomatization of the Logic with the Rough Quantifier

Krynicki, Michal ; Tuschik, Hans-Peter

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

Project Euclid
Extended Ultrapowers and the Vopenka-Hrbacek Theorem without Choice

Spector, Mitchell

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

Project Euclid
Jump Embeddings in the Turing Degrees

Hinman, Peter G. ; Slaman, Theodore A.

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

Project Euclid
The McKinsey Axiom is not Canonical

Goldblatt, Robert

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

Project Euclid
Anneaux $p$-Adiquement Clos et Anneaux de Fonctions Definissables

Belair, Luc

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

Project Euclid
Incompleteness Results in Kripke Semantics

Ghilardi, Silvio

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

Project Euclid
Intuitionistic Modal Logic and Set Theory

Lano, K.

Text on Project Euclid
PDF
Alt PDF
p. 497-516

Project Euclid
The Elementary Theory of Free Pseudo $p$-Adically Closed Fields of Finite Corank

Efrat, Ido

Text on Project Euclid
PDF
Alt PDF
p. 484-496

Project Euclid
The Logic of First Order Intuitionistic Type Theory with Weak Sigma- Elimination

Swaen, M. D. G.

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

Project Euclid
A Generalization of Specker's Theorem on Typical Ambiguity

Kaye, Richard

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

Project Euclid
Indescribable Cardinals and Elementary Embeddings

Hauser, Kai

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

Project Euclid
Asymptotic Probabilities of Existential Second-Order Godel Sentences

Pacholski, Leszek ; Szwast, Wieslaw

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

Project Euclid
Corrigendum to "Taxonomies of Model-Theoretically Defined Topological Properties"

Bankston, Paul

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

Project Euclid
Proof Theory in the USSR 1925-1969

Mints, Grigori

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

Project Euclid
Notices

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

Project Euclid
The Arthur Prior Memorial Conference

Copeland, B. J. ; Murdoch, D. R.

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic: Berkeley, 1990

Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 361-371

Project Euclid
Review: Richard L. Tieszen, Mathematical Intuition. Phenomenology and Mathematical Knowledge

Haddock, Guillermo E. Rosado

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

Project Euclid
Review: David Pearce, Roads to Commensurability

Sklar, Lawrence

Text on Project Euclid
PDF
Alt PDF
p. 355-356

Project Euclid
Review: D. M. Armstrong, A Combinatorial Theory of Possibility; Brian Skyrms, Tractarian Nominalism

Elgin, Catherine Z.

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

Project Euclid
Review: Graeme Forbes, Languages of Possibility. An Essay in Philosophical Logic

Humberstone, I. L.

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

Project Euclid
[Omnibus Review]

Hale, Bob

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

Project Euclid
Review: Ulrich Felgner, Mengenlehre

Mathias, A. R. D.

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

Project Euclid
Review: Alexander S. Kechris, Alain Louveau, Descriptive Set Theory and the Structure of Sets of Uniqueness

Ajtai, Miklos

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

Project Euclid
Review: Moti Gitik, The Negation of the Singular Cardinal Hypothesis from $o(\kappa) = \kappa^{++}$

Mitchell, W. J.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Michael Canjar, Countable Ultraproducts Without CH; R. Michael Canjar, Small Filter Forcing

Miller, Arnold W.

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

Project Euclid
Review: Alexander Prestel, Einfuhrung in die Mathematische Logik und Modelltheorie

Delon, Francoise

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

Project Euclid
Review: Michael Barr, Charles Wells, Toposes, Triples and Theories

Pitts, Andrew

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

Project Euclid
Review: Raymond Turner, Logics for Artificial Intelligence

Pelletier, Francis Jeffry ; Schubert, Lenhart K.

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

Project Euclid
Review: Eitan Gurari, An Introduction to the Theory of Computation

Gasarch, William I.

Text on Project Euclid
PDF
Alt PDF
p. 338-339

Project Euclid
Review: A. A. Markov, N. M. Nagornyi, Teoriya Algorifmov; Arto Salomaa, Computation and Automata

Downey, R.

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

Project Euclid
Review: A. A. Markov, N. M. Nagorny, M. Greendlinger, The Theory of Algorithms

Scedrov, Andre

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

Project Euclid
Review: Juris Hartmanis, Computational Complexity Theory

Schoning, Uwe

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

Project Euclid
Review: Akira Kanda, Recursion Theorems and Effective Domains

Normann, Dag

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Jan Krajicek, On the Number of Steps in Proofs

Farmer, William M.

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

Project Euclid
Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms

Drake, F. R.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Wilfrid Buchholz, Kurt Schutte, Proof Theory of Impredicative Subsystems of Analysis

Jager, Gerhard

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

Project Euclid
Review: George Boolos, Vann McGee, The Degree of the Set of Sentences of Predicate provability Logic that are True Under every Interpretation

Visser, Albert

Text on Project Euclid
PDF
Alt PDF


Project Euclid
[Omnibus Review]

McGee, Vann

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

Project Euclid
End-Extensions Preserving Power Set

Forster, Thomas ; Kaye, Richard

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

Project Euclid
There are Reasonably Nice Logics

Hodges, Wilfrid ; Shelah, Saharon

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

Project Euclid
The Elementary Class of Products of Totally Ordered Abelian Groups

Gluschankof, Daniel

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

Project Euclid
Natural 3-Valued Logics--Characterization and Proof Theory

Avron, Arnon

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

Project Euclid
Admissible Suslin Cardinals in $L(\mathbf{R})$

Jackson, Steve

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

Project Euclid
Abelian Groups with Modular Generic

Loveys, James

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

Project Euclid
Isomorphisms and Nonisomorphisms of Graph Models

Schellinx, Harold

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

Project Euclid
Stratification and Cut-Elimination

Crabbe, Marcel

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

Project Euclid
Embedding the Diamond in the $\Sigma_2$ Enumeration Degree

Ahmad, Seema

Text on Project Euclid
PDF
Alt PDF
p. 195-212

Project Euclid
Amenable Equivalence Relations and Turing Degrees

Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 182-194

Project Euclid
Reducts of the Random Graph

Thomas, Simon

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

Project Euclid
Where do Sets come from?

Hodes, Harold T.

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

Project Euclid
Normalization Theorems for Full First Order Classical Natural Deduction

Stalmarck, Gunnar

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

Project Euclid
On Chains of Relatively Saturated Submodels of a Model Without the Order Property

Grossberg, Rami

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

Project Euclid
Indiscernible Sequences in a Model which Fails to have the Order Property

Grossberg, Rami

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

Project Euclid
Ramsey Cardinals, $\alpha$-Erdos Cardinals, and the Core Model

Schlingmann, Dirk R. H.

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

Project Euclid
Powers of the Ideal of Lebesgue Measure Zero Sets

Burke, Maxim R.

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

Project Euclid
Meager Sets on the Hyperfinite Time Line

Keisler, H. Jerome ; Leth, Steven C.

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

Project Euclid
Minimal Prime Ideals and Arithmetic Comprehension

Hatzikiriakou, Kostas

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

Project Euclid
The Structure of Graphs All of Whose $Y$-Sections are Internal Sets

Zivaljevic, Bosko

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

Project Euclid
Reflecting on Incompleteness

Feferman, Solomon

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

Project Euclid