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