Hilbertian Toposes Epsilon Toposes

We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pasquali, Fabio
Format:	Artikel
Sprache:	eng
Schlagworte:	Mathematics - Category Theory
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
DOI:	10.48550/arxiv.1603.00822