Volume 64,
Number 1,
March 1999
- Moti Gitik:
On Closed Unbounded Sets Consisting of Former Regulars.
1-12
- Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore:
Computably Categorical Structures and Expansions by Constants.
13-37
- Qi Feng:
Rado's Conjecture and Presaturation of The Nonstationary Ideal on Omega1.
38-44
- Rodney G. Downey, Carl G. Jockusch Jr.:
Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1.
45-52
- Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm:
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.
53-67
- Tuna Altinel, Gregory L. Cherlin:
On Central Extensions of Algebraic Groups.
68-74
- Slawomir Solecki, Otmar Spinas:
Dominating and Unbounded Free Sets.
75-80
- Paul Larson:
An Smax Variation for One Souslin Tree.
81-98
- Marcus Kracht, Frank Wolter:
Normal Monomodal Logics Can Simulate All Others.
99-138
- Ralf-Dieter Schindler:
Successive Weakly Compact or Singular Cardinals.
139-146
- Hisato Muraki:
Non-Distributive Upper Semilattice of Kleene Degrees.
147-158
- Gregory L. Cherlin:
Infinite Imprimitive Homogeneous 3-Edge-Colored Complete Graphs.
159-179
- Mirna Dzamonja, Saharon Shelah:
Similar But Not The Same: Various Versions of Clubs Do Not Coincide.
180-198
- U. Felgner, J. K. Truss:
The Independence of The Prime Ideal Theorem From The Order-Extension Principle.
199-215
- Salma Kuhlmann:
Infinitary Properties of Valued and Ordered Vector Spaces.
216-226
- Kosta Dosen, Zoran Petric:
Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.
227-242
- Hajnal Andréka, Ian M. Hodkinson, István Németi:
Finite Algebras of Relations Are Representable on Finite Sets.
243-267
- A. James Humphreys, Stephen G. Simpson:
Separation and Weak König's Lemma.
268-278
- Janusz Czelakowski, Wieslaw Dziobiak:
Deduction Theorems Within RM and Its Extensions.
279-290
- Hongwei Xi:
Upper Bounds for Standardizations and An Application.
291-303
- Stefano Berardi:
Intuitionistic Completeness for First Order Classical Logic.
304-312
- Andrea Cantini, Pierluigi Minari:
Uniform Inseparability in Explicit Mathematics.
313-326
- Jeremy Avigad, Richard Sommer:
The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength.
327-349
- Amir Leshem, Menachem Magidor:
The Independence of delta1n.
350-362
- Felipe Cucker, Klaus Meer:
Logics Which Capture Complexity Classes Over The Reals.
363-390
Volume 64,
Number 2,
June 1999
- Jacob Lurie:
Anti-Admissible Sets.
407-435
- Péter Komjáth:
Some Remarks on the Partition Calculus of Ordinals.
436-442
- Mitch Rudominer:
The Largest Countable Inductive Set is A Mouse Set.
443-459
- A. J. Heaton:
A Jump Operator for Subrecursion Theories.
460-468
- Otmar Spinas:
Countable Filters on Omega.
469-478
- Grigori Mints:
Cut-Elimination for Simple Type Theory with An Axiom of Choice.
479-485
- John L. Bell:
Frege's Theorem in A Constructive Setting.
486-488
- Tamara Lakins Hummel, Carl G. Jockusch Jr.:
Generalized Cohesiveness.
489-516
- Michael Rathjen:
Explicit Mathematics with The Monotone Fixed Point Principle. II: Models.
517-550
- Vladimir Kanovei:
On Non-Wellfounded Iterations of The Perfect Set Forcing.
551-574
- Steven Givant:
Universal Classes of Simple Relation Algebras.
575-589
- Kai Hauser, W. Hugh Woodin:
Pi13 Sets and Pi13 Singletons.
590-616
- Mike Prest:
Tensor Product and Theories of Modules.
617-628
- Dan Saracino:
Prime E.C. Commutative Rings in Characteristic n bigger equal to 2.
629-633
- Tapani Hyttinen, Saharon Shelah:
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C.
634-642
- Yuefei Sui, Zaiyue Zhang:
The Cupping Theorem in R/M.
643-650
- Joohee Jeong:
A Decidable Variety That Is Finitely Undecidable.
651-677
- John T. Baldwin, Rami P. Grossberg, Saharon Shelah:
Transfering Saturation, The Finite Cover Property, and Stability.
678-684
- Mamoru Kaneko:
Common Knowledge Logic and Game Logic.
685-700
- Juris Steprans:
Unions of Rectifiable Curves in Euclidean Space and The Covering Number of The Meagre Ideal.
701-726
- Andreas Blass, Heike Mildenberger:
On The Confinality of Ultrapowers.
727-736
- Yi Zhang:
On A Class of M.A.D. Families.
737-746
- Szabolcs Mikulás, Maarten Marx:
Undecidable Relativizations of Algebras of Relations.
747-760
- Khaled Jaber:
Équations Génériques Dans Un Groupe Stable Nilpotent.
761-768
- Jeffry L. Hirst:
Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics.
769-774
- Alexandre A. Ivanov:
Generic Expansions of Omega-Categorical Structures and Semantics of Generalized Quantifiers.
775-789
- Mitsuhiro Okada, Kazushige Terui:
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.
790-802
- Natacha Portier:
Stabilité Polynômiale des Corps Différentiels.
803-816
- Steven Buechler:
Lascar Strong Types in Some Simple Theories.
817-824
- Hans Schoutens:
Existentially Closed Models of The Theory of Artinian Local Rings.
825-845
- Alexandru Baltag:
Interpolation and Preservation for Pebble Logics.
846-858
- Silvio Ghilardi:
Unification in Intuitionistic Logic.
859-880
- Jon Barwise, Johan van Benthem:
Interpolation, Preservation, and Pebble Games.
881-903
Volume 64,
Number 3,
September 1999
- Stephan Wehner:
On Recursive Enumerability with Finite Repetitions.
927-945
- Kitty L. Holland:
Model Completeness of The New Strongly Minimal Sets.
946-962
- Paul Corazza:
Laver Sequences for Extendible and Super-Almost-Huge Cardinals.
963-983
- Andrei Voronkov:
The Ground-Negative Fragment of First-Order Logic Is Pip2-Complete.
984-990
- Françoise Delon, Patrick Simonetta:
Un Principe D'Ax-Kochen-Ershov Pour Des Structures Intermédiaires Entre Groupes Et Corps Valués.
991-1027
- Carsten Butz, Ieke Moerdijk:
An Elementary Definability Theorem for First Order Logic.
1028-1036
- Michael A. Jahn:
Implicit Measurements of Dynamic Complexity Properties and Splittings of Speedable Sets.
1037-1064
- William J. Mitchell:
Jónsson Cardinals, Erdös Cardinals, and The Core Model.
1065-1086
- Ernest Schimmerling:
A Finite Family Weak Square Principle.
1087-1110
- Andrés Villaveces:
Heights of Models of ZFC and The Existence of End Elementary Extensions II.
1111-1124
- Kazimierz Swirydowicz:
There Exist Exactly Two Maximal Strictly Relevant Extensions of The Relevant Logic R.
1125-1154
- Daniel Lascar, Anand Pillay:
Forking and Fundamental Order in Simple Theories.
1155-1158
- Raimon Elgueta:
Freeness in Classes Without Equality.
1159-1194
- Pawel Urzyczyn:
The Emptiness Problem for Intersection Types.
1195-1215
- Dag Normann, Erik Palmgren, Viggo Stoltenberg-Hansen:
Hyperfinite Type Structures.
1216-1242
- Claude Laflamme, Marion Scheepers:
Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers.
1243-1260
- Ludomir Newelski:
Flat Morley Sequences.
1261-1279
- Ehud Hrushovski, Thomas Scanlon:
Lascar and Morley Ranks Differ in Differentially Closed Fields.
1280-1284
- Itay Neeman, John Steel:
A Weak Dodd-Jensen Lemma.
1285-1294
- Marion Scheepers:
Finite Powers of Strong Measure Zero Sets.
1295-1306
- Jörg Brendle, Benedikt Löwe:
Solovay-Type Characterizations for Forcing-Algebras.
1307-1323
- Beihai Zhou:
Grafted Frames and S1-Completeness.
1324-1338
- Bruno Poizat:
Le Carre De L'Egalite.
1339-1355
Volume 64,
Number 4,
December 1999
- Ludomir Newelski:
Geometry of *-Finite Types.
1375-1395
- Antonín Kucera, Sebastiaan Terwijn:
Lowness for The Class of Random Sets.
1396-1402
- John Todd Hammond:
Friedberg Splittings in Sigma 03 Quotient Lattices of Epsilon.
1403-1406
- Claes Strannegård:
Interpretability over Peano Arithmetic.
1407-1425
- Seyed Mohammad Bagheri:
Ordre Fondamental D'Une Théorie 1-Basée.
1426-1438
- William C. Purdy:
Quine's 'Limits of Decision'.
1439-1466
- Krzysztof Ciesielski, Saharon Shelah:
A Model With No Magic Set.
1467-1490
- Ulrich Kohlenbach:
On The No-Counterexample Interpretation.
1491-1511
- Gennadi Puninski:
Cantor-Bendixson Rank of The Ziegler Spectrum Over A Commutative Valuation Domain.
1512-1518
- Ferenc Beleznay:
The Complexity of The Collection of Countable Linear Orders of The Form I + I.
1519-1526
- Moti Gitik, Saharon Shelah:
Cardinal Preserving Ideals.
1527-1551
- John L. Bell:
Finite Sets and Frege Structures.
1552-1556
- Bradd Hart, Zeljko Sokolovic, Predrag Tanovic:
A Note On Alpha-Prime Models.
1557-1562
- Maarten Marx, Szabolcs Mikulás:
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.
1563-1572
- Heinrich Wansing:
Displaying The Modal Logic of Consistency.
1573-1590
- Akira Suzuki:
No Elementary Embedding From V into V Is Definable From Parameters.
1591-1594
- José Iovino:
Stable Models and Reflexive Banach Spaces.
1595-1600
- Kai Hauser:
A Minimal Counterexample To Universal Baireness.
1601-1627
- Paul Bankston:
A Hierarchy of Maps Between Compacta.
1628-1644
- Masahiko Murakami:
Standardization Principle of Nonstandard Universes.
1645-1655
- Gian Aldo Antonelli:
Free Set Algebras Satisfying Systems of Equations.
1656-1674
- Arthur W. Apter:
On Measurable Limits of Compact Cardinals.
1675-1688
- Jörg Flum, Martin Ziegler:
Pseudo-Finite Homogeneity and Saturation.
1689-1699
- Rodney G. Downey, Geoffrey LaForte, Steffen Lempp:
A Delta02 Set With Barely Sigma02 Degree.
1700-1718
- Erich Grädel:
On The Restraining Power of Guards.
1719-1742
- Roman D. Arefev, John T. Baldwin, Marco Mazzucco:
Classification of delta-Invariant Amalgamation Classes.
1743-1750
- Lauri Hella, Leonid Libkin, Juha Nurmonen:
Notions of Locality and Their Logical Characterizations over Finite Models.
1751-1773
- Alasdair Urquhart:
The Complexity of Decision Procedures In Relevance Logic II.
1774-1802
- Yi Zhang:
Adjoining Cofinitary Permutations.
1803-1810
- Thomas Jech:
Some Results on Combinators in The System TRC.
1811-1819
Copyright © Mon Mar 15 04:04:32 2010
by Michael Ley (ley@uni-trier.de)
