scientific article; zbMATH DE number 16881

MaRDI QIDQ3973572zbMATHFDO

Authors Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Publication date 26 June 1992

zbMATH Keywords

disjunction propertyfirst-order theoriesintermediate logicsconstructive theoryexplicit definability property

Mathematics Subject Classification ID

Intermediate logics (03B55) Metamathematics of constructive systems (03F50) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4089536
• A proof-theoretical analysis of semiconstructive intermediate theories
• Constructive theory of sets with types; compatibility with Church's thesis
• Correlation of some notions of constructive model theory
• scientific article; zbMATH DE number 16511

Cited in

(2)

• A proof-theoretical analysis of semiconstructive intermediate theories
• scientific article; zbMATH DE number 4089536 (Why is no real title available?)

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