Pages that link to "Item:Q3252699"
From MaRDI portal
The following pages link to The classical and the <i>ω</i>-complete arithmetic (Q3252699):
Displayed 9 items.
- A formal system of partial recursive functions (Q1218847) (← links)
- On expandability of models of Peano arithmetic. II (Q1236115) (← links)
- In memory of Andrzej Mostowski (Q1237769) (← links)
- Presuppositional completeness (Q1823929) (← links)
- Representability in some systems of second order arithmetic (Q2545877) (← links)
- On a problem of Kleene’s (Q3276698) (← links)
- Some examples of Borel‐inseparable pairs of coanalylic sets (Q3742322) (← links)
- La prédicativité (Q5339291) (← links)
- Representability of recursively enumerable sets in formal theories (Q5720192) (← links)