cardinalityCondition
P129095
predicate
Indicates a constraint on the number of instances or occurrences that a related entity or relationship must or may have.
Observed surface forms (1)
- hasCardinalityRestriction ×1
Sample triples (3)
| Subject | Object |
|---|---|
| Lindelöf space | no restriction on underlying set cardinality via predicate surface "hasCardinalityRestriction" ⓘ |
|
Löwenheim–Skolem theorem (via additional arguments)
surface form:
Löwenheim–Skolem theorem
|
for uncountable languages, yields models of cardinalities bounded in terms of the language size ⓘ |
|
Löwenheim–Skolem theorem (via additional arguments)
surface form:
Löwenheim–Skolem theorem
|
requires the language to be at most countable for the classical downward version ⓘ |