scientific article; zbMATH DE number 2174394

MaRDI QIDQ4681897zbMATH OpenFDO

Authors Matthias Baaz

Publication date 8 June 2005

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• Note on Conditional Constructivity
• scientific article; zbMATH DE number 490758
• scientific article; zbMATH DE number 2169529
• scientific article; zbMATH DE number 3121727
• A translation characterizing the constructive content of classical theories
• A note on Laguerre translations
• scientific article; zbMATH DE number 1406469
• Translation procedures in descriptive inner model theory
• Note on the existence of translation nets
• scientific article; zbMATH DE number 1460682

Cited in

(3)

• Controlling witnesses
• A translation characterizing the constructive content of classical theories
• Note on Conditional Constructivity

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