Löwenheim-Skolem theorem
Feit-Thompson theorem
compactification
diagonal argument
Sylow theorem
Bell's theorem
Sperner's theorem
axiom of infinity
Schinzel's hypothesis H
Dickson's conjecture
Cantor's theorem
complex projective line
Dirichlet series
power series
conservative extension
well-behaved
Kochen-Specker theorem
proregular
pseudoinfinite
amorphous
Gödel's incompleteness theorem
turtles all the way down
axiom of countable choice
Kodaira vanishing theorem
Goodstein's theorem
arithmetical hierarchy
Bell-Kochen-Specker theorem
indeterminate
computable
Scott's trick
polygenic
Bertrand's paradox
Cantor dust
generalized continuum hypothesis
Galileo's paradox
wellpowered
Bézout's identity
Turing jump
Cantor-Bendixson theorem
Gibbs measure
Paris-Harrington theorem
Ax-Kochen theorem
Pell number
scientific materialism
quantise
Størmer's theorem
chain group
Grandi's series
convergency
alternating series
determinism
Elliott-Halberstam conjecture
quantize
rational root theorem
convergence
Slutsky's theorem
central limit theorem
foundherentism
no-go theorem
no free lunch theorem
Zermelo-Fraenkel set theory
algebraic variety
naive Bayes classifier
skepticism
hyperstability
informal fallacy
geometric series
Herbrandization
divergence
Witt group
Zorn's lemma
Fermat's little theorem
axiomatic system
divergency
Kruskal's tree theorem
absolutely convergent
numerical analysis
Girard's paradox
path integral formalism
Büchi automaton
Turing degree
continuum hypothesis
neocriticism
Gelfond-Schneider theorem
Sylvester-Gallai theorem
boundary homomorphism
infinity
positivism
epsilontic
NBG
Bombieri-Friedlander-Iwaniec theorem
heuristic
theorem
Coxeter group
unirational
irregular
atheoretical
coinvariant
first principle
vacuum catastrophe

English words for 'A theorem stating that, if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism.'

As you may have noticed, above you will find words for "A theorem stating that, if a countable first-order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The result implies that first-order theories are unable to control the cardinality of their infinite models, and that no first-order theory with an infinite model can have a unique model up to isomorphism.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries

single cell to cause casualties year of publication to dabble in counterpart anti-establishment encephalomalacia machismo self-will draft exemption To cover over Cushing's syndrome baby language women's magazine provider of funds stopping place wickedly. for Christ's sake FIFO African-American to break wind. Unlucky Intermediate Common Era nocturnal. breaking off breaking wind man among men sea pink aristocracy achievements deceive warming to be found hydrometer furrow coffin herbal medicine winking absent-mindedly stew gossiping causing jumping inauguration to afflict affectionate stomach near intelligence