theorem that, for any signature 𝜎, any infinite 𝜎-structure 𝑀 and any infinite cardinal 𝜅≥|𝜎|, there is a 𝜎‐structure 𝑁 of cardinality 𝜅 that is either an elementary substructure or an elementary extension of 𝑀
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).