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 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 L. 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 M. 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
- Tomasz Kowalski:
PDL Has Interpolation.
933-946
- Jochen Koenigsmann:
Defining Transcendentals in Function Fields.
947-956
- Zoe 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
Last update Tue Feb 14 04:21:03 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
