David Isles
From MaRDI portal
Person:689205
Available identifiers
zbMath Open isles.davidMaRDI QIDQ689205
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
First-order reasoning and primitive recursive natural number notations | 2010-10-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4943159 | 2000-10-23 | Paper |
A finite analog to the Löwenheim-Skolem theorem | 1995-08-27 | Paper |
What evidence is there that \(2^{\land}65536\) is a natural number? | 1993-12-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q3032253 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3824310 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3777985 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3910524 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4106174 | 1975-01-01 | Paper |
Natural well-orderings | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5606584 | 1970-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: David Isles