No label defined (Q4938220)

The articles of this volume will be reviewed individually. The abstracts of talks of this colloquium have been announced in MATH-Database. The 1997 colloquium has been been reviewed (see Zbl 0919.00039 and Zbl 0919.00040). Indexed articles: \textit{Ambos-Spies, Klaus; Bentzien, Levke; Fejer, Peter A.; Merkle, Wolfgang; Stephan, Frank}, Collapsing polynomial-time degrees, 1-24 [Zbl 0951.03039] \textit{Arló Costa, Horacio}, Qualitative and probabilistic models of full belief, 25-43 [Zbl 0942.03021] \textit{Arslanov, Marat M.; Sorbi, Andrea}, Relative splittings of \(\mathbf 0_e\prime\) in the \(\Delta_2^0\)-enumeration degrees, 44-56 [Zbl 0951.03034] \textit{Avigad, Jeremy}, A realizability interpretation for classical arithmetic, 57-90 [Zbl 0946.03071] \textit{Baaz, Matthias; Veith, Helmut}, An axiomatization of quantified propositional Gödel logic using the Takeuti-Titani rule, 91-104 [Zbl 0943.03020] \textit{Beklemishev, L.}, Another pathological well-ordering, 105-108 [Zbl 0943.03045] \textit{Brendle, Jörg}, How small can the set of generics be?, 109-126 [Zbl 0943.03038] \textit{Cederquist, Jan; Coquand, Thierry}, Entailment relations and distributive lattices, 127-139 [Zbl 0948.03056] \textit{Chong, Chi Tat; Qian, Lei; Yang, Yue}, The Friedberg jump inversion theorem revisited: A study of undefinable cuts, 140-153 [Zbl 0954.03042] \textit{Cooper, S. Barry}, Hartley Rogers' 1965 agenda, 154-172 [Zbl 0949.03037] \textit{Farah, Ilijas}, Liftings of homomorphisms between quotient structures and Ulam stability, 173-196 [Zbl 0945.03070] \textit{Hájek, Petr}, Mathematical fuzzy logic -- state of art, 197-205 [Zbl 0949.03023] \textit{Hauser, Kai}, Reflections on the last Delfino problem, 206-225 [Zbl 0972.03044] \textit{Hjorth, Greg}, Continuous images of coanalytic sets, 226-237 [Zbl 0954.03049] \textit{Höhle, Ulrich}, Classification of subsheaves over \(GL\)-algebras, 238-261 [Zbl 0946.03080] \textit{Johannsen, Jan; Pollett, Chris}, On the \(\Delta_1^b\)-bit-comprehension rule, 262-279 [Zbl 0988.03088] \textit{Kamo, Shizuo}, Cardinal invariants associated with predictors, 280-295 [Zbl 0943.03037] \textit{Komjáth, Péter}, A theorem on countable ordered sets with an application to universal graphs, 296-301 [Zbl 0943.06002] \textit{Lipshitz, Leonard; Robinson, Zachary}, Dimension theory and smooth stratification of rigid subanalytic sets, 302-315 [Zbl 0978.14046] \textit{Mlček, Josef; Zlatoš, Pavol}, The Ramsey structure of \(A\)-determined sets in a \(\kappa\)-saturated universe, 316-333 [Zbl 0944.03044] \textit{Morozov, A. S.}, On \(\Sigma\)-definability of admissible sets, 334-351 [Zbl 0960.03038] \textit{Palyutin, Evgeni A.}, Additive theories, 352-356 [Zbl 0942.03045] \textit{Peterzil, Y.; Speissegger, P.; Starchenko, S.}, Adding multiplication to an o-minimal expansion of the additive group of real numbers, 357-362 [Zbl 0945.03057] \textit{Rathjen, Michael}, The superjump in Martin-Löf type theory, 363-386 [Zbl 0944.03057] \textit{Rott, Hans}, ``Just because'': Taking belief bases seriously, 387-408 [Zbl 0942.03025] \textit{Schoutens, Hans}, Artin approximation via the model theory of Cohen-Macaulay rings, 409-425 [Zbl 0947.03052] \textit{Setzer, Anton}, Ordinal systems. II: One inaccessible, 426-448 [Zbl 0951.03051] \textit{Strahm, Thomas}, Autonomous fixed point regressions and fixed point transfinite recursion, 449-464 [Zbl 0943.03044] \textit{Tupailo, Sergei}, Finitary reductions for local predicativity. I: Recursively regular ordinals, 465-499 [Zbl 0949.03053] \textit{Urquhart, Alasdair}, The complexity of linear logic with weakening, 500-515 [Zbl 0949.03058] \textit{Welch, Philip D.}, Some remarks on the maximality of inner models, 516-540 [Zbl 0943.03039] Bolzano Medal awarded to Gaisi Takeuti, viii-xii [Zbl 0942.01029]