Miscellaneous front pages, J. Symbolic Logic, Volume 56, Issue 3 (1991)

• View Abstract

Forcing Minimal Degree of Constructibility

Haim Judah and Saharon Shelah; 769-782

• View Abstract

Definissabilite dans les Corps de Fonctions $p$-Adiques

Luc Belair and Jean-Louis Duret; 783-785

• View Abstract

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

Marion Scheepers; 786-794

• View Abstract

Larger Cardinals in Cichon's Diagram

Jorg Brendle; 795-810

• View Abstract

Corrigendum: On Diophantine Equations Solvable in Models of Open Induction

Margarita Otero; 811-812

• View Abstract

A Generalization of Forking

Siu-Ah Ng; 813-822

• View Abstract

Definable FN Bases

Siu-Ah Ng; 823-831

• View Abstract

A Structure Theorem for Strongly Abelian Varieties with Few Models

Bradd Hart and Matthew Valeriote; 832-852

• View Abstract

XVIIeme Probleme de Hilbert sur les Corps Chaine-Clos

Francoise Delon and Danielle Gondard; 853-861

• View Abstract

On the Strong Martin Conjecture

Masanori Itai; 862-875

• View Abstract

Binary Relational Structures Having Only Countably Many Nonisomorphic Substructures

Dugald MacPherson and James H. Schmerl; 876-884

• View Abstract

On Maximal Theories

Zofia Adamowicz; 885-890

• View Abstract

Inductive Inference and Unsolvability

Leonard M. Adleman and M. Blum; 891-900

• View Abstract

Axiomatizing Universal Properties of Quantifiers

Kees Doets; 901-905

• View Abstract

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

Bosko Zivaljevic; 906-914

• View Abstract

On Bad Groups, Bad Fields, and Pseudoplanes

Ali Nesin; 915-931

• View Abstract

Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms

M. Victoria Marshall and Rolando Chuaqui; 932-948

• View Abstract

Model-Theoretic Properties Characterizing Peano Arithmetic

Richard Kaye; 949-963

• View Abstract

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

Jaap van Oosten; 964-973

• View Abstract

Plongement Dense d'un Corps Ordonne dans sa Cloture Reelle

Francoise Delon; 974-980

• View Abstract

Who were the American Postulate Theorists?

Michael Scanlan; 981-1002

• View Abstract

Some Remarks on Modular Regular Types

Anand Pillay; 1003-1011

• View Abstract

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

Erik Palmgren; 1012-1015

• View Abstract

Making the Hyperreal Line Both Saturated and Complete

H. Jerome Keisler and James H. Schmerl; 1016-1025

• View Abstract

Small Stable Groups and Generics

Frank O. Wagner; 1026-1037

• View Abstract

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

Gaisi Takeuti; 1038-1063

• View Abstract

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

R. Zrotowski; 1064-1067

• View Abstract

Diagonals and Semihyperhypersimple Sets

Martin Kummer; 1068-1074

• View Abstract

Relative Recursive Enumerability of Generic Degrees

Masahiro Kumabe; 1075-1084

• View Abstract

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

Georg Kreisel; 1085-1089

• View Abstract

[Omnibus Review]

John N. Crossley; 1089-1090

• View Abstract

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

J. C. Shepherdson; 1090-1091

• View Abstract

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

Arnold Oberschelp; 1091

• View Abstract

Review: Uwe Schoning, Complexity Theory and Interaction

Steven Lindell; 1091-1092

• View Abstract

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

Lance Fortnow; 1092-1094

• View Abstract

[Omnibus Review]

Dag Prawitz; 1094-1096

• View Abstract

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

Michael Makkai; 1096-1097

• View Abstract

[Omnibus Review]

Julius B. Barbanel; 1097-1098

• View Abstract

[Omnibus Review]

Carlos Augusto Di Prisco; 1098-1100

• View Abstract

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$

Alan D. Taylor; 1100-1101

• View Abstract

Review: Steven Vickers, Topology via Logic

P. T. Johnstone; 1101-1102

• View Abstract

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

David Booth; 1102-1103

• View Abstract

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

Jon Barwise; 1103-1104

• View Abstract

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

Jose Ferrater Mora; 1104-1105

• View Abstract

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

Harold Levin; 1105-1107

• View Abstract

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

1108-1114

• View Abstract

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

1115-1150

• View Abstract

Notices

1151-1152

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 56, Issue 3 (1991)

• View Abstract