Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Collection : Studies in logic and the foundations of mathematics, 0049-237X ; . 97 Détails physiques : 1 online resource (434 pages) ISBN :9780080955056 (electronic bk.); 0080955053 (electronic bk.).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.
Description based on print version record.
Includes bibliographical references.
Il n'y a pas de commentaire pour ce document.