scientific article; zbMATH DE number 5186437

zbMATH Open1123.03048MaRDI QIDQ3590905FDOQ3590905

Authors: Sergei Tupailo 

Publication date: 3 September 2007

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

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

zbMATH Keywords

consistencyQuine's NF

Mathematics Subject Classification ID

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

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)