Notes in Logic, 13
Logic Colloquium '98
Proceedings of the Annual European Summer
Meeting of the Association for Symbolic Logic,
held in Prague, Czech Republic
August 9-15, 1998
Sam Buss, Petr Hajek, Pavel Pudlak, editors
is the proceedings of the 1998 European Summer Meeting of the
Association for Symbolic Logic, Logic Colloquium '98. The meeting
was held at the University of Economics in Prague, August 9-15,
1998. This volume contains papers covering current research from
all areas of mathematical logic, including Proof Theory, Set Theory,
Model Theory, Computability Theory, and Philosophy. There are
twelve articles on Proof Theory; a survey of fuzzy logic; nine
articles on Set Theory; four articles on H. Rogers' 1965 agenda
for recursive function theory; four articles on Model Theory;
and two articles on Belief Theories. A number of these articles
deal with theoretical computer science.
560 pages. Hardcover.
560 pages. Paperback.
Collapsing polynomial-time degrees.
K. Ambos-Spies, L. Bentzien, P. A. Fejer, W. Merkle, and F. Stephan.
Qualitative and probabilistic models of full belief.
H. Arl Costa
Relative splittings of $0^\prime_e$ in the $\Delta^0_2$-enumeration
M. M. Arslanov and A. Sorbi
A realizability interpretation for classical arithmetic.
An axiomatization of quantified propositional Godel logic using
the Takeuti-Titani rule.
M. Baaz and H. Veith
Another pathological well-ordering.
How small can the set of generics be?
Entailment relations and distributive lattices.
J. Cederquist and T. Coquand
The Friedberg jump inversion theorem revisited: a study of undefinable
C. T. Chong, L. Qian, and Y. Yang
Hartley Rogers' 1965 agenda.
S. B. Cooper
Liftings of homomorphisms between quotient structures and Ulam stability.
Mathematical fuzzy logic - state of art.
Reflections on the last Delfino problem.
Continuous images of coanalytic sets.
Classification of subsheaves over GL-algebras.
On the $\Delta^b_1$ bit-comprehension rule.
J. Johannsen and C. Pollett
Cardinal invariants associated with predictors.
A theorem on countable ordered sets with an application to universal
Dimension theory and smooth stratification of rigid subanalytic
L. Lipshitz and Z. Robinson
The Ramsey structure of A-determined sets in a $\kappa$-saturated
J. Mlcek and P. Zlatos
On $\Sigma$-Definability of admissible sets.
A. S. Morozov
E. A. Palyutin
Adding multiplication to an o-minimal expansion of the additive
group of real numbers.
Y. Peterzil, P. Speissegger, and S. Starchenko
The superjump in Martin-Lof type theory.
"Just because": Taking belief bases seriously.
Artin approximation via the model theory of Cohen-Macaulay rings.
Ordinal systems, part 2: one inaccessible.
Autonomous fixed point progressions and fixed point transfinite
Finitary reductions for local predicativity, I: recursively regular
The complexity of linear logic with weakening.
Some remarks on the maximality of inner models.
to LNL titles listing