scientific article; zbMATH DE number 5186437

MaRDI QIDQ3590905zbMATH OpenFDO

Authors Sergei Tupailo

Publication date 3 September 2007

zbMATH Keywords

consistencyQuine's NF

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• Fixed point constructions
• Fixed-point models for theories of properties and classes
• Fixed point theorems in constructive mathematics
• scientific article; zbMATH DE number 4047715
• Fixed points of self-embeddings of models of arithmetic
• scientific article; zbMATH DE number 1131205
• On fixpoint objects and gluing constructions
• scientific article; zbMATH DE number 107665
• Fixed points of modal schemes
• scientific article; zbMATH DE number 3918348

Cited in

(1)

• Monotone inductive definitions and consistency of New Foundations

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 Q3590905)