First-order definability sums of squaresDefinability in exponential fields assuming quasiminimalityWhy isn't...

How badly should I try to prevent a user from XSSing themselves?

What reasons are there for a Capitalist to oppose a 100% inheritance tax?

Can compressed videos be decoded back to their uncompresed original format?

Do creatures with a listed speed of "0 ft., fly 30 ft. (hover)" ever touch the ground?

How could indestructible materials be used in power generation?

How exploitable/balanced is this homebrew spell: Spell Permanency?

Does the Idaho Potato Commission associate potato skins with healthy eating?

How to compactly explain secondary and tertiary characters without resorting to stereotypes?

What do you call someone who asks many questions?

files created then deleted at every second in tmp directory

Bullying boss launched a smear campaign and made me unemployable

Convert seconds to minutes

Why was the shrink from 8″ made only to 5.25″ and not smaller (4″ or less)

Unlock My Phone! February 2018

Do Iron Man suits sport waste management systems?

GFCI outlets - can they be repaired? Are they really needed at the end of a circuit?

Mathematica command that allows it to read my intentions

In Bayesian inference, why are some terms dropped from the posterior predictive?

How can I deal with my CEO asking me to hire someone with a higher salary than me, a co-founder?

One verb to replace 'be a member of' a club

How to stretch the corners of this image so that it looks like a perfect rectangle?

Different meanings of こわい

Rotate ASCII Art by 45 Degrees

Does int main() need a declaration on C++?



First-order definability sums of squares


Definability in exponential fields assuming quasiminimalityWhy isn't there a first-order theory of well order?Extending the language in Henkin style completeness proof for first-order logicDefinability of a setIs metric (Cauchy) completeness “outside the realm” of first order logic?Do canonical Skolem hulls witness first order definable well-orders?First-order properties and models of $mathbb{Q}$Is $mathbb Q$ definable in $bar {mathbb Q}$ ?First-order definability of structures of at least $n$ elementsFirst-Order Definability of finite structures (negative result)













6












$begingroup$


Let $K$ be a field. I am interested in when there can exist a first-order definition of the set
$$
Sigma K^2 := lbrace sum_{i=1}^n x_i^2 mid n in mathbb{N}, x_1, ldots, x_n in K rbrace
$$

in $K$ in the language of rings.



Clearly, if $K$ has finite Pythagoras number, then $Sigma K^2$ has an (existential) first-order definition in $K$. In fact, for every $n in mathbb{N}$ there is an existential first-order formula
$$
varphi_n(x) := exists x_1, ldots, x_n : x = sum_{i=1}^n x_i^2
$$

uniformly defining $Sigma K^2$ in all fields of Pythagoras number at most $n$.



Conversely, if $K$ has infinite Pythagoras number, then there can be no first-order formula uniformly defining $Sigma K'^2$ in all fields $K'$ elementarily equivalent to $K$. This follows from the compactness theorem.. However, this does not exclude the possibility of a field $K$ with infinite Pythagoras number and such that $Sigma K^2$ has a first-order definition in $K$ which does not carry over to fields elementarily equivalent to $K$.



So my broad question is to understand this problem better. More specifically, I would like to understand when $Sigma K^2$ is definable in a field $K$ of infinite Pythagoras number. Any example of a field with infinite Pythagoras number where you can prove or disprove that $Sigma K^2$ is (existentially) definable would already be very helpful.










share|cite|improve this question









$endgroup$












  • $begingroup$
    What are the standard examples of fields of infinite Pythagoras number?
    $endgroup$
    – Alessandro Codenotti
    Mar 19 at 19:45






  • 1




    $begingroup$
    @AlessandroCodenotti It follows from a result by Cassels (although I cannot find a publicly accesible reference) that for any formally real field $K$ (i.e. -1 is not a sum of squares in $K$) one has that the Pythagoras number of $K(X)$ is at least one more than that of $K$. Hence the rational function field in infinitely many variables $K(X_n mid n in mathbb{N})$ has infinite Pythagoras number. If $K = mathbb{R}$, it is known that any finitely generated subfield of $mathbb{R}(X_n mid n in mathbb{N})$ has finite Pythagoras number.
    $endgroup$
    – Bib-lost
    Mar 19 at 21:29
















6












$begingroup$


