scientific article; zbMATH DE number 3995669

zbMATH Open0615.03045MaRDI QIDQ4723729FDOQ4723729

Authors: Solomon Feferman 

Publication date: 1985

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

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

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

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)

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 \(\mu\)-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)