Pages that link to "Item:Q5015727"
From MaRDI portal
The following pages link to PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC (Q5015727):
Displaying 6 items.
- A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets (Q790804) (← links)
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- A normal form supplement to the Oettli-Prager theorem (Q2484025) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)