Volume 53,
Number 1,
March 1988
Volume 53,
Number 2,
June 1988
Volume 53,
Number 3,
September 1988
Volume 53,
Number 4,
December 1988
- Jean-Pierre Ressayre:
Formal Languages Defined by the Underlying Structure of their Words.
1009-1026
- Chris Freiling, T. H. Payne:
Some Properties of Large Filters.
1027-1035
- Charles McCarty:
Constructive Validity is Nonarithmetic.
1036-1041
- Charles McCarty:
Markov's Principle, Isols and Dedekind Finite Sets.
1042-1069
- Robert S. Lubarsky:
Definability and Initial Segments of c-Degrees.
1070-1081
- R. Kaye, Jeff B. Paris, Costas Dimitracopoulos:
On Parameter Free Induction Schemas.
1082-1097
- Wolfgang Maass:
On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines.
1098-1109
- Klaus Ambos-Spies, Peter A. Fejer:
Degree Theoretical Splitting Properties of Recursively Enumerable Sets.
1110-1137
- Philip Scowcroft, Lou van den Dries:
On the Structure of Semialgebraic Sets Over p-Adic Fields.
1138-1164
- Anand Pillay:
Sheaves of Continuous Definable Functions.
1165-1169
- Piotr Zakrzewski:
On Universal Semiregular Invariant Measures.
1170-1176
- Wendy MacCaull:
On the Validity of Hilbert's Nullstellensatz, Artin's Theorem, and Related Results in Grothendieck Toposes.
1177-1187
- Jaime I. Ihoda, Saharon Shelah:
Souslin Forcing.
1188-1207
- Mitchell Spector:
Ultrapowers Without the Axiom of Choice.
1208-1219
- James D. French:
The False Assumption Underlying Berry's Paradox.
1220-1223
- Remi Legrand:
A Basis Result in Combinatory Logic.
1224-1226
- Françoise Delon, Yamina Rouani:
Indecidabilite de Corps de Series Formelles.
1227-1234
- Jeff B. Paris, A. J. Wilkie, Alan R. Woods:
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.
1235-1244
- Daniel N. Osherson, Michael Stob, Scott Weinstein:
Mechanical Learners Pay a Price for Bayesianism.
1245-1251
- Martin Davis, Rohit Parikh:
Meeting of the Association for Symbolic Logic: New York City, May 1987.
1270-1274
- K. Jon Barwise, Richmond H. Thomason:
Logic and Linguistics Meeting, Stanford, 1987.
1275-1282
- Roderic A. Girle, I. C. Hinckfuss:
Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987.
1283-1286
- Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon:
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987.
1287-1299
Copyright © Tue Nov 24 20:50:19 2009
by Michael Ley (ley@uni-trier.de)
