First-order definability sums of squares The Next CEO of Stack OverflowDefinability 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 $mathbbQ$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)

Robert Sheckley short story about vacation spots being overwhelmed

Grabbing quick drinks

Does the Brexit deal have to be agreed by both Houses?

How can I quit an app using Terminal?

WOW air has ceased operation, can I get my tickets refunded?

What happens if you roll doubles 3 times then land on "Go to jail?"

When Does an Atlas Uniquely Define a Manifold?

Term for the "extreme-extension" version of a straw man fallacy?

Customer Requests (Sometimes) Drive Me Bonkers!

Rotate a column

Is HostGator storing my password in plaintext?

If the heap is initialized for security, then why is the stack uninitialized?

Horror movie/show or scene where a horse creature opens its mouth really wide and devours a man in a stables

Need some help with wall behind rangetop

Can the Reverse Gravity spell affect the Meteor Swarm spell?

The King's new dress

What is the difference between "behavior" and "behaviour"?

Opposite of a diet

If I blow insulation everywhere in my attic except the door trap, will heat escape through it?

Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?

Should I tutor a student who I know has cheated on their homework?

How to make a software documentation "officially" citable?

MAZDA 3 2006 (UK) - poor acceleration then takes off at 3250 revs

Text adventure game code



First-order definability sums of squares



The Next CEO of Stack OverflowDefinability 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 $mathbbQ$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 mathbbN, 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 mathbbN$ 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 mathbbN)$ has infinite Pythagoras number. If $K = mathbbR$, it is known that any finitely generated subfield of $mathbbR(X_n mid n in mathbbN)$ 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 mathbbN, 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 mathbbN$ 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 mathbbN)$ has infinite Pythagoras number. If $K = mathbbR$, it is known that any finitely generated subfield of $mathbbR(X_n mid n in mathbbN)$ 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 mathbbN, 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 mathbbN$ 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 mathbbN, 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 mathbbN$ 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 mathbbN)$ has infinite Pythagoras number. If $K = mathbbR$, it is known that any finitely generated subfield of $mathbbR(X_n mid n in mathbbN)$ 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 mathbbN)$ has infinite Pythagoras number. If $K = mathbbR$, it is known that any finitely generated subfield of $mathbbR(X_n mid n in mathbbN)$ 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 mathbbN)$ has infinite Pythagoras number. If $K = mathbbR$, it is known that any finitely generated subfield of $mathbbR(X_n mid n in mathbbN)$ 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 mathbbN)$ has infinite Pythagoras number. If $K = mathbbR$, it is known that any finitely generated subfield of $mathbbR(X_n mid n in mathbbN)$ 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

How should I support this large drywall patch? Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I cover large gaps in drywall?How do I keep drywall around a patch from crumbling?Can I glue a second layer of drywall?How to patch long strip on drywall?Large drywall patch: how to avoid bulging seams?Drywall Mesh Patch vs. Bulge? To remove or not to remove?How to fix this drywall job?Prep drywall before backsplashWhat's the best way to fix this horrible drywall patch job?Drywall patching using 3M Patch Plus Primer

random experiment with two different functions on unit interval Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Random variable and probability space notionsRandom Walk with EdgesFinding functions where the increase over a random interval is Poisson distributedNumber of days until dayCan an observed event in fact be of zero probability?Unit random processmodels of coins and uniform distributionHow to get the number of successes given $n$ trials , probability $P$ and a random variable $X$Absorbing Markov chain in a computer. Is “almost every” turned into always convergence in computer executions?Stopped random walk is not uniformly integrable

Lowndes Grove History Architecture References Navigation menu32°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661132°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661178002500"National Register Information System"Historic houses of South Carolina"Lowndes Grove""+32° 48' 6.00", −79° 57' 58.00""Lowndes Grove, Charleston County (260 St. Margaret St., Charleston)""Lowndes Grove"The Charleston ExpositionIt Happened in South Carolina"Lowndes Grove (House), Saint Margaret Street & Sixth Avenue, Charleston, Charleston County, SC(Photographs)"Plantations of the Carolina Low Countrye