scientific article; zbMATH DE number 3839955

zbMATH Open0529.03039MaRDI QIDQ3310620FDOQ3310620

Authors Andre Scedrov, Philip Scott

Publication date 1982

zbMATH Keywords

Friedman slashexistence propertiesdisjunction propertiesfree topos with NNOFreyd cover

Mathematics Subject Classification ID

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

Cited in

(4)

• Choice and independence of premise rules in intuitionistic set theory
• 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

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)