Volume 69, Number 1, March 2004
- Andrew Arana:
Arithmetical independence results using higher recursion theory.
1-8
- Masanori Itai, Akito Tsuboi, Kentaro Wakai:
Construction of saturated quasi-minimal structure.
9-22
- Olivier Frécon:
Sous-groupes de Carter dans les groupes de rang de Morley fini.
23-33
- Frank O. Wagner:
Some remarks on one-basedness.
34-38
- Gunther Mainhardt:
P versus NP and computability theoretic constructions in complexity theory over algebraic structures.
39-64
- Jeffry L. Hirst:
Hindman's theorem, ultrafilters, and reverse mathematics.
65-72
- Sy D. Friedman:
Generic Sigma13 absoluteness.
73-80
- Jerry E. Vaughan:
Two step iteration of almost disjoint families.
81-90
- Marcus Tressl:
Valuation theoretic content of the Marker-Steinhorn theorem.
91-93
- William J. Mitchell:
A weak variation of Shelah's I[omega2].
94-100
- Otmar Spinas:
Analytic countably splitting families.
101-117
- H. Jerome Keisler, Wafik Boulos Lotfallah:
First order quantifiers in~monadic second order logic.
118-136
- Septimiu Crivei, Mike Prest, Geert Reynders:
Model theory of comodules.
137-142
- Roland Sh. Omanadze:
Splittings of effectively speedable sets and effectively levelable sets.
143-158
- Vladimir Kanovei, Saharon Shelah:
A definable nonstandard model of the reals.
159-164
- Petr Andreev, Karel Hrbacek:
Standard sets in nonstandard set theory.
165-182
- Leszek Aleksander Kolodziejczyk:
Truth definitions in finite models.
183-200
- Jan Krajícek:
Approximate Euler characteristic, dimension, and weak pigeonhole principles.
201-214
- Alfred Dolich:
Forking and independence in o-minimal theories.
215-240
- Dale Radin:
A definability result for compact complex spaces.
241-254
- Mirna Dzamonja, Péter Komjáth, Charles Morgan:
Wild edge colourings of graphs.
255-264
- Jan Krajícek:
Dual weak pigeonhole principle, pseudo-surjective functions, and provability of circuit lower bounds.
265-286
- Andris Ambainis, John Case, Sanjay Jain, Mandayam Suraj:
Parsimony hierarchies for inductive inference.
287-327
- Douglas S. Bridges, Luminita Vîta:
Corrigendum to "A proof - technique in uniform space theory".
328
Volume 69, Number 2, June 2004
Volume 69, Number 3, September 2004
- Eldar Fischer, Johann A. Makowsky:
On spectra of sentences of monadic second order logic with counting.
617-640
- Itay Ben-Yaacov:
Lovely pairs of models: the non first order case.
641-662
- Alberto Marcone, Christian Rosendal:
The complexity of continuous embeddability between dendrites.
663-673
- Ralph McKenzie, J. Donald Monk:
On some small cardinals for Boolean algebras.
674-682
- Peter Cholak, Alberto Marcone, Reed Solomon:
Reverse mathematics and the equivalence of definitions for well and better quasi-orders.
683-712
- Stephen A. Fenner, Stuart A. Kurtz, James S. Royer:
Every polynomial-time 1-degree collapses if and only if P = PSPACE.
713-741
- Joan Bagaria, Roger Bosch:
Solovay models and forcing extensions.
742-766
- Roy T. Cook:
Patterns of paradox.
767-774
- Ali Enayat:
Leibnizian models of set theory.
775-789
- Sergei Tupailo:
On the intuitionistic strength of monotone inductive definitions.
790-798
- Michael Ray Oliver:
Continuum-many Boolean algebras of the form (omega )/I, I Borel.
799-816
- Alexander Berenstein:
Dividing in the algebra of compact operators.
817-829
- Toshiyasu Arai:
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Pi 02-operators.
830-850
- A. J. Wilkie:
Diophantine properties of sets definable in o-minimal structures.
851-861
- Wolfgang Merkle, Nenad Mihailovic:
On the construction of effectively random sets.
862-878
- Silvio Ghilardi, Lorenzo Sacchetti:
Filtering unification and most general unifiers in modal logic.
879-906
- Joseph S. Miller:
Every 2-random real is Kolmogorov random.
907-913
- Natasha Dobrinen, Stephen G. Simpson:
Almost everywhere domination.
914-922
- Tibor Beke:
Theories of presheaf type.
923-934
- Tomasz Kowalski:
Retraction note for "PDL has interpolation".
935
Volume 69, Number 4, December 2004
- Andrew Lewis:
Minimal complements for degrees below 0'.
937-966
- Maria Emilia Maietti, Silvio Valentini:
A structural investigation on formal topology: coreflection of formal covers and exponentiability.
967-1005
- Thanases Pheidas, Karim Zahidi:
Elimination theory for addition and the Frobenius map in polynomial rings.
1006-1026
- Christoph Benzmüller, Chad E. Brown, Michael Kohlhase:
Higher-order semantics and extensionality.
1027-1088
- Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman:
Comparing DNR and WWKL.
1089-1104
- Leszek Aleksander Kolodziejczyk:
A finite model-theoretical proof of a property of bounded query classes within PH.
1105-1116
- Barbara F. Csima, Denis R. Hirschfeldt, Julia F. Knight, Robert I. Soare:
Bounding prime models.
1117-1142
- Itay Neeman:
The Mitchell order below rank-to-rank.
1143-1162
- Decheng Ding, Liang Yu:
There is no SW-complete c.e. real.
1163-1170
- Boris Zilber:
Bi-coloured fields on the complex numbers.
1171-1186
- Mike Prest, Vera Puninskaya, Alexandra Ralph:
Some model theory of sheaves of modules.
1187-1199
- Noam Greenberg, Antonio Montalbán, Richard A. Shore:
Generalized high degrees have the complementation property.
1200-1220
- Ziv Shami:
Coordinatisation by binding groups and unidimensionality in simple theories.
1221-1242
- Bektur Sembiuly Baizhanov, John T. Baldwin:
Local homogeneity.
1243-1260
- Juliette Kennedy, Saharon Shelah:
More on regular reduced products.
1261-1266
- Arthur W. Apter, Grigor Sargsyan:
Jonsson-like partition relations and j: V -> V.
1267-1281
Last update Thu May 23 19:12:51 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
