Easy Applications of Model Theory
up vote
8
down vote
favorite
The question is inspired by this MathOverflow post and this post on MathSE.
The applications mentioned are usually pretty complicated (except for Ax-Grothendieck, but it seems to be a rare occurrence). Aside from these examples, are there easy "applications of model theory"? For example, can we use Morley's categorecity theorem to determine that a class of structures of interest "outside of model theory" has only unique models in higher cardinalities, where the actual proof of the fact is fairly complicated. I know that this works for $mathrm{ACF}_0$ for example, but it seems this can be established with the same amount of effort (i.e. proving Morley's theorem would be the same level of difficulty).
Also are there examples of nice categorizations? For example (this may be false but something in the spirit of) "omega-stable countable groups have a nice classification as products of some class of groups".
To sum up, I'm looking for "simple" applications that follow from basic results in, say Marker's text on Model Theory for example.
reference-request model-theory applications
|
show 6 more comments
up vote
8
down vote
favorite
The question is inspired by this MathOverflow post and this post on MathSE.
The applications mentioned are usually pretty complicated (except for Ax-Grothendieck, but it seems to be a rare occurrence). Aside from these examples, are there easy "applications of model theory"? For example, can we use Morley's categorecity theorem to determine that a class of structures of interest "outside of model theory" has only unique models in higher cardinalities, where the actual proof of the fact is fairly complicated. I know that this works for $mathrm{ACF}_0$ for example, but it seems this can be established with the same amount of effort (i.e. proving Morley's theorem would be the same level of difficulty).
Also are there examples of nice categorizations? For example (this may be false but something in the spirit of) "omega-stable countable groups have a nice classification as products of some class of groups".
To sum up, I'm looking for "simple" applications that follow from basic results in, say Marker's text on Model Theory for example.
reference-request model-theory applications
5
The infinite version of Ramsey's Theorem follows from the finite version via compactness.
– vhspdfg
Aug 6 '16 at 23:36
3
What about the simple consequence of the elimination of quantifiers for the fields $mathbb{C}$ and $mathbb{R}$: the projection of a semi-algebraic set is again semi-algebraic. (In the case of $mathbb{R}$, this is called the Tarski-Seidenberg theorem.)
– russoo
Aug 9 '16 at 16:54
2
Moreover, there is an easy generalization of the four color theorem to infinite graphs which uses the theorem for the finite case and compactness.
– russoo
Aug 9 '16 at 16:59
1
@dav11 Exercise. Consider an infinite planar graph and an appropriate language and theory such that, if that graph did not admit a four-coloring, then by compactness there would be some finite subset of the theory (which we arrange to correspond to a finite subset of the graph) which does not admit a four-coloring.
– vhspdfg
Aug 14 '16 at 16:45
1
It occurs that we can show the uniqueness of a countable atomless Boolean algebra by $omega$-categoricity if we wished to avoid back-and-forth. We can also show the existence of an algebraic closure of a field by compactness.
– vhspdfg
Aug 14 '16 at 16:46
|
show 6 more comments
up vote
8
down vote
favorite
up vote
8
down vote
favorite
The question is inspired by this MathOverflow post and this post on MathSE.
The applications mentioned are usually pretty complicated (except for Ax-Grothendieck, but it seems to be a rare occurrence). Aside from these examples, are there easy "applications of model theory"? For example, can we use Morley's categorecity theorem to determine that a class of structures of interest "outside of model theory" has only unique models in higher cardinalities, where the actual proof of the fact is fairly complicated. I know that this works for $mathrm{ACF}_0$ for example, but it seems this can be established with the same amount of effort (i.e. proving Morley's theorem would be the same level of difficulty).
Also are there examples of nice categorizations? For example (this may be false but something in the spirit of) "omega-stable countable groups have a nice classification as products of some class of groups".
To sum up, I'm looking for "simple" applications that follow from basic results in, say Marker's text on Model Theory for example.
reference-request model-theory applications
The question is inspired by this MathOverflow post and this post on MathSE.
The applications mentioned are usually pretty complicated (except for Ax-Grothendieck, but it seems to be a rare occurrence). Aside from these examples, are there easy "applications of model theory"? For example, can we use Morley's categorecity theorem to determine that a class of structures of interest "outside of model theory" has only unique models in higher cardinalities, where the actual proof of the fact is fairly complicated. I know that this works for $mathrm{ACF}_0$ for example, but it seems this can be established with the same amount of effort (i.e. proving Morley's theorem would be the same level of difficulty).
Also are there examples of nice categorizations? For example (this may be false but something in the spirit of) "omega-stable countable groups have a nice classification as products of some class of groups".
To sum up, I'm looking for "simple" applications that follow from basic results in, say Marker's text on Model Theory for example.
reference-request model-theory applications
reference-request model-theory applications
edited Nov 23 at 17:55
Martin Sleziak
44.6k7115270
44.6k7115270
asked Aug 6 '16 at 21:07
dav11
955512
955512
5
The infinite version of Ramsey's Theorem follows from the finite version via compactness.
– vhspdfg
Aug 6 '16 at 23:36
3
What about the simple consequence of the elimination of quantifiers for the fields $mathbb{C}$ and $mathbb{R}$: the projection of a semi-algebraic set is again semi-algebraic. (In the case of $mathbb{R}$, this is called the Tarski-Seidenberg theorem.)
– russoo
Aug 9 '16 at 16:54
2
Moreover, there is an easy generalization of the four color theorem to infinite graphs which uses the theorem for the finite case and compactness.
– russoo
Aug 9 '16 at 16:59
1
@dav11 Exercise. Consider an infinite planar graph and an appropriate language and theory such that, if that graph did not admit a four-coloring, then by compactness there would be some finite subset of the theory (which we arrange to correspond to a finite subset of the graph) which does not admit a four-coloring.
– vhspdfg
Aug 14 '16 at 16:45
1
It occurs that we can show the uniqueness of a countable atomless Boolean algebra by $omega$-categoricity if we wished to avoid back-and-forth. We can also show the existence of an algebraic closure of a field by compactness.
– vhspdfg
Aug 14 '16 at 16:46
|
show 6 more comments
5
The infinite version of Ramsey's Theorem follows from the finite version via compactness.
– vhspdfg
Aug 6 '16 at 23:36
3
What about the simple consequence of the elimination of quantifiers for the fields $mathbb{C}$ and $mathbb{R}$: the projection of a semi-algebraic set is again semi-algebraic. (In the case of $mathbb{R}$, this is called the Tarski-Seidenberg theorem.)
– russoo
Aug 9 '16 at 16:54
2
Moreover, there is an easy generalization of the four color theorem to infinite graphs which uses the theorem for the finite case and compactness.
– russoo
Aug 9 '16 at 16:59
1
@dav11 Exercise. Consider an infinite planar graph and an appropriate language and theory such that, if that graph did not admit a four-coloring, then by compactness there would be some finite subset of the theory (which we arrange to correspond to a finite subset of the graph) which does not admit a four-coloring.
– vhspdfg
Aug 14 '16 at 16:45
1
It occurs that we can show the uniqueness of a countable atomless Boolean algebra by $omega$-categoricity if we wished to avoid back-and-forth. We can also show the existence of an algebraic closure of a field by compactness.
– vhspdfg
Aug 14 '16 at 16:46
5
5
The infinite version of Ramsey's Theorem follows from the finite version via compactness.
– vhspdfg
Aug 6 '16 at 23:36
The infinite version of Ramsey's Theorem follows from the finite version via compactness.
– vhspdfg
Aug 6 '16 at 23:36
3
3
What about the simple consequence of the elimination of quantifiers for the fields $mathbb{C}$ and $mathbb{R}$: the projection of a semi-algebraic set is again semi-algebraic. (In the case of $mathbb{R}$, this is called the Tarski-Seidenberg theorem.)
– russoo
Aug 9 '16 at 16:54
What about the simple consequence of the elimination of quantifiers for the fields $mathbb{C}$ and $mathbb{R}$: the projection of a semi-algebraic set is again semi-algebraic. (In the case of $mathbb{R}$, this is called the Tarski-Seidenberg theorem.)
– russoo
Aug 9 '16 at 16:54
2
2
Moreover, there is an easy generalization of the four color theorem to infinite graphs which uses the theorem for the finite case and compactness.
– russoo
Aug 9 '16 at 16:59
Moreover, there is an easy generalization of the four color theorem to infinite graphs which uses the theorem for the finite case and compactness.
– russoo
Aug 9 '16 at 16:59
1
1
@dav11 Exercise. Consider an infinite planar graph and an appropriate language and theory such that, if that graph did not admit a four-coloring, then by compactness there would be some finite subset of the theory (which we arrange to correspond to a finite subset of the graph) which does not admit a four-coloring.
– vhspdfg
Aug 14 '16 at 16:45
@dav11 Exercise. Consider an infinite planar graph and an appropriate language and theory such that, if that graph did not admit a four-coloring, then by compactness there would be some finite subset of the theory (which we arrange to correspond to a finite subset of the graph) which does not admit a four-coloring.
– vhspdfg
Aug 14 '16 at 16:45
1
1
It occurs that we can show the uniqueness of a countable atomless Boolean algebra by $omega$-categoricity if we wished to avoid back-and-forth. We can also show the existence of an algebraic closure of a field by compactness.
– vhspdfg
Aug 14 '16 at 16:46
It occurs that we can show the uniqueness of a countable atomless Boolean algebra by $omega$-categoricity if we wished to avoid back-and-forth. We can also show the existence of an algebraic closure of a field by compactness.
– vhspdfg
Aug 14 '16 at 16:46
|
show 6 more comments
active
oldest
votes
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%2f1884582%2feasy-applications-of-model-theory%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f1884582%2feasy-applications-of-model-theory%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
5
The infinite version of Ramsey's Theorem follows from the finite version via compactness.
– vhspdfg
Aug 6 '16 at 23:36
3
What about the simple consequence of the elimination of quantifiers for the fields $mathbb{C}$ and $mathbb{R}$: the projection of a semi-algebraic set is again semi-algebraic. (In the case of $mathbb{R}$, this is called the Tarski-Seidenberg theorem.)
– russoo
Aug 9 '16 at 16:54
2
Moreover, there is an easy generalization of the four color theorem to infinite graphs which uses the theorem for the finite case and compactness.
– russoo
Aug 9 '16 at 16:59
1
@dav11 Exercise. Consider an infinite planar graph and an appropriate language and theory such that, if that graph did not admit a four-coloring, then by compactness there would be some finite subset of the theory (which we arrange to correspond to a finite subset of the graph) which does not admit a four-coloring.
– vhspdfg
Aug 14 '16 at 16:45
1
It occurs that we can show the uniqueness of a countable atomless Boolean algebra by $omega$-categoricity if we wished to avoid back-and-forth. We can also show the existence of an algebraic closure of a field by compactness.
– vhspdfg
Aug 14 '16 at 16:46