Search
Now showing items 1-4 of 4
Kardinalitet utan Urvalsaxiomet; ett potpourri
(2011-05-10)
Urvalsaxiomet (AC) är numera allmänt accepterat som ett naturligt fun-
dament i mängdlära. Här presenterar vi hur kardinalitet och kardinaltal kan
de nieras utan AC och visar ett antal klassiska resultat om vad som kan ...
Morley’s number of countable models
(2011-05-10)
A theory formulated in a countable predicate calculus can have at most
2א0 nonisomorphic countable models. In 1961 R. L. Vaught [9] conjected
that if such a theory has uncountably many countable models, then it has
exactly ...
Omitting Types and Model Theory
(2011-05-10)
This essay is an attempt to create some model theory specific for the context of
a type being omitted.