The following pages link to David Isles (Q689205):
Displayed 11 items.
- What evidence is there that \(2^{\land}65536\) is a natural number? (Q689206) (← links)
- First-order reasoning and primitive recursive natural number notations (Q708925) (← links)
- A finite analog to the Löwenheim-Skolem theorem (Q1338480) (← links)
- (Q3032253) (← links)
- (Q3777985) (← links)
- (Q3824310) (← links)
- (Q3910524) (← links)
- (Q4106174) (← links)
- Natural well-orderings (Q4405144) (← links)
- (Q4943159) (← links)
- (Q5606584) (← links)