scientific article; zbMATH DE number 3839955

MaRDI QIDQ3310620zbMATH OpenFDO

Authors Andre Scedrov, Philip Scott

Publication date 1982

zbMATH Keywords

disjunction propertiesexistence propertiesfree topos with NNOFreyd coverFriedman slash

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Topoi (18B25)

Cited in

(5)

• Lindenbaum algebras of intuitionistic theories and free categories
• Connectification for n-contraction
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Choice and independence of premise rules in intuitionistic set theory
• On the existence and disjunction properties in structural set 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 Q3310620)