Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:alsoKnownAs |
gptkb:Fundamental_theorem_of_ultraproducts
|
| gptkbp:appliesTo |
ultrafilters
ultraproducts |
| gptkbp:countryOfOrigin |
gptkb:Poland
|
| gptkbp:field |
gptkb:logic
model theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Łoś's theorem
|
| gptkbp:importantFor |
shows transfer of first-order properties to ultraproducts
|
| gptkbp:language |
gptkb:first-order_logic
|
| gptkbp:namedAfter |
gptkb:Jerzy_Łoś
|
| gptkbp:publishedIn |
1955
|
| gptkbp:state |
A first-order formula holds in an ultraproduct if and only if it holds in 'almost all' factors
|
| gptkbp:usedIn |
gptkb:nonstandard_analysis
model theory |
| gptkbp:bfsParent |
gptkb:Jerzy_Łoś
|
| gptkbp:bfsLayer |
5
|