scientific article; zbMATH DE number 3839955

zbMATH Open0529.03039MaRDI QIDQ3310620FDOQ3310620

Authors: Andre Scedrov, Philip Scott 

Publication date: 1982

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

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)

• Lindenbaum algebras of intuitionistic theories and free categories
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Connectification for \(n\)-contraction
• Choice and independence of premise rules in intuitionistic 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)