Volume 70, Number 1, March 2005
Volume 70, Number 2, June 2005
- J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang:
Quantum logic as motivated by quantum computing.
353-359

- Antonio Montalbán:
Up to equimorphism, hyperarithmetic is recursive.
360-378

- Bradd Hart, Ziv Shami:
On the type-definability of the binding group in simple theories.
379-388

- W. C. Holland, S. Kuhlmann, S. H. McCleary:
Lexicographic exponentiation of chains.
389-409

- Harvey Friedman, Chris Miller:
Expansions of o-minimal structures by fast sequences.
410-418

- Oleg Pikhurko, Oleg Verbitsky:
Descriptive complexity of finite structures: Saving the quantifier rank.
419-450

- Dmitrij P. Skvortsov:
The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable.
451-459

- David Lippel:
Finitely axiomatizable omega-categorical theories and the Mazoyer hypothesis.
460-472

- Philipp Rothmaler:
Elementary epimorphisms.
473-487

- Jesper Carlström:
Interpreting descriptions in intensional type theory.
488-514

- André Nies, Frank Stephan, Sebastiaan Terwijn:
Randomness, relativization and Turing degrees.
515-535

- Katalin Bimbó:
The Church-Rosser property in symmetric combinatory logic.
536-556

- Andrés Eduardo Caicedo:
Projective well-orderings and bounded forcing axioms.
557-572

- Françoise Point:
Asymptotic theory of modules of separably closed fields.
573-592

- Y. Firat Çelikler:
Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields.
593-618

- Jan Krajícek:
Structured pigeonhole principle, search problems and hard tautologies.
619-630

- Jonathan Kirby:
A Schanuel condition for Weierstrass equations.
631-638

- Olivier Lessmann:
Upward categoricity from a successor cardinal for tame abstract classes with amalgamation.
639-660

- Jerry Gagelman:
A note on superstable groups.
661-663

- Françoise Delon:
Une fonction de Kolchin pour les corps imparfaits de degré d'imperfection fini.
664-680

Volume 70, Number 3, September 2005
- Spiros A. Argyros, Pandelis Dodos, Vassilis Kanellopoulos:
Tree structures associated to a family of functions.
681-695

- Johan van Benthem:
Minimal predicates, fixed-points, and definability.
696-712

- J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano:
Canonical extensions and relational completeness of some substructural logics.
713-740

- S. Barry Cooper, Angsheng Li, Andrea Sorbi, Yue Yang:
Bounding and nonbounding minimal pairs in the enumeration degrees.
741-766

- John Krueger:
Strong compactness and stationary sets.
767-777

- Patrick Caldon, Aleksandar Ignjatovic:
On mathematical instrumentalism.
778-794

- Frank Wolter, Michael Zakharyaschev:
A logic for metric and topology.
795-828

- Itay Ben-Yaacov:
Uncountable dense categoricity in cats.
829-860

- Till Tantau:
Weak cardinality theorems.
861-878

- Claire Kouwenhoven-Gentil, Jaap van Oosten:
Algebraic set theory and the effective topos.
879-890

- Verónica Becher, Serge Grigorieff:
Random reals and possibly infinite computations Part I: Randomness in EMPTY SET '.
891-913

- Jakob Kellner, Saharon Shelah:
Preserving preservation.
914-945

- Trevor M. Wilson:
A continuous movement version of the Banach - Tarski paradox: A solution to de Groot's Problem.
946-952

- Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
The axiom of elementary sets on the edge of Peircean expressibility.
953-968

- Laura Crosilla, Hajime Ishihara, Peter Schuster:
On constructing completions.
969-978

- Greg Hjorth:
Bi-Borel reducibility of essentially countable Borel equivalence relations.
979-992

- David Gabelaia, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Products of 'transitive' modal logics.
993-1021

- Philip Ehrlich:
Corrigendum to "Number systems with simplicity hierarchies: A generalization of Conway's theory of surreal numbers".
1022

- Jonathan Kirby:
Corrigendum to "A Schanuel Condition for Weierstrass Equations".
1023

Volume 70, Number 4, December 2005
Last update Sat May 18 20:44:16 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page