Van Oosten Jaap. Realizability: An Introduction to Its Categorical Side

• Файл формата pdf
• размером 4,42 МБ

• Добавлен пользователем Амартия 10.12.2023 03:11
• Описание отредактировано 28.01.2024 23:37

Elsevier, 2008. — 310 p. — (Studies in Logic and the Foundations of Mathematics 152).

Contents.
Introduction.
Partial Combinatory Algebras.
Realizability triposes and toposes.
The Effective Topos.
Variations.