scientific article; zbMATH DE number 3995669

MaRDI QIDQ4723729zbMATH OpenFDO

Authors Solomon Feferman

Publication date 1985

Full work available at URL https://eudml.org/doc/181749

zbMATH Keywords

Axiom of Choicevariable typesformal theoriesdirect formalization of mathematicsformalization of some parts of classical and modern analysis

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 3841847
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
• The axiom of choice and combinatory logic
• scientific article; zbMATH DE number 3853066
• scientific article; zbMATH DE number 3313431

Cited in

(12)

• A variable typed logic of effects
• A first order logic of effects
• The method of types [information theory]
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• A theory for program and data type specification
• The machinery of consistency proofs
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. II
• Smooth infinitesimals in the metaphysical foundation of spacetime theories
• Reflection principles for synthetic theories of smooth manifolds
• Between constructive mathematics and PROLOG
• Systems of explicit mathematics with non-constructive -operator and join
• An interactive calculus theorem-prover for continuity properties

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