how a theory can be categorical of a large cardinality?
$begingroup$
ehrenfeucht mostowski models eliminate types,also we can find saturated models of arbitrary large cardinalities, so I got confused how a theory can be categorical of that large cardinality?
logic first-order-logic model-theory
$endgroup$
add a comment |
$begingroup$
ehrenfeucht mostowski models eliminate types,also we can find saturated models of arbitrary large cardinalities, so I got confused how a theory can be categorical of that large cardinality?
logic first-order-logic model-theory
$endgroup$
add a comment |
$begingroup$
ehrenfeucht mostowski models eliminate types,also we can find saturated models of arbitrary large cardinalities, so I got confused how a theory can be categorical of that large cardinality?
logic first-order-logic model-theory
$endgroup$
ehrenfeucht mostowski models eliminate types,also we can find saturated models of arbitrary large cardinalities, so I got confused how a theory can be categorical of that large cardinality?
logic first-order-logic model-theory
logic first-order-logic model-theory
edited Dec 23 '18 at 8:54
Asaf Karagila♦
306k33437768
306k33437768
asked Dec 23 '18 at 7:42
user297564user297564
69039
69039
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
If all the types are principal, then you cannot omit them.
Consider the theory of a complete graph. This is categorical in every cardinality, because any two complete graphs with the same number of nodes are isomorphic.
There are many other such kind of theories. The theory of $=$ only. The theory of many disjoint copies of some finite graph. etc.
$endgroup$
add a comment |
$begingroup$
Joel's answer suggests that uncountable categoricity can only happen when all types are principal. But this might be a bit misleading: given a countable theory $T$ (complete with infinite models), every type is principal relative to $T$ if and only if $T$ is $aleph_0$-categorical.
There are examples of theories (like the ones in Joel's answer) which are totally categorical, i.e. categorical in every infinite cardinality. But there are also many examples of uncountably categorical theories which are not $aleph_0$-categorical, such as the theory of algebraically closed fields, or the theory of $mathbb{Q}$-vector spaces.
When you say "Ehrenfeucht-Mostowski models eliminate types", I guess you're referring to the theorem that if $M$ is an Ehrenfeucht-Mostowski model of $T$ built on an indiscernible sequence $(a_i)_{iin I}$ where $(I,<)$ is well-ordered, then $M$ realizes only countably many types over any countable set.
This might seem like a problem if $T$ is $kappa$-categorical for some uncountable $kappa$, since given any uncountable set of types, we can realize them all in a model of size $kappa$, and hence in the Ehrenfeucht-Mostowski model $M$ built on an indiscernible sequence of order-type $kappa$.
But all we've done is proven that $T$ is $omega$-stable: for any countable subset $A$ of any model of $T$, there are only countably many types over $A$. This is the key first step in the proof of Morley's theorem on uncountably categorical theories.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3050143%2fhow-a-theory-can-be-categorical-of-a-large-cardinality%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If all the types are principal, then you cannot omit them.
Consider the theory of a complete graph. This is categorical in every cardinality, because any two complete graphs with the same number of nodes are isomorphic.
There are many other such kind of theories. The theory of $=$ only. The theory of many disjoint copies of some finite graph. etc.
$endgroup$
add a comment |
$begingroup$
If all the types are principal, then you cannot omit them.
Consider the theory of a complete graph. This is categorical in every cardinality, because any two complete graphs with the same number of nodes are isomorphic.
There are many other such kind of theories. The theory of $=$ only. The theory of many disjoint copies of some finite graph. etc.
$endgroup$
add a comment |
$begingroup$
If all the types are principal, then you cannot omit them.
Consider the theory of a complete graph. This is categorical in every cardinality, because any two complete graphs with the same number of nodes are isomorphic.
There are many other such kind of theories. The theory of $=$ only. The theory of many disjoint copies of some finite graph. etc.
$endgroup$
If all the types are principal, then you cannot omit them.
Consider the theory of a complete graph. This is categorical in every cardinality, because any two complete graphs with the same number of nodes are isomorphic.
There are many other such kind of theories. The theory of $=$ only. The theory of many disjoint copies of some finite graph. etc.
answered Dec 23 '18 at 13:24
JDHJDH
32.7k680146
32.7k680146
add a comment |
add a comment |
$begingroup$
Joel's answer suggests that uncountable categoricity can only happen when all types are principal. But this might be a bit misleading: given a countable theory $T$ (complete with infinite models), every type is principal relative to $T$ if and only if $T$ is $aleph_0$-categorical.
There are examples of theories (like the ones in Joel's answer) which are totally categorical, i.e. categorical in every infinite cardinality. But there are also many examples of uncountably categorical theories which are not $aleph_0$-categorical, such as the theory of algebraically closed fields, or the theory of $mathbb{Q}$-vector spaces.
When you say "Ehrenfeucht-Mostowski models eliminate types", I guess you're referring to the theorem that if $M$ is an Ehrenfeucht-Mostowski model of $T$ built on an indiscernible sequence $(a_i)_{iin I}$ where $(I,<)$ is well-ordered, then $M$ realizes only countably many types over any countable set.
This might seem like a problem if $T$ is $kappa$-categorical for some uncountable $kappa$, since given any uncountable set of types, we can realize them all in a model of size $kappa$, and hence in the Ehrenfeucht-Mostowski model $M$ built on an indiscernible sequence of order-type $kappa$.
But all we've done is proven that $T$ is $omega$-stable: for any countable subset $A$ of any model of $T$, there are only countably many types over $A$. This is the key first step in the proof of Morley's theorem on uncountably categorical theories.
$endgroup$
add a comment |
$begingroup$
Joel's answer suggests that uncountable categoricity can only happen when all types are principal. But this might be a bit misleading: given a countable theory $T$ (complete with infinite models), every type is principal relative to $T$ if and only if $T$ is $aleph_0$-categorical.
There are examples of theories (like the ones in Joel's answer) which are totally categorical, i.e. categorical in every infinite cardinality. But there are also many examples of uncountably categorical theories which are not $aleph_0$-categorical, such as the theory of algebraically closed fields, or the theory of $mathbb{Q}$-vector spaces.
When you say "Ehrenfeucht-Mostowski models eliminate types", I guess you're referring to the theorem that if $M$ is an Ehrenfeucht-Mostowski model of $T$ built on an indiscernible sequence $(a_i)_{iin I}$ where $(I,<)$ is well-ordered, then $M$ realizes only countably many types over any countable set.
This might seem like a problem if $T$ is $kappa$-categorical for some uncountable $kappa$, since given any uncountable set of types, we can realize them all in a model of size $kappa$, and hence in the Ehrenfeucht-Mostowski model $M$ built on an indiscernible sequence of order-type $kappa$.
But all we've done is proven that $T$ is $omega$-stable: for any countable subset $A$ of any model of $T$, there are only countably many types over $A$. This is the key first step in the proof of Morley's theorem on uncountably categorical theories.
$endgroup$
add a comment |
$begingroup$
Joel's answer suggests that uncountable categoricity can only happen when all types are principal. But this might be a bit misleading: given a countable theory $T$ (complete with infinite models), every type is principal relative to $T$ if and only if $T$ is $aleph_0$-categorical.
There are examples of theories (like the ones in Joel's answer) which are totally categorical, i.e. categorical in every infinite cardinality. But there are also many examples of uncountably categorical theories which are not $aleph_0$-categorical, such as the theory of algebraically closed fields, or the theory of $mathbb{Q}$-vector spaces.
When you say "Ehrenfeucht-Mostowski models eliminate types", I guess you're referring to the theorem that if $M$ is an Ehrenfeucht-Mostowski model of $T$ built on an indiscernible sequence $(a_i)_{iin I}$ where $(I,<)$ is well-ordered, then $M$ realizes only countably many types over any countable set.
This might seem like a problem if $T$ is $kappa$-categorical for some uncountable $kappa$, since given any uncountable set of types, we can realize them all in a model of size $kappa$, and hence in the Ehrenfeucht-Mostowski model $M$ built on an indiscernible sequence of order-type $kappa$.
But all we've done is proven that $T$ is $omega$-stable: for any countable subset $A$ of any model of $T$, there are only countably many types over $A$. This is the key first step in the proof of Morley's theorem on uncountably categorical theories.
$endgroup$
Joel's answer suggests that uncountable categoricity can only happen when all types are principal. But this might be a bit misleading: given a countable theory $T$ (complete with infinite models), every type is principal relative to $T$ if and only if $T$ is $aleph_0$-categorical.
There are examples of theories (like the ones in Joel's answer) which are totally categorical, i.e. categorical in every infinite cardinality. But there are also many examples of uncountably categorical theories which are not $aleph_0$-categorical, such as the theory of algebraically closed fields, or the theory of $mathbb{Q}$-vector spaces.
When you say "Ehrenfeucht-Mostowski models eliminate types", I guess you're referring to the theorem that if $M$ is an Ehrenfeucht-Mostowski model of $T$ built on an indiscernible sequence $(a_i)_{iin I}$ where $(I,<)$ is well-ordered, then $M$ realizes only countably many types over any countable set.
This might seem like a problem if $T$ is $kappa$-categorical for some uncountable $kappa$, since given any uncountable set of types, we can realize them all in a model of size $kappa$, and hence in the Ehrenfeucht-Mostowski model $M$ built on an indiscernible sequence of order-type $kappa$.
But all we've done is proven that $T$ is $omega$-stable: for any countable subset $A$ of any model of $T$, there are only countably many types over $A$. This is the key first step in the proof of Morley's theorem on uncountably categorical theories.
edited Dec 24 '18 at 5:47
answered Dec 24 '18 at 5:38
Alex KruckmanAlex Kruckman
27.7k32658
27.7k32658
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3050143%2fhow-a-theory-can-be-categorical-of-a-large-cardinality%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown