Volume 59,
Number 1,
March 1994
Volume 59,
Number 2,
June 1994
- B. Mazur:
Questions of Decidability and Undecidability in Number Theory.
353-371
- Thanases Pheidas:
Extensions of Hilbert's Tenth Problem.
372-397
- Roger D. Maddux:
Undecidable Semiassociative Relation Algebras.
398-418
- Dirk Roorda:
Interpolation in Fragments of Classical Linear Logic.
419-444
- Moti Gitik, Menachem Magidor:
Extender Based Forcings.
445-460
- Garvin Melles:
Natural Internal Forcing Schemata Extending ZFC: Truth in the Universe.
461-472
- Brigitte Hösli, Gerhard Jäger:
About Some Symmetries of Negation.
473-485
- Ganesh Baliga, John Case, Sanjay Jain, Mandayam Suraj:
Machine Learning of Higher-Order Programs.
486-500
- Othman Qasim Malhas:
Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory.
501-515
- Masahiro Kumabe:
Minimal Upper Bounds for Arithmetical Degrees.
516-528
- Mark Fuller:
Normality of a Filter over a Space of Partitions.
529-533
- Alan S. Stern, Stanislaw Swierczkowski:
A Class of Connected Theories of Order.
534-542
- Samson Abramsky, Radha Jagadeesan:
Games and Full Completeness for Multiplicative Linear Logic.
543-574
- Frank O. Wagner:
A Note on Defining Groups in Stable Structures.
575-578
- Elisabeth Bouscaren, Ehud Hrushovski:
On One-Based Theories.
579-595
- Daniele Mundici:
A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic.
596-602
- Marion Scheepers:
Meager Nowhere-Dense Games (IC): n-Tactics (Continued).
603-605
- Sy D. Friedman:
The Genericity Conjecture.
606-614
- Thomas Jech, Jirí Witzany:
Full Reflection at a Measurable Cardinal.
615-630
- Hajnal Andréka, Steven Givant, István Németi:
The Lattice of Varieties of Representable Relation Algebras.
631-661
- Szymon Plewik:
Ideals of Nowhere Ramsey Sets Are Isomorphic.
662-667
Volume 59,
Number 3,
September 1994
Volume 59,
Number 4,
December 1994
Copyright © Tue Nov 24 20:50:19 2009
by Michael Ley (ley@uni-trier.de)
