Volume 67,
Number 1,
March 2002
- Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu:
Valuation Structure.
1-23 BibTeX
- Olivier Chapuis, Ehud Hrushovski, Pascal Koiran, Bruno Poizat:
La Limite des Theories de Courbes Generiques.
24-34 BibTeX
- Alessandra Carbone:
The Cost of A Cycle Is A Square.
35-60 BibTeX
- Bradd Hart, Ehud Hrushovski, Michael C. Laskowski:
Unique Decomposition in Classifiable Theories.
61-68 BibTeX
- Steffen Lempp, Andrea Sorbi:
Embedding Finite Lattices into the Sigma02 Enumeration Degrees.
69-90 BibTeX
- Morteza Moniri, Mojtaba Moniri:
Some Weak Fragments of HA and Certain Closure Properties.
91-103 BibTeX
- Stephen Bellantoni, Martin Hofmann:
A New "Feasible" Arithmetic.
104-116 BibTeX
- S. T. Stefani:
An Algebraic Approach to Categories of Partial Morphisms.
117-129 BibTeX
- David Asperó:
A Maximal Bounded Forcing Axiom.
130-142 BibTeX
- 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 BibTeX
- Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco:
SN and CR for Free-Style LKtq: Linear Decorations and Simulation of Normalization.
162-196 BibTeX
- Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux:
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory.
197-213 BibTeX
- Hirotaka Kikyo, Saharon Shelah:
The Strict Order Property and Generic Automorphisms.
214-216 BibTeX
- Gregory L. Cherlin, Simon Thomas:
Two Cardinal Properties of Homogeneous Graphs.
217-220 BibTeX
- Robin Hirsch, Ian M. Hodkinson, Ágnes Kurucz:
On Modal Logics Between K x K x K and S5 x S5 x S5.
221-234 BibTeX
- Mihai Prunescu:
A Model-Theoretic Proof for P unequal to NP over All Infinite Abelian Groups.
235-238 BibTeX
- Elisabeth Bouscaren, Françoise Delon:
Minimal Groups in Separably Closed Fields.
239-259 BibTeX
- Thomas Strahm:
Wellordering Proofs for Metapredicative Mahlo.
260-278 BibTeX
- Arnold Beckmann:
Proving Consistency of Equational Theories in Bounded Arithmetic.
279-296 BibTeX
- Heike Mildenberger, Saharon Shelah:
The Relative Consistency of g < cf (Sym(omega)).
297-314 BibTeX
- Mauro Di Nasso:
An Axiomatic Presentation of The Nonstandard Methods in Mathematics.
315-325 BibTeX
- Markus Junker, Ingo Kraus:
Theories with Equational Forking.
326-340 BibTeX
- Murray A. Marshall:
Open Questions in The Theory of Spaces of Orderings.
341-352 BibTeX
- Martin W. Bunder:
A Classification of Intersection Type Systems.
353-368 BibTeX
- Robert Bonnet, Matatyahu Rubin:
On Essentially Low, Canonically Well-Generated Boolean Algebras.
369-396 BibTeX
- Larisa Maksimova:
Complexity of Interpolation and Related Problems in Positive Calculi.
397-408 BibTeX
- Peter Cholak, Rodney G. Downey, Stephen Walk:
Maximal Contiguous Degrees.
409-437 BibTeX
- Christopher L. Miller, Patrick Speissegger:
Pfaffian Differential Equations over Exponential O-Minimal Structures.
438-448 BibTeX
- Todd Eisworth:
Forcing and Stable Ordered-Union Ultrafilters.
449-464 BibTeX
- 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 BibTeX
Volume 67,
Number 2,
June 2002
- John Todd Hammond:
Congruence Relations on Lattices of Recursively Enumerable Sets.
497-504 BibTeX
- William P. R. Mitchell, Harold Simmons:
Monoid Based Semantics for Linear Formulas.
505-527 BibTeX
- Yerulan Mustafin:
Quelques Propriétés de Théories de Jonsson.
528-536 BibTeX
- Iskander Sh. Kalimullin:
Splitting Properties of n-C.E. Enumeration Degrees.
537-546 BibTeX
- Andrzej Nowik, Tomasz Weiss:
On The Ramseyan Properties of Some Special Subsets of 2omega and Their Algebraic Sums.
547-556 BibTeX
- António M. Fernandes, Fernando Ferreira:
Groundwork for Weak Analysis.
557-578 BibTeX
- Uri Abraham, Saharon Shelah:
Coding with Ladders A Well Ordering of The Reals.
579-597 BibTeX
- Mihai Prunescu:
An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic.
598-620 BibTeX
- Melvin Fitting:
Interpolation for First Order S5.
621-634 BibTeX
- Xavier Vidaux:
Multiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps.
635-648 BibTeX
- Kevin Wald:
On Orbits of Prompt and Low Computably Enumerable Sets.
649-678 BibTeX
- Russell Miller:
Definable Incompleteness and Friedberg Splittings.
679-696 BibTeX
- Denis R. Hirschfeldt:
Degree Spectra of Relations on Computable Structures in The Presence of delta02 Isomorphisms.
697-720 BibTeX
- Ralf-Dieter Schindler, John Steel, Martin Zeman:
Deconstructing Inner Model Theory.
721-736 BibTeX
- Anand Pillay, Thomas Scanlon:
Compact Complex Manifolds with The Dop and Other Properties.
737-743 BibTeX
- Enrique Casanovas, Frank O. Wagner:
Local Supersimplicity and Related Concepts.
744-758 BibTeX
- Alexandra Shlapentokh:
On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0.
759-786 BibTeX
- Alexandra Shlapentokh:
Generalized Weak Presentations.
787-819 BibTeX
- Arthur W. Apter, Joel David Hamkins:
Indestructibility and The Level-By-Level Agreement Between Strong Compactness and Supercompactness.
820-840 BibTeX
- Mike Prest, Vera Puninskaya:
Modules with Few Types over Some Finite-Dimensional Algebras.
841-858 BibTeX
- L. R. Galminas, John W. Rosenthal:
More Undecidable Lattices of Steinitz Exchange Systems.
859-878 BibTeX
- Riccardo Camerlo:
The Relation of Recursive Isomorphism for Countable Structures.
879-895 BibTeX
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 BibTeX
- Anand Pillay, Mark D. Schlatter:
Some Results on Permutation Group Isomorphism and Categoricity.
910-914 BibTeX
- Arthur W. Apter, James Cummings:
Blowing up The Power Set of The Least Measurable.
915-923 BibTeX
- Sy D. Friedman:
0# and Inner Models.
924-932 BibTeX
- Tomasz Kowalski:
PDL Has Interpolation.
933-946 BibTeX
- Jochen Koenigsmann:
Defining Transcendentals in Function Fields.
947-956 BibTeX
- Zoe Chatzidakis:
Properties of Forking in omega-Free Pseudo-Algebraically Closed Fields.
957-996 BibTeX
- Pilar Dellunde, Françoise Delon, Françoise Point:
The Theory of Modules of Separably Closed Fields 1.
997-1015 BibTeX
- Ziv Shami, Frank O. Wagner:
On The Binding Group in Simple Theories.
1016-1024 BibTeX
- Andreas Baudisch:
Generic Variations of Models of T.
1025-1038 BibTeX
- Gian Aldo Antonelli, Richmond H. Thomason:
Representability in Second-Order Propositional Poly-Modal Logic.
1039-1054 BibTeX
- Guohua Wu:
Isolation and Lattice Embeddings.
1055-1064 BibTeX
- Raymond D. Gumb:
The Lazy Logic of Partial Terms.
1065-1077 BibTeX
- Carl G. Jockusch Jr., Tamara J. Lakins:
Generalized R-Cohesiveness and The Arithmetical Hierarchy: A Correction to "Generalized Cohesiveness".
1078-1082 BibTeX
- Wafik Boulos Lotfallah:
Strong Convergence in Finite Model Theory.
1083-1092 BibTeX
- Andreas Blass, Yuri Gurevich, Saharon Shelah:
On Polynomial Time Computation over Unordered Structures.
1093-1125 BibTeX
- 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 BibTeX
- David Asperó, Philip D. Welch:
Bounded Martin's Maximum, Weak Erdös Cardinals and psi AC.
1141-1152 BibTeX
- Christian Rüede:
Transfinite Dependent Choice and omega-Model Reflection.
1153-1168 BibTeX
- Juliette Kennedy, Saharon Shelah:
On Regular Reduced Products.
1169-1177 BibTeX
- Franck Benoist:
Rangs et Types de Rang Maximum Dans Les Corps Différentiellement Clos.
1178-1196 BibTeX
- John R. Steel:
Core Models with More Woodin Cardinals.
1197-1226 BibTeX
- Valentina S. Harizanov, Julia F. Knight, Andrei S. Morozov:
Sequences of n-Diagrams.
1227-1247 BibTeX
Volume 67,
Number 4,
December 2002
Copyright © Sun May 17 00:11:54 2009
by Michael Ley (ley@uni-trier.de)