Let $K$ be a field. I am interested in when there can exist a first-order definition of the set
$$
Sigma K^2 := lbrace sum_{i=1}^n x_i^2 mid n in mathbb{N}, x_1, ldots, x_n in K rbrace
$$

in $K$ in the language of rings.



Clearly, if $K$ has finite Pythagoras number, then $Sigma K^2$ has an (existential) first-order definition in $K$. In fact, for every $n in mathbb{N}$ there is an existential first-order formula
$$
varphi_n(x) := exists x_1, ldots, x_n : x = sum_{i=1}^n x_i^2
$$

uniformly defining $Sigma K^2$ in all fields of Pythagoras number at most $n$.



Conversely, if $K$ has infinite Pythagoras number, then there can be no first-order formula uniformly defining $Sigma K'^2$ in all fields $K'$ elementarily equivalent to $K$. This follows from the compactness theorem.. However, this does not exclude the possibility of a field $K$ with infinite Pythagoras number and such that $Sigma K^2$ has a first-order definition in $K$ which does not carry over to fields elementarily equivalent to $K$.



So my broad question is to understand this problem better. More specifically, I would like to understand when $Sigma K^2$ is definable in a field $K$ of infinite Pythagoras number. Any example of a field with infinite Pythagoras number where you can prove or disprove that $Sigma K^2$ is (existentially) definable would already be very helpful.










share|cite|improve this question









$endgroup$












  • $begingroup$
    What are the standard examples of fields of infinite Pythagoras number?
    $endgroup$
    – Alessandro Codenotti
    Mar 19 at 19:45






  • 1




    $begingroup$
    @AlessandroCodenotti It follows from a result by Cassels (although I cannot find a publicly accesible reference) that for any formally real field $K$ (i.e. -1 is not a sum of squares in $K$) one has that the Pythagoras number of $K(X)$ is at least one more than that of $K$. Hence the rational function field in infinitely many variables $K(X_n mid n in mathbb{N})$ has infinite Pythagoras number. If $K = mathbb{R}$, it is known that any finitely generated subfield of $mathbb{R}(X_n mid n in mathbb{N})$ has finite Pythagoras number.
    $endgroup$
    – Bib-lost
    Mar 19 at 21:29














6












6








6





$begingroup$


Let $K$ be a field. I am interested in when there can exist a first-order definition of the set
$$
Sigma K^2 := lbrace sum_{i=1}^n x_i^2 mid n in mathbb{N}, x_1, ldots, x_n in K rbrace
$$

in $K$ in the language of rings.



Clearly, if $K$ has finite Pythagoras number, then $Sigma K^2$ has an (existential) first-order definition in $K$. In fact, for every $n in mathbb{N}$ there is an existential first-order formula
$$
varphi_n(x) := exists x_1, ldots, x_n : x = sum_{i=1}^n x_i^2
$$

uniformly defining $Sigma K^2$ in all fields of Pythagoras number at most $n$.



Conversely, if $K$ has infinite Pythagoras number, then there can be no first-order formula uniformly defining $Sigma K'^2$ in all fields $K'$ elementarily equivalent to $K$. This follows from the compactness theorem.. However, this does not exclude the possibility of a field $K$ with infinite Pythagoras number and such that $Sigma K^2$ has a first-order definition in $K$ which does not carry over to fields elementarily equivalent to $K$.



So my broad question is to understand this problem better. More specifically, I would like to understand when $Sigma K^2$ is definable in a field $K$ of infinite Pythagoras number. Any example of a field with infinite Pythagoras number where you can prove or disprove that $Sigma K^2$ is (existentially) definable would already be very helpful.










share|cite|improve this question









$endgroup$




Let $K$ be a field. I am interested in when there can exist a first-order definition of the set
$$
Sigma K^2 := lbrace sum_{i=1}^n x_i^2 mid n in mathbb{N}, x_1, ldots, x_n in K rbrace
$$

in $K$ in the language of rings.



Clearly, if $K$ has finite Pythagoras number, then $Sigma K^2$ has an (existential) first-order definition in $K$. In fact, for every $n in mathbb{N}$ there is an existential first-order formula
$$
varphi_n(x) := exists x_1, ldots, x_n : x = sum_{i=1}^n x_i^2
$$

