scientific article; zbMATH DE number 4160705

MaRDI QIDQ3487326zbMATH OpenFDO

Authors Giacomo Lenzi

Publication date 1989

zbMATH Keywords

Foundations of Mathematicsself-referential theoriesZermelo-Fraenkel Set Theory

Mathematics Subject Classification ID

Models of other mathematical theories (03C65)

Recommendations

• scientific article; zbMATH DE number 4213973
• scientific article; zbMATH DE number 1418078
• Arithmetical set theory
• Anti-foundation and self-reference
• A basic theory with predicates

Cited in

(8)

• Models of arithmetic in \(A\)-isols
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• scientific article; zbMATH DE number 4213973 (Why is no real title available?)
• Self-reference with negative types
• scientific article; zbMATH DE number 4077201 (Why is no real title available?)
• A partial model of NF with ZF
• scientific article; zbMATH DE number 2236624 (Why is no real title available?)
• A basic theory with predicates

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