scientific article; zbMATH DE number 3815601

MaRDI QIDQ3663255zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1982

zbMATH Keywords

construction axiomscountable model theoryelementary comprehensionincompleteness theoremmeta-mathematicspairing structurepositive existential formulassecond-order theories

Mathematics Subject Classification ID

Cited in

(5)

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

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)