Realizability: a historical essay
From MaRDI portal
Publication:5894815
DOI10.1017/S0960129502003626zbMath1003.03003OpenAlexW2165267619MaRDI QIDQ5894815
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
History of mathematics in the 20th century (01A60) Topoi (18B25) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)
Related Items
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
