Volume 63,
Number 1,
March 1998
- Leo Harrington, Robert I. Soare:
Codable Sets and Orbits of Computably Enumerable Sets.
1-28 BibTeX
- Arnold W. Miller, Juris Steprans:
Orthogonal Familes of Real Sequences.
29-49 BibTeX
- Maurice Boffa:
More on an Undecidability Result of Bateman, Jockusch and Woods.
50 BibTeX
- Joel David Hamkins:
Small Forcing Makes Any Cardinal Superdestructable.
51-58 BibTeX
- Alistair H. Lachlan, Robert I. Soare:
Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets.
59-72 BibTeX
- Thomas Eiter, Georg Gottlob:
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.
73-82 BibTeX
- Leonard Lipshitz, Z. Robinson:
One-Dimensional Fibers of Rigid Subanalytic Sets.
83-88 BibTeX
- Stephen Bigelow:
Supplements of Bounded Permutation Groups.
89-102 BibTeX
- Shmuel Lifsches, Saharon Shelah:
Uniformization and Skolem Functions in the Class of Trees.
103-127 BibTeX
- Marek Balcerzak, Andrzej Roslanowski, Saharon Shelah:
Ideals without CCC.
128-148 BibTeX
- Arthur W. Apter:
Laver Indestructability and the Class of Compact Ordinals.
149-157 BibTeX
- Sy D. Friedman:
Generic Saturation.
158-162 BibTeX
- Hajnal Andréka, Robert Goldblatt, István Németi:
Relativised Quantification: Some Canonical Varieties of Sequence-Set Algebras.
163-184 BibTeX
- Dieter Spreen:
On Effective Topological Spaces.
185-221 BibTeX
- Mauro Di Nasso:
Pseudo-Superstructures as Nonstandard Universes.
222-236 BibTeX
- Françoise Delon, Patrick Simonetta:
Undecidable Wreath Products and Skew Power Series Fields.
237-246 BibTeX
- Gian Aldo Antonelli:
Extensional Quotients for Type Theory and the Consistency Property for NF.
247-261 BibTeX
- Kenneth Schilling:
Vanishing Borel Sets.
262-268 BibTeX
- Tomasz Polacik:
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.
269-300 BibTeX
- Andrej Nowik, Marion Scheepers, Tomasz Weiss:
The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets.
301-324 BibTeX
Volume 63,
Number 2,
June 1998
- Jacob Lurie:
The Effective Content of Surreal Algebra.
337-371 BibTeX
- David Ballard, William Boshuck:
Definability and Descent.
372-378 BibTeX
- Alexis Bès, Denis Richard:
Undecidable Extensions of Skolem Arithmetic.
379-401 BibTeX
- Paola D'Aquino:
Solving Pell Equations Locally in Models of I Delta0.
402-410 BibTeX
- Marat M. Arslanov, Geoffrey LaForte, Theodore A. Slaman:
Relative Enumerability in the Difference Hierarchy.
411-420 BibTeX
- Oleg V. Belegradek:
On Minimal Structures.
421-426 BibTeX
- John T. Baldwin, Saharon Shelah:
DOP and FCP in Generic Structures.
427-438 BibTeX
- Mike Priest:
The Representation Theories of Elementarily Equivalent Rings.
439-450 BibTeX
- Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney:
The Logic of Recursive Equations.
451-478 BibTeX
- Maarten Marx:
Amalgamation in Relational Algebras.
479-484 BibTeX
- Mark J. Debonis, Ali Nesin:
There Are 2aleph0 Many Almost Strongly Minimal Generalized n-gons That Do Not Interpret an Infinite Group.
485-508 BibTeX
- Michael Rathjen:
Explicit Mathematics with the Monotone Fixed Point Principle.
509-542 BibTeX
- Timothy Bays:
Some Two-Cardinal Results for O-Minimal Theories.
543-548 BibTeX
- Joel David Hamkins, Saharon Shelah:
Superdestructibility: A Dual to Laver's Indestructibility.
549-554 BibTeX
- Tore Langholm:
A Strong Version of Herbrand's Theorem for Introvert Sentences.
555-569 BibTeX
- Yerzhan Baisalov, Bruno Poizat:
Paires de Structures O-Minimales.
570-578 BibTeX
- Douglas S. Bridges, Ray Mines:
Sequentially Continuous Linear Mappings in Constructive Analysis.
579-583 BibTeX
- Claude Laflamme, Jian-Ping Zhu:
The Rudin-Blass Ordering of Ultrafilters.
584-592 BibTeX
- Heike Mildenberger:
Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals.
593-599 BibTeX
- Stefano Berardi, Marc Bezem, Thierry Coquand:
On the Computational Content of the Axiom of Choice.
600-622 BibTeX
- Wendy MacCaull:
Relational Semantics and a Relational Proof System for Full Lambek Calculus.
623-637 BibTeX
- Michael Benedikt:
Ultrafilters which Extend Measures.
638-662 BibTeX
- Greg Hjorth:
An Absoluteness Principle for Borel Sets.
663-693 BibTeX
- Mark D. Schlatter:
A Many Permutation Group Result for Unstable Theories.
694-708 BibTeX
- Gaisi Takeuti:
Frege Proof System and TNC°.
709-738 BibTeX
- Deirdre Haskell, Dugald Macpherson:
A Note on Valuation Definable Expansions of Fields.
739-743 BibTeX
Volume 63,
Number 3,
September 1998
- Charles G. Morgan:
Higher Gap Morasses, IA: Gap-Two Morasses and Condensation.
753-787 BibTeX
- Anand Pillay:
Definability and Definable Groups in Simple Theories.
788-796 BibTeX
- Chi Tat Chong, Yue Yang:
Sigma2 Induction and Infinite Injury Priority Argument, Part I: Maximal Sets and the Jump Operator.
797-814 BibTeX
- Friederike Körner:
Automorphisms Moving All Non-Algebraic Points and an Application to NF.
815-830 BibTeX
- Arnon Avron:
Multiplicative Conjunction and an Algebraic Meaning of Contraction and Weakening.
831-859 BibTeX
- Gaisi Takeuti, Masahiro Yasumoto:
Forcing on Bounded Arithmetic II.
860-868 BibTeX
- Wil Dekkers, Martin W. Bunder, Henk Barendregt:
Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory Logic.
869-890 BibTeX
- Su Gao:
On Automorphism Groups of Countable Structures.
891-896 BibTeX
- Toshiyasu Arai:
Variations on a Theme by Weiermann.
897-925 BibTeX
- Byunghan Kim:
A Note on Lascar Strong Types in Simple Theories.
926-936 BibTeX
- Daniel W. Cunningham:
The Fine Structure of Real Mice.
937-994 BibTeX
- Frank O. Wagner:
Small Fields.
995-1002 BibTeX
- Yo Matsubara, Masahiro Shioya:
Nowhere Precipitousness of Some Ideals.
1003-1006 BibTeX
- Jeff B. Paris, Alena Vencovská:
Proof Systems for Probabilistic Uncertain Reasoning.
1007-1039 BibTeX
- Pierre Matet, Janusz Pawlikowski:
Ideals over omega and Cardinal Invariants of the Continuum.
1040-1054 BibTeX
- Piotr Koszmider:
On the Existence of Strong Chains in P(omega1)/Fin.
1055-1062 BibTeX
- Alex M. McAllister:
Completions of PA: Models and Enumerations of Representable Sets.
1063-1082 BibTeX
- Willem L. Fouché, Petrus H. Potgieter:
Kolmogorov Complexity and Symmetric Relational Structures.
1083-1094 BibTeX
- Mario Chiari, Jan Krajícek:
Witnessing Functions in Bounded Arithmetic and Search Problems.
1095-1115 BibTeX
- Andrés Villaveces:
Chains of End Elementary Extensions of Models of Set Theory.
1116-1136 BibTeX
- Peter Koepke:
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.
1137-1176 BibTeX
Volume 63,
Number 4,
December 1998
Copyright © Sun May 17 00:11:56 2009
by Michael Ley (ley@uni-trier.de)