scientific article; zbMATH DE number 3815601

MaRDI QIDQ3663255zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1982

zbMATH Keywords

countable model theoryincompleteness theoremsecond-order theoriesmeta-mathematicsconstruction axiomselementary comprehensionpairing structurepositive existential formulas

Mathematics Subject Classification ID

Cited in

(5)

• A theory for program and data type specification
• Automated search for Gödel's proofs
• Intensionality in mathematics
• Generalizing classical and effective model theory in theories of operations and classes
• Understanding uniformity in Feferman's explicit mathematics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3663255)