The Journal of Symbolic Logic, Volume 63

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 Delta₀. 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 2^aleph₀ 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 TNCdegree. 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:
  Sigma₂ 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(omega₁)/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

• Norman Feldman:
  The Cylindric Algebras of Three-Valued Logic. 1201-1217
  
• Ulrich Kohlenbach:
  Relative Constructivity. 1218-1238
  
• P. Ouwehand, H. Rose:
  Filtral Powers of Structures. 1239-1254
  
• Patrick Simonetta:
  Equivalence Elementaire et Decidabilite Pour des Structures du Type Groupe Agissant Sur un Groupe Abelien. 1255-1285
  
• Pieter Hendrik Rodenburg:
  Termination and Confluence in Infinitary Term Rewriting. 1286-1296
  
• M. C. Stanley:
  Invisible Genericity and 0^#. 1297-1318
  
• Angsheng Li, Yang Dongping:
  Bounding Minimal Degrees by Computably Enumerable Degrees. 1319-1347
  
• Andreas Weiermann:
  How Is It that Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Study. 1348-1370
  
• Renling Jin, Saharon Shelah:
  Compactness of Loeb Spaces. 1371-1392
  
• William J. Mitchell:
  The Complexity of The Core Model. 1393-1398
  
• Domenico Zambella:
  Foundation Versus Induction in Kripke-Platek Set Theory. 1399-1403
  
• Arthur W. Apter, Moti Gitik:
  The Least Measurable Can Be Strongly Compact and Indestructible. 1404-1412
  
• Richard Blute, Philip J. Scott:
  The Shuffle Hopf Algebra and Noncommutative Full Completeness. 1413-1436
  
• Jindrich Zapletal:
  Preserving sigma-Ideals. 1437-1441
  
• H. Jerome Keisler:
  Quantifier Elimination for Neocompact Sets. 1442-1472
  
• Frank O. Wagner:
  CM-Triviality and Stable Groups. 1473-1495
  
• Andy Lewis:
  Large Cardinals and Large Dilators. 1496-1510
  
• Beibut Sh. Kulpeshov:
  Weakly O-Minimal Structures and Some of Their Properties. 1511-1528
  
• Rainer Kerth:
  The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus. 1529-1548
  
• Yde Venema:
  Rectangular Games. 1549-1564
  
• Donald A. Martin:
  The Determinacy of Blackwell Games. 1565-1581
  
• Jan Krajícek:
  Discretely Ordered Modules as a First-Order Extension of The Cutting Planes Proof System. 1582-1596
  
• Lou van den Dries:
  Correction to "T-Convexity and Tame Extensions II". 1597
  

Last update Sat May 25 20:47:19 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page