Volume 68,
Number 1,
March 2003
Volume 68,
Number 2,
June 2003
- Pascal Koiran:
The theory of Liouville functions.
353-365
- Mirna Dzamonja, Saharon Shelah:
Universal graphs at the successor of a singular cardinal.
366-388
- M. C. Stanley:
Outer models and genericity.
389-418
- George Goguadze, Carla Piazza, Yde Venema:
Simulating polyadic modal logics by monadic ones.
419-462
- Patrick Blackburn, Maarten Marx:
Constructive interpolation in hybrid logic.
463-480
- William J. Mitchell:
A Gitik iteration with nearly Easton factoring.
481-502
- Lou van den Dries, A. J. Wilkie:
The laws of integer divisibility, and solution sets of linear divisibility conditions.
503-526
- Joel David Hamkins:
A simple maximality principle.
527-550
- Rodney G. Downey, Geoffrey LaForte, Richard A. Shore:
Decomposition and infima in the computably enumerable degrees.
551-579
- Sy D. Friedman, Tapani Hyttinen, Mika Rautila:
Classification theory and 0#.
580-588
- Yasuo Yoshinobu:
Approachability and games on posets.
589- 606
- Yde Venema:
Atomless varieties.
607-614
- Donald A. Martin, Itay Neeman, Marco Vervoort:
The strength of Blackwell determinacy.
615-636
- James Cummings, Matthew Foreman, Menachem Magidor:
The non-compactness of square.
637-643
- Thomas Blossier:
Automorphism groups of trivial strongly minimal structures.
644-668
- Arthur W. Apter, Joel David Hamkins:
Exactly controlling the non-supercompact strongly compact cardinals.
669-688
- Philip D. Welch:
On revision operators.
689-711
Volume 68,
Number 3,
September 2003
- Oliver Deiser, Dieter Donder:
Canonical functions, non-regular ultrafilters and Ulam's problem on omega1.
713-739
- Kosta Dosen, Zoran Petric:
Generality of proofs and its Brauerian representation.
740-750
- William W. Tait:
The completeness of Heyting first-order logic.
751-763
- Christopher Barney:
Ultrafilters on the natural numbers.
764-784
- Alessandro Berarducci, Margarita Otero:
Transfer methods for o-minimal topology.
785-794
- Douglas S. Bridges, Luminita Vîta:
A proof-technique in uniform space theory.
795-802
- John T. Baldwin:
Expansions of geometries.
803-827
- Roland Hinnion, Thierry Libert:
Positive abstraction and extensionality.
828-836
- John Krueger:
Fat sets and saturated ideals.
837-845
- Itay Ben-Yaacov:
Discouraging results for ultraimaginary independence theory.
846-850
- Koji Nakazawa, Makoto Tatsuta:
Strong normalization proof with CPS-translation for second order classical natural deduction.
851-859
- Alexandra Shlapentokh:
Existential definability with bounds on archimedean valuations.
860-878
- Thomas E. Forster, J. K. Truss:
Non-well-foundedness of well-orderable power sets.
879-884
- George Barmpalias:
The approximation structure of a computably approximable real.
885-922
- David Pierce:
Differential forms in the model theory of differential fields.
923-945
- Max A. Dickmann, Francisco Miraglia:
Elementary properties of the Boolean hull and reduced quotient functors.
946-971
- Yong Wang, Angsheng Li:
A hierarchy for the plus cupping Turing degrees.
972-988
- Antonio Montalbán:
Embedding jump upper semilattices into the Turing degrees.
989-1014
- Joan Rand Moschovakis:
Classical and constructive hierarchies in extended intuitionistic analysis.
1015-1043
- Peter Cholak, Leo Harrington:
Isomorphisms of splits of computably enumerable sets.
1044-1064
Volume 68,
Number 4,
December 2003
- Sy D. Friedman, Ralf Schindler:
Universally Baire sets and definable well-orderings of the reals.
1065-1081
- Chris Pollett:
A theory for Log-Space and NLIN versus coNLIN.
1082-1090
- Andrea Cantini:
The axiom of choice and combinatory logic.
1091-1108
- Timothy J. Carlson:
Ranked partial structures.
1109-1144
- Alexander Berenstein:
Simple stable homogeneous groups.
1145-1162
- Sy D. Friedman:
Cardinal-preserving extensions.
1163-1170
- James H. Schmerl:
Partitioning large vector spaces.
1171-1180
- Michael C. Laskowski:
An application of Kochen's theorem.
1181-1188
- M. Giraudet, J. K. Truss:
Recovering ordered structures from quotients of their automorphism groups.
1189-1198
- Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore:
A computably categorical structure whose expansion by a constant has infinite computable dimension.
1199-1241
- Pavel Pudlák:
Parallel strategies.
1242-1250
- Thomas Forster:
Finite-to-one maps.
1251-1253
- Tomek Bartoszynski, Saharon Shelah, Boaz Tsaban:
Additivity properties of topological diagonalizations.
1254-1260
- Teruyuki Yorioka:
Distinguishing types of gaps in (omega)/fin.
1261-1276
- René David, Karim Nour:
A short proof of the strong normalization of classical natural deduction with disjunction.
1277-1288
- Gilles Dowek, Benjamin Werner:
Proof normalization modulo.
1289-1316
- Olivier Lessmann:
Categoricity and U-rank in excellent classes.
1317-1336
- Salvador García Ferreira, Michael Hrusák:
Ordering MAD families a la Katetov.
1337-1353
- Jörg Brendle, Maria Losada:
The cofinality of the infinite symmetric group and groupwise density.
1354-1361
- Wolfgang Merkle:
The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences.
1362-1376
- Anand Pillay:
On countable simple unidimensional theories.
1377-1384
- David M. Evans:
Ample dividing.
1385-1402
- H. Kushida, M. Okada:
A proof-theoretic study of the correspondence of classical logic and modal logic.
1403-1414
- Koji Nakazawa, Makoto Tatsuta:
Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction".
1415-1416
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
