![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
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 - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.