Volume 68,
Number 1,
March 2003
Volume 68,
Number 2,
June 2003
- Pascal Koiran:
The theory of Liouville functions.
353-365 BibTeX
- Mirna Dzamonja, Saharon Shelah:
Universal graphs at the successor of a singular cardinal.
366-388 BibTeX
- M. C. Stanley:
Outer models and genericity.
389-418 BibTeX
- George Goguadze, Carla Piazza, Yde Venema:
Simulating polyadic modal logics by monadic ones.
419-462 BibTeX
- Patrick Blackburn, Maarten Marx:
Constructive interpolation in hybrid logic.
463-480 BibTeX
- William J. Mitchell:
A Gitik iteration with nearly Easton factoring.
481-502 BibTeX
- Lou van den Dries, A. J. Wilkie:
The laws of integer divisibility, and solution sets of linear divisibility conditions.
503-526 BibTeX
- Joel David Hamkins:
A simple maximality principle.
527-550 BibTeX
- Rodney G. Downey, Geoffrey LaForte, Richard A. Shore:
Decomposition and infima in the computably enumerable degrees.
551-579 BibTeX
- Sy D. Friedman, Tapani Hyttinen, Mika Rautila:
Classification theory and 0#.
580-588 BibTeX
- Yasuo Yoshinobu:
Approachability and games on posets.
589- BibTeX
606
- Yde Venema:
Atomless varieties.
607-614 BibTeX
- Donald A. Martin, Itay Neeman, Marco Vervoort:
The strength of Blackwell determinacy.
615-636 BibTeX
- James Cummings, Matthew Foreman, Menachem Magidor:
The non-compactness of square.
637-643 BibTeX
- Thomas Blossier:
Automorphism groups of trivial strongly minimal structures.
644-668 BibTeX
- Arthur W. Apter, Joel David Hamkins:
Exactly controlling the non-supercompact strongly compact cardinals.
669-688 BibTeX
- Philip D. Welch:
On revision operators.
689-711 BibTeX
Volume 68,
Number 3,
September 2003
- Oliver Deiser, Dieter Donder:
Canonical functions, non-regular ultrafilters and Ulam's problem on omega1.
713-739 BibTeX
- Kosta Dosen, Zoran Petric:
Generality of proofs and its Brauerian representation.
740-750 BibTeX
- William W. Tait:
The completeness of Heyting first-order logic.
751-763 BibTeX
- Christopher Barney:
Ultrafilters on the natural numbers.
764-784 BibTeX
- Alessandro Berarducci, Margarita Otero:
Transfer methods for o-minimal topology.
785-794 BibTeX
- Douglas S. Bridges, Luminita Vîta:
A proof-technique in uniform space theory.
795-802 BibTeX
- John T. Baldwin:
Expansions of geometries.
803-827 BibTeX
- Roland Hinnion, Thierry Libert:
Positive abstraction and extensionality.
828-836 BibTeX
- John Krueger:
Fat sets and saturated ideals.
837-845 BibTeX
- Itay Ben-Yaacov:
Discouraging results for ultraimaginary independence theory.
846-850 BibTeX
- Koji Nakazawa, Makoto Tatsuta:
Strong normalization proof with CPS-translation for second order classical natural deduction.
851-859 BibTeX
- Alexandra Shlapentokh:
Existential definability with bounds on archimedean valuations.
860-878 BibTeX
- Thomas E. Forster, J. K. Truss:
Non-well-foundedness of well-orderable power sets.
879-884 BibTeX
- George Barmpalias:
The approximation structure of a computably approximable real.
885-922 BibTeX
- David Pierce:
Differential forms in the model theory of differential fields.
923-945 BibTeX
- Max A. Dickmann, Francisco Miraglia:
Elementary properties of the Boolean hull and reduced quotient functors.
946-971 BibTeX
- Yong Wang, Angsheng Li:
A hierarchy for the plus cupping Turing degrees.
972-988 BibTeX
- Antonio Montalbán:
Embedding jump upper semilattices into the Turing degrees.
989-1014 BibTeX
- Joan Rand Moschovakis:
Classical and constructive hierarchies in extended intuitionistic analysis.
1015-1043 BibTeX
- Peter Cholak, Leo Harrington:
Isomorphisms of splits of computably enumerable sets.
1044-1064 BibTeX
Copyright © Sun May 17 00:11:53 2009
by Michael Ley (ley@uni-trier.de)
