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