Volume 141,
Numbers 1-2,
August 2006
- John Krueger:
Adding clubs with square.
1-28
Electronic Edition (link) BibTeX
- Robert S. Lubarsky:
CZF and Second Order Arithmetic.
29-34
Electronic Edition (link) BibTeX
- Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat:
Remarks on isomorphisms in typed lambda calculi with empty and sum types.
35-50
Electronic Edition (link) BibTeX
- George Barmpalias, Andrew E. M. Lewis:
The ibT degrees of computably enumerable sets are not dense.
51-60
Electronic Edition (link) BibTeX
- Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov:
Effective categoricity of equivalence structures.
61-78
Electronic Edition (link) BibTeX
- Angsheng Li, Guohua Wu, Yue Yang:
Bounding computably enumerable degrees in the Ershov hierarchy.
79-88
Electronic Edition (link) BibTeX
- Philipp Gerhardy, Ulrich Kohlenbach:
Strongly uniform bounds from semi-constructive proofs.
89-107
Electronic Edition (link) BibTeX
- Monica Van Dieren:
Categoricity in abstract elementary classes with no maximal models.
108-147
Electronic Edition (link) BibTeX
- Franco Montagna:
Interpolation and Beth's property in propositional many-valued logics: A semantic investigation.
148-179
Electronic Edition (link) BibTeX
- Valentin Goranko, Dimiter Vakarelov:
Elementary canonical formulae: extending Sahlqvist's theorem.
180-217
Electronic Edition (link) BibTeX
- Pavel Naumov:
On modal logic of deductive closure.
218-224
Electronic Edition (link) BibTeX
- Kosta Dosen, Zoran Petric:
Coherence for star-autonomous categories.
225-242
Electronic Edition (link) BibTeX
- Nikolai V. Krupski:
Typing in reflective combinatory logic.
243-256
Electronic Edition (link) BibTeX
- Hajime Ishihara, Erik Palmgren:
Quotient topologies in constructive set theory and type theory.
257-265
Electronic Edition (link) BibTeX
- Yves Guiraud:
The three dimensions of proofs.
266-295
Electronic Edition (link) BibTeX
- Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta:
Quasi-apartness and neighbourhood spaces.
296-306
Electronic Edition (link) BibTeX
Volume 141,
Number 3,
September 2006
Papers presented at the Second St. Petersburg Days of Logic and Computability Conference on the occasion of the centennial of Andrey Andreevich Markov,
Jr.
- Yuri Matiyasevich, Sergei N. Artëmov:
Preface.
307
Electronic Edition (link) BibTeX
- Danièle Beauquier:
Decidable properties for monadic abstract state machines.
308-319
Electronic Edition (link) BibTeX
- Anatoly Petrovich Beltiukov:
A nonasymptotic lower time bound for a strictly bounded second-order arithmetic.
320-324
Electronic Edition (link) BibTeX
- A. V. Chernavsky, V. P. Leksine:
Unrecognizability of manifolds.
325-335
Electronic Edition (link) BibTeX
- Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
On complexity of verification of interacting agents' behavior.
336-362
Electronic Edition (link) BibTeX
- S. Fratani, Géraud Sénizergues:
Iterated pushdown automata and sequences of rational numbers.
363-411
Electronic Edition (link) BibTeX
- Dima Grigoriev, S. Vakulenko:
Algorithms and complexity in biological pattern formation problems.
412-428
Electronic Edition (link) BibTeX
- Edward A. Hirsch, Arist Kojevnikov:
Several notes on the power of Gomory-Chvátal cuts.
429-436
Electronic Edition (link) BibTeX
- Andrej Muchnik, Alexei L. Semenov:
Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets.
437-441
Electronic Edition (link) BibTeX
- Michael Rathjen, Sergei Tupailo:
Characterizing the interpretation of set theory in Martin-Löf typetheory.
442-471
Electronic Edition (link) BibTeX
- Dan E. Willard:
A generalization of the Second Incompleteness Theorem and some exceptions to it.
472-496
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:50:47 2009
by Michael Ley (ley@uni-trier.de)
