scientific article; zbMATH DE number 16881

zbMATH Open0735.03012MaRDI QIDQ3973572FDOQ3973572

Mario Ornaghi, Ugo Moscato, Pierangelo Miglioli

Publication date: 26 June 1992

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

Recommendations

• scientific article
• 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

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)

Cited In (2)

• A proof-theoretical analysis of semiconstructive intermediate theories
• Title not available (Why is that?)

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)