uniformly defining $Sigma K^2$ in all fields of Pythagoras number at most $n$.



Conversely, if $K$ has infinite Pythagoras number, then there can be no first-order formula uniformly defining $Sigma K'^2$ in all fields $K'$ elementarily equivalent to $K$. This follows from the compactness theorem.. However, this does not exclude the possibility of a field $K$ with infinite Pythagoras number and such that $Sigma K^2$ has a first-order definition in $K$ which does not carry over to fields elementarily equivalent to $K$.



So my broad question is to understand this problem better. More specifically, I would like to understand when $Sigma K^2$ is definable in a field $K$ of infinite Pythagoras number. Any example of a field with infinite Pythagoras number where you can prove or disprove that $Sigma K^2$ is (existentially) definable would already be very helpful.







field-theory first-order-logic model-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Mar 18 at 13:12









Bib-lostBib-lost

2,075629




2,075629












  • $begingroup$
    What are the standard examples of fields of infinite Pythagoras number?
    $endgroup$
    – Alessandro Codenotti
    Mar 19 at 19:45






  • 1




    $begingroup$
    @AlessandroCodenotti It follows from a result by Cassels (although I cannot find a publicly accesible reference) that for any formally real field $K$ (i.e. -1 is not a sum of squares in $K$) one has that the Pythagoras number of $K(X)$ is at least one more than that of $K$. Hence the rational function field in infinitely many variables $K(X_n mid n in mathbb{N})$ has infinite Pythagoras number. If $K = mathbb{R}$, it is known that any finitely generated subfield of $mathbb{R}(X_n mid n in mathbb{N})$ has finite Pythagoras number.
    $endgroup$
    – Bib-lost
    Mar 19 at 21:29


















  • $begingroup$
    What are the standard examples of fields of infinite Pythagoras number?
    $endgroup$
    – Alessandro Codenotti
    Mar 19 at 19:45






  • 1




    $begingroup$
    @AlessandroCodenotti It follows from a result by Cassels (although I cannot find a publicly accesible reference) that for any formally real field $K$ (i.e. -1 is not a sum of squares in $K$) one has that the Pythagoras number of $K(X)$ is at least one more than that of $K$. Hence the rational function field in infinitely many variables $K(X_n mid n in mathbb{N})$ has infinite Pythagoras number. If $K = mathbb{R}$, it is known that any finitely generated subfield of $mathbb{R}(X_n mid n in mathbb{N})$ has finite Pythagoras number.
    $endgroup$
    – Bib-lost
    Mar 19 at 21:29
















$begingroup$
What are the standard examples of fields of infinite Pythagoras number?
$endgroup$
– Alessandro Codenotti
Mar 19 at 19:45




$begingroup$
What are the standard examples of fields of infinite Pythagoras number?
$endgroup$
– Alessandro Codenotti
Mar 19 at 19:45




1




1




$begingroup$
@AlessandroCodenotti It follows from a result by Cassels (although I cannot find a publicly accesible reference) that for any formally real field $K$ (i.e. -1 is not a sum of squares in $K$) one has that the Pythagoras number of $K(X)$ is at least one more than that of $K$. Hence the rational function field in infinitely many variables $K(X_n mid n in mathbb{N})$ has infinite Pythagoras number. If $K = mathbb{R}$, it is known that any finitely generated subfield of $mathbb{R}(X_n mid n in mathbb{N})$ has finite Pythagoras number.
$endgroup$
– Bib-lost
Mar 19 at 21:29




$begingroup$
@AlessandroCodenotti It follows from a result by Cassels (although I cannot find a publicly accesible reference) that for any formally real field $K$ (i.e. -1 is not a sum of squares in $K$) one has that the Pythagoras number of $K(X)$ is at least one more than that of $K$. Hence the rational function field in infinitely many variables $K(X_n mid n in mathbb{N})$ has infinite Pythagoras number. If $K = mathbb{R}$, it is known that any finitely generated subfield of $mathbb{R}(X_n mid n in mathbb{N})$ has finite Pythagoras number.
$endgroup$
– Bib-lost
Mar 19 at 21:29










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


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152764%2ffirst-order-definability-sums-of-squares%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
















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3152764%2ffirst-order-definability-sums-of-squares%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

Nidaros erkebispedøme

Birsay

Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?