scientific article; zbMATH DE number 1339027

zbMath0929.03052MaRDI QIDQ4264381

Harvey M. Friedman

Publication date: 22 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

forcingZFCreverse mathematicswell-quasi-orderingindependence resultsfoundations of mathematicsfinite graphsGödel's incompleteness theoremsfinite treespredicativityBorel measurabilityBorel diagonalizationconstructible hierarchyCantor's theoremfinite Ramsey theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Undecidability and degrees of sets of sentences (03D35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

On the Axiom of Canonicity

This page was built for publication: