Continuity in intuitionistic set theories / Michael Beeson -- Stabel algebraic theories / Gregory Cherlin -- Un résultat de non contradiction relative au sujet de la conjecture de SOLOVAY / René David -- Remarks on constructive mathematical analysis / O. Demuth, A. Kučera -- Diophantine problem for polynomial rings of positive characteristic / J. Denef -- Algorithms and bounds for poloynomial rings -- Constructive theories of function and classes / Solomon Feferman -- On partially conservative extensions of arithmetic / Petr Hájek -- Weakly separated subspaces and networks / A. Hajnal, I. Juhász -- Equivalence relations, projective and beyond / L. Harrington, R. Sami -- Projections of lawless sequences II / G.F. van der Hoeven, A.S. Troelstra -- Linear orders in (w)w under eventual dominance / Richard Laver -- Hypermeasurable cardinals / William Mitchell -- On the number of expansions of the models of ZFC-set theory to models of KM-theory of classes -- A fine structure generated by reflection formulas over primitive recursive arithmetic / Ulf. R. Schmerl -- Logic and the axiom of choice / H. Schwichtenberg -- On successors of singular cardinals / Saharon Shelah -- Paul Bernays / E. Speaker -- Abstract logic and set theory, I, definability / Jouko Väänänen -- Lattice products / Volker Weispfenning -- Some o-fields of subsets of reals / Bogdan Weglorz.

International conference proceedings.

Print version record.

Includes bibliographical references.

Provability, Computability and Reflection.

Elsevier ScienceDirect All Books