Keywords:
Logic, Symbolic and mathematical Congresses
;
van Logic, Symbolic and mathematical
;
Boffa
;
Dalen
;
McAloon
;
Logic, Symbolic and mathematical Congresses
;
Logic, Symbolic and mathematical Periodicals
;
Set theory
;
System analysis
;
Congresses
;
Logic, Symbolic and mathematical
;
MATHEMATICS ; Logic
;
Conference papers and proceedings
;
MATHEMATICS ; Infinity
;
Conference papers and proceedings
;
Electronic books
;
Electronic books Conference papers and proceedings
;
Konferenzschrift
;
Konferenzschrift 1978
;
Mathematische Logik
Description / Table of Contents:
Provability, Computability and Reflection
Type of Medium:
Online Resource
Pages:
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
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/97
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/97
URL:
http://www.sciencedirect.com/science/book/9780444853783
Language:
English
,
French
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.
Permalink