Realizability: a historical essay

From MaRDI portal

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

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

Publication:5894815

Jump to:navigation, search

DOI10.1017/S0960129502003626zbMath1003.03003OpenAlexW2165267619MaRDI QIDQ5894815

Jaap van Oosten

Publication date: 31 October 2002

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129502003626

zbMATH Keywords

historical survey topos theory intuitionism intuitionistic arithmetical theories ralizability

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Topoi (18B25) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)

Related Items (11)

Constructive Game Logic ⋮ Realisability for infinitary intuitionistic set theory ⋮ Implicative algebras: a new foundation for realizability and forcing ⋮ A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS ⋮ Proof theory in the abstract ⋮ Analyzing realizability by Troelstra's methods ⋮ Mass problems and intuitionistic higher-order logic ⋮ Constructive hybrid games ⋮ Aspects of Categorical Recursion Theory ⋮ More exact completions that are toposes ⋮ Randomising realizability

This page was built for publication: Realizability: a historical essay

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