What does the word “extend” mean in the context of model theory?











up vote
1
down vote

favorite












Consider the following two problems:



(1) Let $L={E}$ be a language consisting one binary relation symbol. Let $T$ be the $L$-theory saying that $E$ is an equivalence relation with infinitely many classes. Prove that there are infinitely many inequivalent complete theories extending $T$.



(2) Prove that an ultrafilter on an infinite set is non-principal if and only if it extends to the Frechet filter.



In both problems, I don't understand what the word "extend" means.



Can someone explain to me? Thanks!










share|cite|improve this question
























  • @MauroALLEGRANZA I understand what it means to extend a structure or a language. But what does it mean by extending a theory? And what does it mean by extending an filter to the frechet filter?
    – bbw
    yesterday















up vote
1
down vote

favorite












Consider the following two problems:



(1) Let $L={E}$ be a language consisting one binary relation symbol. Let $T$ be the $L$-theory saying that $E$ is an equivalence relation with infinitely many classes. Prove that there are infinitely many inequivalent complete theories extending $T$.



(2) Prove that an ultrafilter on an infinite set is non-principal if and only if it extends to the Frechet filter.



In both problems, I don't understand what the word "extend" means.



Can someone explain to me? Thanks!










share|cite|improve this question
























  • @MauroALLEGRANZA I understand what it means to extend a structure or a language. But what does it mean by extending a theory? And what does it mean by extending an filter to the frechet filter?
    – bbw
    yesterday













up vote
1
down vote

favorite









up vote
1
down vote

favorite











Consider the following two problems:



(1) Let $L={E}$ be a language consisting one binary relation symbol. Let $T$ be the $L$-theory saying that $E$ is an equivalence relation with infinitely many classes. Prove that there are infinitely many inequivalent complete theories extending $T$.



(2) Prove that an ultrafilter on an infinite set is non-principal if and only if it extends to the Frechet filter.



In both problems, I don't understand what the word "extend" means.



Can someone explain to me? Thanks!










share|cite|improve this question















Consider the following two problems:



(1) Let $L={E}$ be a language consisting one binary relation symbol. Let $T$ be the $L$-theory saying that $E$ is an equivalence relation with infinitely many classes. Prove that there are infinitely many inequivalent complete theories extending $T$.



(2) Prove that an ultrafilter on an infinite set is non-principal if and only if it extends to the Frechet filter.



In both problems, I don't understand what the word "extend" means.



Can someone explain to me? Thanks!







terminology first-order-logic model-theory filters






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday









bof

48.7k450115




48.7k450115










asked yesterday









bbw

36917




36917












  • @MauroALLEGRANZA I understand what it means to extend a structure or a language. But what does it mean by extending a theory? And what does it mean by extending an filter to the frechet filter?
    – bbw
    yesterday


















  • @MauroALLEGRANZA I understand what it means to extend a structure or a language. But what does it mean by extending a theory? And what does it mean by extending an filter to the frechet filter?
    – bbw
    yesterday
















@MauroALLEGRANZA I understand what it means to extend a structure or a language. But what does it mean by extending a theory? And what does it mean by extending an filter to the frechet filter?
– bbw
yesterday




@MauroALLEGRANZA I understand what it means to extend a structure or a language. But what does it mean by extending a theory? And what does it mean by extending an filter to the frechet filter?
– bbw
yesterday










1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










"Extend" just means "be a superset of" in this context. So a theory $T'$ extends a theory $T$ if $Tsubseteq T'$, and a filter $F'$ extends a filter $F$ if $Fsubseteq F'$.



(The phrasing "extends to" in statement (2) is an error and should be just "extends". Indeed, saying "$F$ extends to $F'$" would normally mean that $F'$ extends $F$, which is the opposite of the intended meaning here: it means to say that the ultrafilter extends the Frechet filter.)






share|cite|improve this answer





















    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',
    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
    });


    }
    });














     

    draft saved


    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999347%2fwhat-does-the-word-extend-mean-in-the-context-of-model-theory%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    3
    down vote



    accepted










    "Extend" just means "be a superset of" in this context. So a theory $T'$ extends a theory $T$ if $Tsubseteq T'$, and a filter $F'$ extends a filter $F$ if $Fsubseteq F'$.



    (The phrasing "extends to" in statement (2) is an error and should be just "extends". Indeed, saying "$F$ extends to $F'$" would normally mean that $F'$ extends $F$, which is the opposite of the intended meaning here: it means to say that the ultrafilter extends the Frechet filter.)






    share|cite|improve this answer

























      up vote
      3
      down vote



      accepted










      "Extend" just means "be a superset of" in this context. So a theory $T'$ extends a theory $T$ if $Tsubseteq T'$, and a filter $F'$ extends a filter $F$ if $Fsubseteq F'$.



      (The phrasing "extends to" in statement (2) is an error and should be just "extends". Indeed, saying "$F$ extends to $F'$" would normally mean that $F'$ extends $F$, which is the opposite of the intended meaning here: it means to say that the ultrafilter extends the Frechet filter.)






      share|cite|improve this answer























        up vote
        3
        down vote



        accepted







        up vote
        3
        down vote



        accepted






        "Extend" just means "be a superset of" in this context. So a theory $T'$ extends a theory $T$ if $Tsubseteq T'$, and a filter $F'$ extends a filter $F$ if $Fsubseteq F'$.



        (The phrasing "extends to" in statement (2) is an error and should be just "extends". Indeed, saying "$F$ extends to $F'$" would normally mean that $F'$ extends $F$, which is the opposite of the intended meaning here: it means to say that the ultrafilter extends the Frechet filter.)






        share|cite|improve this answer












        "Extend" just means "be a superset of" in this context. So a theory $T'$ extends a theory $T$ if $Tsubseteq T'$, and a filter $F'$ extends a filter $F$ if $Fsubseteq F'$.



        (The phrasing "extends to" in statement (2) is an error and should be just "extends". Indeed, saying "$F$ extends to $F'$" would normally mean that $F'$ extends $F$, which is the opposite of the intended meaning here: it means to say that the ultrafilter extends the Frechet filter.)







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered yesterday









        Eric Wofsey

        174k12201326




        174k12201326






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999347%2fwhat-does-the-word-extend-mean-in-the-context-of-model-theory%23new-answer', 'question_page');
            }
            );

            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







            Popular posts from this blog

            Актюбинская область

            QoS: MAC-Priority for clients behind a repeater

            AnyDesk - Fatal Program Failure