scientific article; zbMATH DE number 3815601

zbMATH Open0516.03006MaRDI QIDQ3663255FDOQ3663255

Authors: Solomon Feferman 

Publication date: 1982

Title of this publication is not available (Why is that?)

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)