default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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 - Andrzej 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 Prest:
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 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:
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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-21 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
