Volume 139,
Numbers 1-3,
May 2006
- Antonio Montalbán:
Equivalence between Fraïssé's conjecture and Jullien's theorem.
1-42
- Danièle Beauquier, Anatol Slissenko:
Periodicity based decidable classes in a first order timed logic.
43-73
- Oleg Pikhurko, Joel Spencer, Oleg Verbitsky:
Succinct definitions in the first order theory of graphs.
74-109
- Tapani Hyttinen, Olivier Lessmann:
Simplicity and uncountable categoricity in excellent classes.
110-137
- Jeremy Avigad, Ksenija Simic:
Fundamental notions of analysis in subsystems of second-order arithmetic.
138-184
- Stefano Berardi:
Some intuitionistic equivalents of classical principles for degree 2 formulas.
185-200
- Marko Djordjevic:
The finite submodel property and omega-categorical expansions of pregeometries.
201-229
- T. Mellor:
Imaginaries in real closed valued fields.
230-279
- Mirna Dzamonja, Saharon Shelah:
On properties of theories which preclude the existence of universal models.
280-302
- John Case, Keh-Jiann Chen, Sanjay Jain, Wolfgang Merkle, James S. Royer:
Generality's price: Inescapable deficiencies in machine-learned programs.
303-326
- Paul Corazza:
The spectrum of elementary embeddings j: V->V.
327-399
Last update Fri May 25 08:54:17 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
