Pages that link to "Item:Q6094157"
From MaRDI portal
The following pages link to Refining the arithmetical hierarchy of classical principles (Q6094157):
Displaying 7 items.
- Classical arithmetic is quite unnatural (Q3592791) (← links)
- PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC (Q5015727) (← links)
- Automata, Languages and Programming (Q5466549) (← links)
- HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC (Q5501766) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)