Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
edited by Maurice Boffa, Dirkvan Dalen and Kenneth Mcaloon.
- Amsterdam : North-Holland, 1979.
- 1 online resource (434 pages).
- Studies in logic and the foundations of mathematics, 97 0049-237X ; .
- Studies in logic and the foundations of mathematics ; v. 97. .
International conference proceedings.
Includes bibliographical references.
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.
Provability, Computability and Reflection.
9780080955056 0080955053
Logic, Symbolic and mathematical--Congresses. MATHEMATICS--Infinity. MATHEMATICS--Logic. Logic, Symbolic and mathematical.