scientific article; zbMATH DE number 4116521

zbMath0682.03031MaRDI QIDQ4731182

Solomon Feferman

Publication date: 1989

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

zbMATH Keywords

languagesGödel's incompleteness theoremsaxiomatic theoryformalization of metamathematicscomputer implementation of logicsconservative extension of primitive recursive arithmeticfinitary inductive systeminductive closure conditions

Mathematics Subject Classification ID

Inductive definability (03D70)

Related Items

Unnamed Item, A Framework for Formalizing Set Theories Based on the Use of Static Set Terms, Non-well-founded deduction for induction and coinduction, A Framework for Defining Logical Frameworks, The practice of logical frameworks