PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC

Akama et al. [1] systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they first provide a prenex normal form theorem as a justification of their semi-classical principles restricted to prenex f...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of symbolic logic 2021-09, Vol.86 (3), p.1124-1153
Hauptverfasser:	FUJIWARA, MAKOTO, KURAHASHI, TAISHI
Format:	Artikel
Sprache:	eng
Schlagworte:	Principles Theorems Variables
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!