Implicit dynamic function introduction and Ackermann-like function theory

MaRDI QIDQ5215783zbMATH OpenFDO

Authors Marcos Cramer

Publication date 13 February 2020

zbMATH Keywords

Ackermann set theorydymamic predicate logicfunction introductionfunction theory

Mathematics Subject Classification ID

Logic of natural languages (03B65) Nonclassical and second-order set theories (03E70)

Recommendations

• An axiomatic theory for partial functions
• Concerning the Axioms of Ackermann's Set Theory
• scientific article; zbMATH DE number 3912360
• scientific article; zbMATH DE number 5870377
• scientific article; zbMATH DE number 1221836

Cited in

(1)

• Extending flexible Boolean semantics for the language of mathematics

This page was built for publication: Implicit dynamic function introduction and Ackermann-like function theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215783)