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 Choicedirect formalization of mathematicsformal theoriesformalization of some parts of classical and modern analysisvariable types

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

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

Cited in

(12)

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

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)