Volume 60,
Number 1,
March 1995
- Saharon Shelah, Lee J. Stanley:
A Combinatorial Forcing for Coding the Universe by a Real When There Are No Sharps.
1-35 BibTeX
- Saharon Shelah, Lee J. Stanley:
The Combinatorics of Combinatorial Coding by a Real.
36-57 BibTeX
- Martin Goldstern, Saharon Shelah:
The Bounded Proper Forcing Axiom.
58-73 BibTeX
- Lou van den Dries, Adam H. Lewenberg:
T-Convexity and Tame Extensions.
74-102 BibTeX
- Aleksandar Ignjatovic:
Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles, I.
103-121 BibTeX
- Rolando Chuaqui, Patrick Suppes:
Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof.
122-159 BibTeX
- Masanao Ozawa:
Scott Incomplete Boolean Ultrapowers of the Real Line.
160-171 BibTeX
- James M. Henle:
The Consistency of One Fixed Omega.
172-177 BibTeX
- M. Randall Holmes:
The Equivalence of NF-Style Set Theories with ``Tangled'' Type Theories; The Construction of omega-Models of Predicative NF (and More).
178-190 BibTeX
- Jan Mycielski:
New Set-Theoretic Axioms Derived from a Lean Metamathematics.
191-198 BibTeX
- Carl G. Jockusch Jr., Alexandra Shalpentokh:
Weak Presentation of Computable Fields.
199-208 BibTeX
- J. L. Bell:
Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined.
209-221 BibTeX
- Julia F. Knight:
Requirement Systems.
222-245 BibTeX
- John T. Baldwin, Saharon Shelah:
Abstract Classes with Few Models Have `Homogeneous-Universal' Models.
246-265 BibTeX
- Vladimir V. Rybakov:
Hereditarily Structurally Complete Modals Logics.
266-288 BibTeX
- Victor L. Selivanov:
Fine Hierarchies and Boolean Terms.
289-317 BibTeX
- Vladimir Kanovei:
Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic.
318-324 BibTeX
- Thierry Coquand:
A Semantics of Evidence for Classical Arithmetic.
325-337 BibTeX
Volume 60,
Number 2,
June 1995
Volume 60,
Number 3,
September 1995
- Otmar Spinas:
Generic Trees.
705-726 BibTeX
- Rodney G. Downey, Richard A. Shore:
Degree Theoretic Definitions of the low2 Recursively Enumerable Sets.
727-756 BibTeX
- Frank Wolter:
The Finite Model Property in Tense Logic.
757-774 BibTeX
- Hajnal Andréka, Steven Givant, István Németi:
Perfect Extensions and Derived Algebras.
775-796 BibTeX
- Robert J. Poston:
Defining Multiplication in o-Minimal Expansions of the Additive Reals.
797-816 BibTeX
- Michael C. Laskowski, Charles Steinhorn:
On o-Minimal Expansions of Archimedean Ordered Groups.
817-831 BibTeX
- Peter Apostoli, Bryson Brown:
A Solution to the Completeness Problem for Weakly Aggregative Modal Logic.
832-842 BibTeX
- Jan E. Holly:
Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields.
843-860 BibTeX
- Giovanni Sambin:
Pretopologies and Completeness Proofs.
861-878 BibTeX
- Thomas E. Leathrum:
A Special Class of Almost Disjoint Families.
879-891 BibTeX
- James D. Sharp, Simon Thomas:
Some Questions Concerning the Cofinality of Sym(kappa).
892-897 BibTeX
- Margit Messmer, Carol Wood:
Separably Closed Fields with Higher Derivation I.
898-910 BibTeX
- Silvio Ghilardi, Marek W. Zawadowski:
A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras.
911-939 BibTeX
- Peter Koepke, Juan Carlos Martínez:
Superatomic Boolean Algebras Constructed from Morasses.
940-951 BibTeX
- Erich Grädel, Yuri Gurevich:
Tailoring Recursion for Complexity.
952-969 BibTeX
- Hajnal Andréka, Ivo Düntsch, István Németi:
Expressibility of Properties of Relations.
970-991 BibTeX
- James Cummings, Saharon Shelah:
A Model in Which Every Boolean Algebra Has Many Subalgebras.
992-1004 BibTeX
Volume 60,
Number 4,
December 1995
- Derrick Albert DuBose:
Determinacy and the Sharp Function on Objects of Type k.
1025-1053 BibTeX
- René David, Karim Nour:
Storage Operators and Directed Lambda-Calculus.
1054-1086 BibTeX
- Brian A. Davey, Miroslav Haviar, Hilary A. Priestley:
The Syntax and Semantics of Entailment in Duality Theory.
1087-1114 BibTeX
- Paul E. Howard, Jean E. Rubin:
The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets.
1115-1117 BibTeX
- Steffen Lempp, André Nies:
The Undecidability of the Pi4-Theory for the R. E. WTT and Turing Degrees.
1118-1136 BibTeX
- James H. Schmerl:
A Reflection Principle and its Applications to Nonstandard Models.
1137-1152 BibTeX
- Taneli Huuskonen:
Comparing Notions of Similarity for Uncountable Models.
1153-1167 BibTeX
- Haim Judah, Miroslav Repický:
Amoeba Reals.
1168-1185 BibTeX
- Andreas Blass:
An Induction Principle and Pigeonhole Principles for K-Finite Sets.
1186-1193 BibTeX
- Deko V. Dekov:
Embeddability and the Word Problem.
1194-1198 BibTeX
- Greg Hjorth:
A Dichotomy for the Definable Universe.
1199-1207 BibTeX
- Zlatan Damnjanovic:
Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis.
1208-1241 BibTeX
- Jaroslav Jezek, George F. McNulty:
The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories.
1242-1250 BibTeX
- Anand Pillay:
The Geometry of Forking and Groups of Finite Morley Rank.
1251-1259 BibTeX
- Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B.
1260-1272 BibTeX
- Greg Hjorth, Alexander S. Kechris:
Analytic Equivalence Relations and Ulm-Type Classifications.
1273-1300 BibTeX
- Leonard Lipshitz, Thanases Pheidas:
An Analogue of Hilbert's Tenth Problem for p-adic Entire Functions.
1301-1309 BibTeX
Copyright © Sun May 17 00:11:57 2009
by Michael Ley (ley@uni-trier.de)
