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
  
• 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 S_max 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 delta¹_n. 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:
  Pi¹₃ Sets and Pi¹₃ 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 Pi^p₂-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 R. 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 ⁰₃ 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 Delta⁰₂ Set With Barely Sigma⁰₂ 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
  

Last update Tue Feb 14 04:21:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page