isNonArchimedean
P135622
predicate
Indicates that the structure satisfies a non-Archimedean property, meaning its ordering or valuation admits infinitely large or infinitesimal elements relative to the usual Archimedean comparison.
Observed surface forms (2)
- hasArchimedeanProperty ×1
- hasInfinitesimalProperty ×1
Sample triples (3)
| Subject | Object |
|---|---|
| Levi-Civita field | every positive infinitesimal is smaller than any positive real number via predicate surface "hasInfinitesimalProperty" ⓘ |
| Levi-Civita field | fails the Archimedean property via predicate surface "hasArchimedeanProperty" ⓘ |
| p-adic numbers | true ⓘ |