PropertyValue
rdf:type
rdfs:label
  • Ultraproduct
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Ultraproduct
skos:altLabel
  • Ultraproduct#Łoś's_theorem
  • pointwise modulo
  • ultrapower
  • ultrapowers
  • ultraproduct
  • ultraproduct#Łoś's theorem
  • ultraproducts and ultrapowers
  • Łoś' theorem
  • Łoś's theorem
is clgo:knownFor of