Natural models of Ackermann Set Theory
$begingroup$
Consider Ackermann's Set Theory (as described here, §6, including the axiom of regularity for sets), henceforth denoted AST, as a theory in the language $leftlangle in,mathbf{V} rightrangle$ where $mathbf{V}$ is a constant symbol intended to represent the von Neumann universe in models of AST.
In Natural Models of Ackermann's Set Theory, Rudolf Grewe studies models of AST of the form $(V_{alpha},in,V_{beta})$ for ordinals $beta<alpha$, so-called natural models of AST.
Grewe proves that for ordinals $alpha>beta$ where $alpha$ is limit, the structure $(V_{alpha},in,V_{beta})$ is a model of AST if and only if $V_{beta}$ is not $leftlangle in rightrangle$-definable in $V_{alpha}$ with parameters in $V_{beta}$. Equivalently, the ordinal $beta$ must not be definable in $V_{alpha}$ with parameters in $V_{beta}$.
This doesn't seem to be a very good thing to know if one wants to produce natural models of AST since the undefinability of an ordinal is a meta-statement. However this makes it easy to see what cannot be a model of AST.
Later in the article, Grewe proves that in fact $V_{beta}$ must be a model of ZF. If $kappa$ is a cardinal which is smallest to satisfy some large cardinal property $P$ which is a $leftlangle in rightrangle$-sentence, the ordinal $kappa$ will always be definable in $V_{alpha}$ without parameters by this very minimality. Therefore no such $V_{kappa}$ is a candidate to interpret V in our natural model.
Of course the undefinability in $leftlangle in rightrangle$ of the interpretation of $mathbf{V}$ in a model of AST is an important feature of the theory, but I find this prevalence in the case of natural models to be troubling.
I have two questions pertaining to this, one of which is vague:
- Is there a classical large cardinal axiom P such that ZFC+P proves that AST has a natural model?
- Is the importance of the undefinability in $mathbf{V}$ of some rank $V_{beta}$ in the von Neumann hierarchy a specific feature in AST, or is it a recurring theme in set-theory that has lied beyond my amateurish gaze for now?
set-theory model-theory
$endgroup$
add a comment |
$begingroup$
Consider Ackermann's Set Theory (as described here, §6, including the axiom of regularity for sets), henceforth denoted AST, as a theory in the language $leftlangle in,mathbf{V} rightrangle$ where $mathbf{V}$ is a constant symbol intended to represent the von Neumann universe in models of AST.
In Natural Models of Ackermann's Set Theory, Rudolf Grewe studies models of AST of the form $(V_{alpha},in,V_{beta})$ for ordinals $beta<alpha$, so-called natural models of AST.
Grewe proves that for ordinals $alpha>beta$ where $alpha$ is limit, the structure $(V_{alpha},in,V_{beta})$ is a model of AST if and only if $V_{beta}$ is not $leftlangle in rightrangle$-definable in $V_{alpha}$ with parameters in $V_{beta}$. Equivalently, the ordinal $beta$ must not be definable in $V_{alpha}$ with parameters in $V_{beta}$.
This doesn't seem to be a very good thing to know if one wants to produce natural models of AST since the undefinability of an ordinal is a meta-statement. However this makes it easy to see what cannot be a model of AST.
Later in the article, Grewe proves that in fact $V_{beta}$ must be a model of ZF. If $kappa$ is a cardinal which is smallest to satisfy some large cardinal property $P$ which is a $leftlangle in rightrangle$-sentence, the ordinal $kappa$ will always be definable in $V_{alpha}$ without parameters by this very minimality. Therefore no such $V_{kappa}$ is a candidate to interpret V in our natural model.
Of course the undefinability in $leftlangle in rightrangle$ of the interpretation of $mathbf{V}$ in a model of AST is an important feature of the theory, but I find this prevalence in the case of natural models to be troubling.
I have two questions pertaining to this, one of which is vague:
- Is there a classical large cardinal axiom P such that ZFC+P proves that AST has a natural model?
- Is the importance of the undefinability in $mathbf{V}$ of some rank $V_{beta}$ in the von Neumann hierarchy a specific feature in AST, or is it a recurring theme in set-theory that has lied beyond my amateurish gaze for now?
set-theory model-theory
$endgroup$
add a comment |
$begingroup$
Consider Ackermann's Set Theory (as described here, §6, including the axiom of regularity for sets), henceforth denoted AST, as a theory in the language $leftlangle in,mathbf{V} rightrangle$ where $mathbf{V}$ is a constant symbol intended to represent the von Neumann universe in models of AST.
In Natural Models of Ackermann's Set Theory, Rudolf Grewe studies models of AST of the form $(V_{alpha},in,V_{beta})$ for ordinals $beta<alpha$, so-called natural models of AST.
Grewe proves that for ordinals $alpha>beta$ where $alpha$ is limit, the structure $(V_{alpha},in,V_{beta})$ is a model of AST if and only if $V_{beta}$ is not $leftlangle in rightrangle$-definable in $V_{alpha}$ with parameters in $V_{beta}$. Equivalently, the ordinal $beta$ must not be definable in $V_{alpha}$ with parameters in $V_{beta}$.
This doesn't seem to be a very good thing to know if one wants to produce natural models of AST since the undefinability of an ordinal is a meta-statement. However this makes it easy to see what cannot be a model of AST.
Later in the article, Grewe proves that in fact $V_{beta}$ must be a model of ZF. If $kappa$ is a cardinal which is smallest to satisfy some large cardinal property $P$ which is a $leftlangle in rightrangle$-sentence, the ordinal $kappa$ will always be definable in $V_{alpha}$ without parameters by this very minimality. Therefore no such $V_{kappa}$ is a candidate to interpret V in our natural model.
Of course the undefinability in $leftlangle in rightrangle$ of the interpretation of $mathbf{V}$ in a model of AST is an important feature of the theory, but I find this prevalence in the case of natural models to be troubling.
I have two questions pertaining to this, one of which is vague:
- Is there a classical large cardinal axiom P such that ZFC+P proves that AST has a natural model?
- Is the importance of the undefinability in $mathbf{V}$ of some rank $V_{beta}$ in the von Neumann hierarchy a specific feature in AST, or is it a recurring theme in set-theory that has lied beyond my amateurish gaze for now?
set-theory model-theory
$endgroup$
Consider Ackermann's Set Theory (as described here, §6, including the axiom of regularity for sets), henceforth denoted AST, as a theory in the language $leftlangle in,mathbf{V} rightrangle$ where $mathbf{V}$ is a constant symbol intended to represent the von Neumann universe in models of AST.
In Natural Models of Ackermann's Set Theory, Rudolf Grewe studies models of AST of the form $(V_{alpha},in,V_{beta})$ for ordinals $beta<alpha$, so-called natural models of AST.
Grewe proves that for ordinals $alpha>beta$ where $alpha$ is limit, the structure $(V_{alpha},in,V_{beta})$ is a model of AST if and only if $V_{beta}$ is not $leftlangle in rightrangle$-definable in $V_{alpha}$ with parameters in $V_{beta}$. Equivalently, the ordinal $beta$ must not be definable in $V_{alpha}$ with parameters in $V_{beta}$.
This doesn't seem to be a very good thing to know if one wants to produce natural models of AST since the undefinability of an ordinal is a meta-statement. However this makes it easy to see what cannot be a model of AST.
Later in the article, Grewe proves that in fact $V_{beta}$ must be a model of ZF. If $kappa$ is a cardinal which is smallest to satisfy some large cardinal property $P$ which is a $leftlangle in rightrangle$-sentence, the ordinal $kappa$ will always be definable in $V_{alpha}$ without parameters by this very minimality. Therefore no such $V_{kappa}$ is a candidate to interpret V in our natural model.
Of course the undefinability in $leftlangle in rightrangle$ of the interpretation of $mathbf{V}$ in a model of AST is an important feature of the theory, but I find this prevalence in the case of natural models to be troubling.
I have two questions pertaining to this, one of which is vague:
- Is there a classical large cardinal axiom P such that ZFC+P proves that AST has a natural model?
- Is the importance of the undefinability in $mathbf{V}$ of some rank $V_{beta}$ in the von Neumann hierarchy a specific feature in AST, or is it a recurring theme in set-theory that has lied beyond my amateurish gaze for now?
set-theory model-theory
set-theory model-theory
edited Dec 17 '18 at 18:45
nombre
asked Dec 17 '18 at 16:17
nombrenombre
2,669913
2,669913
add a comment |
add a comment |
0
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%2f3044130%2fnatural-models-of-ackermann-set-theory%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
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.
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%2f3044130%2fnatural-models-of-ackermann-set-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