scientific article

zbMath0529.03039MaRDI QIDQ3310620

Andrej Scedrov, Philip J. Scott

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Friedman slashexistence propertiesdisjunction propertiesfree topos with NNOFreyd cover

Mathematics Subject Classification ID

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

Related Items

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