default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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 B. Larson:
An Smax 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 - Ulrich Felgner, John Kenneth 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 delta1n. 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:
Pi13 Sets and Pi13 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 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 - 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 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 - 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 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
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 2024-11-08 20:34 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:
