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