default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 67
Volume 67, Number 1, March 2002
- Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu:
Valuation Structure. 1-23 - Olivier Chapuis
, Ehud Hrushovski, Pascal Koiran, Bruno Poizat:
La Limite des Theories de Courbes Generiques. 24-34 - Alessandra Carbone:
The Cost of A Cycle Is A Square. 35-60 - Bradd Hart, Ehud Hrushovski, Michael C. Laskowski:
Unique Decomposition in Classifiable Theories. 61-68 - Steffen Lempp, Andrea Sorbi:
Embedding Finite Lattices into the Sigma02 Enumeration Degrees. 69-90 - Morteza Moniri, Mojtaba Moniri:
Some Weak Fragments of HA and Certain Closure Properties. 91-103 - Stephen J. Bellantoni, Martin Hofmann:
A New "Feasible" Arithmetic. 104-116 - S. T. Stefani:
An Algebraic Approach to Categories of Partial Morphisms. 117-129 - David Asperó:
A Maximal Bounded Forcing Axiom. 130-142 - Omar De la Cruz, Eric J. Hall, Paul E. Howard, Jean E. Rubin, Adrienne Stanley:
Definitions of Compactness and The Axiom of Choice. 143-161 - Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco:
SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization. 162-196 - Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux:
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. 197-213 - Hirotaka Kikyo, Saharon Shelah:
The Strict Order Property and Generic Automorphisms. 214-216 - Gregory L. Cherlin, Simon Thomas:
Two Cardinal Properties of Homogeneous Graphs. 217-220 - Robin Hirsch, Ian M. Hodkinson, Ágnes Kurucz:
On Modal Logics Between K x K x K and S5 x S5 x S5. 221-234 - Mihai Prunescu:
A Model-Theoretic Proof for P unequal to NP over All Infinite Abelian Groups. 235-238 - Elisabeth Bouscaren, Françoise Delon:
Minimal Groups in Separably Closed Fields. 239-259 - Thomas Strahm:
Wellordering Proofs for Metapredicative Mahlo. 260-278 - Arnold Beckmann:
Proving Consistency of Equational Theories in Bounded Arithmetic. 279-296 - Heike Mildenberger, Saharon Shelah:
The Relative Consistency of g < cf (Sym(omega)). 297-314 - Mauro Di Nasso:
An Axiomatic Presentation of The Nonstandard Methods in Mathematics. 315-325 - Markus Junker, Ingo Kraus:
Theories with Equational Forking. 326-340 - Murray A. Marshall:
Open Questions in The Theory of Spaces of Orderings. 341-352 - Martin W. Bunder:
A Classification of Intersection Type Systems. 353-368 - Robert Bonnet, Matatyahu Rubin:
On Essentially Low, Canonically Well-Generated Boolean Algebras. 369-396 - Larisa Maksimova:
Complexity of Interpolation and Related Problems in Positive Calculi. 397-408 - Peter Cholak, Rodney G. Downey, Stephen Walk:
Maximal Contiguous Degrees. 409-437 - Christopher Lee Miller, Patrick Speissegger:
Pfaffian Differential Equations over Exponential O-Minimal Structures. 438-448 - Todd Eisworth:
Forcing and Stable Ordered-Union Ultrafilters. 449-464 - Dan E. Willard:
How to Extend The Semantic Tableaux and Cut-Free Versions of The Second Incompleteness Theorem Almost to Robinson's Arithmetic Q. 465-496
Volume 67, Number 2, June 2002
- John Todd Hammond:
Congruence Relations on Lattices of Recursively Enumerable Sets. 497-504 - William P. R. Mitchell, Harold Simmons:
Monoid Based Semantics for Linear Formulas. 505-527 - Yerulan Mustafin:
Quelques Propriétés de Théories de Jonsson. 528-536 - Iskander Sh. Kalimullin:
Splitting Properties of n-C.E. Enumeration Degrees. 537-546 - Andrzej Nowik, Tomasz Weiss:
On The Ramseyan Properties of Some Special Subsets of 2omega and Their Algebraic Sums. 547-556 - António Marques Fernandes, Fernando Ferreira:
Groundwork for Weak Analysis. 557-578 - Uri Abraham, Saharon Shelah:
Coding with Ladders A Well Ordering of The Reals. 579-597 - Mihai Prunescu:
An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic. 598-620 - Melvin Fitting:
Interpolation for First Order S5. 621-634 - Xavier Vidaux:
Multiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps. 635-648 - Kevin Wald:
On Orbits of Prompt and Low Computably Enumerable Sets. 649-678 - Russell Miller:
Definable Incompleteness and Friedberg Splittings. 679-696 - Denis R. Hirschfeldt:
Degree Spectra of Relations on Computable Structures in The Presence of delta02 Isomorphisms. 697-720 - Ralf-Dieter Schindler, John R. Steel, Martin Zeman:
Deconstructing Inner Model Theory. 721-736 - Anand Pillay, Thomas Scanlon:
Compact Complex Manifolds with The Dop and Other Properties. 737-743 - Enrique Casanovas, Frank O. Wagner:
Local Supersimplicity and Related Concepts. 744-758 - Alexandra Shlapentokh:
On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0. 759-786 - Alexandra Shlapentokh:
Generalized Weak Presentations. 787-819 - Arthur W. Apter, Joel David Hamkins:
Indestructibility and The Level-By-Level Agreement Between Strong Compactness and Supercompactness. 820-840 - Mike Prest, Vera Puninskaya:
Modules with Few Types over Some Finite-Dimensional Algebras. 841-858 - L. R. Galminas, John W. Rosenthal:
More Undecidable Lattices of Steinitz Exchange Systems. 859-878 - Riccardo Camerlo:
The Relation of Recursive Isomorphism for Countable Structures. 879-895
Volume 67, Number 3, September 2002
- David M. Evans, M. E. Pantano:
Alef-Symbol 0 - Categorical Structures with Arbitrarily Fast Growth of Algebraic Closure. 897-909 - Anand Pillay, Mark D. Schlatter:
Some Results on Permutation Group Isomorphism and Categoricity. 910-914 - Arthur W. Apter, James Cummings:
Blowing up The Power Set of The Least Measurable. 915-923 - Sy D. Friedman:
0# and Inner Models. 924-932 - (Withdrawn) PDL Has Interpolation. 933-946
- Jochen Koenigsmann:
Defining Transcendentals in Function Fields. 947-956 - Zoé Chatzidakis:
Properties of Forking in omega-Free Pseudo-Algebraically Closed Fields. 957-996 - Pilar Dellunde, Françoise Delon, Françoise Point:
The Theory of Modules of Separably Closed Fields 1. 997-1015 - Ziv Shami, Frank O. Wagner:
On The Binding Group in Simple Theories. 1016-1024 - Andreas Baudisch:
Generic Variations of Models of T. 1025-1038 - Gian Aldo Antonelli, Richmond H. Thomason:
Representability in Second-Order Propositional Poly-Modal Logic. 1039-1054 - Guohua Wu:
Isolation and Lattice Embeddings. 1055-1064 - Raymond D. Gumb:
The Lazy Logic of Partial Terms. 1065-1077 - Carl G. Jockusch Jr., Tamara J. Lakins:
Generalized R-Cohesiveness and The Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness". 1078-1082 - Wafik Boulos Lotfallah:
Strong Convergence in Finite Model Theory. 1083-1092 - Andreas Blass, Yuri Gurevich, Saharon Shelah:
On Polynomial Time Computation over Unordered Structures. 1093-1125 - Annalisa Marcja, Mike Prest, Carlo Toffalori:
The Torsionfree Part of The Ziegler Spectrum of RG When R Is A Dedekind Domain and G Is A Finite Group. 1126-1140 - David Asperó, Philip D. Welch:
Bounded Martin's Maximum, Weak Erdös Cardinals and psi AC. 1141-1152 - Christian Rüede:
Transfinite Dependent Choice and omega-Model Reflection. 1153-1168 - Juliette Kennedy, Saharon Shelah:
On Regular Reduced Products. 1169-1177 - Franck Benoist:
Rangs et Types de Rang Maximum Dans Les Corps Différentiellement Clos. 1178-1196 - John R. Steel:
Core Models with More Woodin Cardinals. 1197-1226 - Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov:
Sequences of n-Diagrams. 1227-1247
Volume 67, Number 4, December 2002
- James H. Schmerl:
Automorphism Groups of Models of Peano Arithmetic. 1249-1264 - James H. Schmerl:
Some Highly Saturated Models of Peano Arithmetic. 1265-1273 - Massoud Pourmahdian:
Smooth Classes without AC and Robinson Theories. 1274-1294 - Robert S. Lubarsky:
Ikp and Friends. 1295-1322 - Ivan N. Soskov, V. Baleva:
Regular Enumerations. 1323-1343 - Paul B. Larson:
A Uniqueness Theorem for Iterations. 1344-1350 - Greg Hjorth:
Cardinalities in the Projective Hierarchy. 1351-1372 - Teruyuki Yorioka:
The Cofinality of The Strong Measure Zero Ideal. 1373-1384 - Roman Wencel:
Small Theories of Boolean Ordered O-Minimal Structures. 1385-1390 - S. Barry Cooper, Angsheng Li:
Splitting and Nonsplitting, II: A Low2 C.E. Degree above Which 0' Is Not Splittable. 1391-1430 - Tadatoshi Miyamoto:
On Iterating Semiproper Preorders. 1431-1468 - Tapani Hyttinen, Olivier Lessmann:
A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model. 1469-1482 - Giovanna Corsi:
A Unified Completeness Theorem for Quantified Modal Logics. 1483-1510 - Hajime Ishihara, Satoru Yoshida:
A Constructive Look at The Completeness of The Space D(R). 1511-1519 - Greg Hjorth:
A Dichotomy Theorem for Turbulence. 1520-1540 - Cristina Sernadas, João Rasga, Walter Alexandre Carnielli:
Modulated Fibring and The Collapsing Problem. 1541-1569 - Jeffrey Burdges, Gregory L. Cherlin:
Borovik-Poizat Rank and Stability. 1570-1578 - Rodney G. Downey, Steffen Lempp:
Contiguity and Distributivity in The Enumerable Turing Degrees - Corrigendum. 1579-1580 - Itay Ben-Yaacov:
Group Configurations and Germs in Simple Theories. 1581-1600 - Ludomir Newelski:
Modular Types in Some Supersimple Theories. 1601-1615 - Jean-Marie Lion:
Finitude Simple et Structures O-Minimales (Finiteness Property Implies O-Minimality). 1616-1622 - Agustín Rayo:
Frege's Unofficial Arithmetic. 1623-1638
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 2026-08-25 22:06 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
