The Journal of Symbolic Logic, Volume 64
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
- Paul Larson: An Smax Variation for One Souslin Tree. 81-98
- 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
- Hongwei Xi: Upper Bounds for Standardizations and An Application. 291-303
- Stefano Berardi: Intuitionistic Completeness for First Order Classical Logic. 304-312
- Jeremy Avigad, Richard Sommer: The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. 327-349
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
- 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
- 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
- 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
- Yi Zhang: On A Class of M.A.D. Families. 737-746
- 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
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
- 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
- Raimon Elgueta: Freeness in Classes Without Equality. 1159-1194
- Pawel Urzyczyn: The Emptiness Problem for Intersection Types. 1195-1215
- 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
- Marion Scheepers: Finite Powers of Strong Measure Zero Sets. 1295-1306
- 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
- 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
- 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
- John L. Bell: Finite Sets and Frege Structures. 1552-1556
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team