scientific article

From MaRDI portal

Revision as of 12:24, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3310620

Jump to:navigation, search

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 slash existence properties disjunction properties free topos with NNO Freyd cover

Mathematics Subject Classification ID

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

Related Items (4)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3310620&oldid=16535385"