Format:
vii, 434 Seiten
Edition:
Online-Ausg. [Amsterdam] Elsevier [2021?] 1 Online Ressource
ISBN:
9780080955056
,
0080955053
,
9780444853783
Series Statement:
Studies in logic and the foundations of mathematics volume 97
Content:
Provability, Computability and Reflection
Note:
International conference proceedings. - Includes bibliographical references. - Print version record
,
Continuity in intuitionistic set theories / Michael BeesonStabel 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.
,
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.
Additional Edition:
ISBN 0444853782
Additional Edition:
Erscheint auch als Druck-Ausgabe Logic colloquium (1978 : Mons, Belgium) Logic colloquium '78 Amsterdam : North-Holland, 1979 ISBN 0444853782
Additional Edition:
ISBN 9780444853783
Additional Edition:
Elektronische Reproduktion von Logic Colloquium (1978 : Mons, Bruxelles) Logic Colloquium '78 Amsterdam [u.a.] : North-Holland Publ., 1979 ISBN 0444853782
Language:
English
Subjects:
Mathematics
Keywords:
Mathematische Logik
;
Electronic books
;
Electronic books
;
Konferenzschrift
;
Konferenzschrift
Author information:
Dalen, Dirk van 1932-
