Pages that link to "Item:Q1375797"
From MaRDI portal
The following pages link to The \(\omega\)-consistency of elementary analysis (Q1375797):
Displaying 9 items.
- A subsystem of classical analysis proper to Takeuti's reduction method for \(\Pi ^ 1_ 1\)-analysis (Q1087871) (← links)
- Consistency proof via pointwise induction (Q1128178) (← links)
- A syntactic proof of the conservativity of \(\lambda_\omega\) over \(\lambda_2\) (Q1288430) (← links)
- A note on the \(\omega\)-incompleteness formalization (Q1337603) (← links)
- Alpha-theory: An elementary axiomatics for nonstandard analysis (Q1425690) (← links)
- Controversies in the foundations of analysis: comments on Schubring's \textit{Conflicts} (Q2013410) (← links)
- On an extremely restricted ω-rule (Q4132501) (← links)
- The relative consistency of <i>g</i> < cf(Sym(<i>ω</i>)) (Q4532616) (← links)
- (Q4722035) (← links)
