Pages that link to "Item:Q3252699"
From MaRDI portal
The following pages link to The classical and the <i>ω</i>-complete arithmetic (Q3252699):
Displayed 16 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)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- Presuppositional completeness (Q1823929) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Representability in some systems of second order arithmetic (Q2545877) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- On a problem of Kleene’s (Q3276698) (← links)
- Some examples of Borel‐inseparable pairs of coanalylic sets (Q3742322) (← links)
- GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (Q4600818) (← links)
- A View of Revival of Mathematical Logic in Warsaw, 1945–1975 (Q4611698) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- La prédicativité (Q5339291) (← links)
- Representability of recursively enumerable sets in formal theories (Q5720192) (← links)