Expansions of real closed fields that introduce no new smooth functions
We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semi...
Ausführliche Beschreibung
Autor*in: |
Eleftheriou, Pantelis E. [verfasserIn] |
---|
Format: |
E-Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2020 |
---|
Schlagwörter: |
---|
Übergeordnetes Werk: |
Enthalten in: Traditional knowledge and the BBNJ instrument - Mulalap, Clement Yow ELSEVIER, 2020, Amsterdam [u.a.] |
---|---|
Übergeordnetes Werk: |
volume:171 ; year:2020 ; number:7 ; pages:0 |
Links: |
---|
DOI / URN: |
10.1016/j.apal.2020.102808 |
---|
Katalog-ID: |
ELV050279556 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | ELV050279556 | ||
003 | DE-627 | ||
005 | 20230624163504.0 | ||
007 | cr uuu---uuuuu | ||
008 | 200625s2020 xx |||||o 00| ||eng c | ||
024 | 7 | |a 10.1016/j.apal.2020.102808 |2 doi | |
028 | 5 | 2 | |a /cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica |
035 | |a (DE-627)ELV050279556 | ||
035 | |a (ELSEVIER)S0168-0072(20)30032-4 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 550 |q VZ |
084 | |a INTRECHT |q DE-1a |2 fid | ||
084 | |a 83.00 |2 bkl | ||
100 | 1 | |a Eleftheriou, Pantelis E. |e verfasserin |4 aut | |
245 | 1 | 0 | |a Expansions of real closed fields that introduce no new smooth functions |
264 | 1 | |c 2020 | |
336 | |a nicht spezifiziert |b zzz |2 rdacontent | ||
337 | |a nicht spezifiziert |b z |2 rdamedia | ||
338 | |a nicht spezifiziert |b zu |2 rdacarrier | ||
520 | |a We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. | ||
650 | 7 | |a secondary |2 Elsevier | |
650 | 7 | |a 14P20 |2 Elsevier | |
650 | 7 | |a 03C45 |2 Elsevier | |
650 | 7 | |a primary |2 Elsevier | |
700 | 1 | |a Savatovsky, Alex |4 oth | |
773 | 0 | 8 | |i Enthalten in |n Elsevier |a Mulalap, Clement Yow ELSEVIER |t Traditional knowledge and the BBNJ instrument |d 2020 |g Amsterdam [u.a.] |w (DE-627)ELV005164354 |
773 | 1 | 8 | |g volume:171 |g year:2020 |g number:7 |g pages:0 |
856 | 4 | 0 | |u https://doi.org/10.1016/j.apal.2020.102808 |3 Volltext |
912 | |a GBV_USEFLAG_U | ||
912 | |a GBV_ELV | ||
912 | |a SYSFLAG_U | ||
912 | |a FID-INTRECHT | ||
936 | b | k | |a 83.00 |j Volkswirtschaft: Allgemeines |q VZ |
951 | |a AR | ||
952 | |d 171 |j 2020 |e 7 |h 0 |
author_variant |
p e e pe pee |
---|---|
matchkey_str |
eleftherioupantelisesavatovskyalex:2020----:xasosfellsdilshtnrdcnn |
hierarchy_sort_str |
2020 |
bklnumber |
83.00 |
publishDate |
2020 |
allfields |
10.1016/j.apal.2020.102808 doi /cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica (DE-627)ELV050279556 (ELSEVIER)S0168-0072(20)30032-4 DE-627 ger DE-627 rakwb eng 550 VZ INTRECHT DE-1a fid 83.00 bkl Eleftheriou, Pantelis E. verfasserin aut Expansions of real closed fields that introduce no new smooth functions 2020 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary Elsevier Savatovsky, Alex oth Enthalten in Elsevier Mulalap, Clement Yow ELSEVIER Traditional knowledge and the BBNJ instrument 2020 Amsterdam [u.a.] (DE-627)ELV005164354 volume:171 year:2020 number:7 pages:0 https://doi.org/10.1016/j.apal.2020.102808 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U FID-INTRECHT 83.00 Volkswirtschaft: Allgemeines VZ AR 171 2020 7 0 |
spelling |
10.1016/j.apal.2020.102808 doi /cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica (DE-627)ELV050279556 (ELSEVIER)S0168-0072(20)30032-4 DE-627 ger DE-627 rakwb eng 550 VZ INTRECHT DE-1a fid 83.00 bkl Eleftheriou, Pantelis E. verfasserin aut Expansions of real closed fields that introduce no new smooth functions 2020 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary Elsevier Savatovsky, Alex oth Enthalten in Elsevier Mulalap, Clement Yow ELSEVIER Traditional knowledge and the BBNJ instrument 2020 Amsterdam [u.a.] (DE-627)ELV005164354 volume:171 year:2020 number:7 pages:0 https://doi.org/10.1016/j.apal.2020.102808 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U FID-INTRECHT 83.00 Volkswirtschaft: Allgemeines VZ AR 171 2020 7 0 |
allfields_unstemmed |
10.1016/j.apal.2020.102808 doi /cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica (DE-627)ELV050279556 (ELSEVIER)S0168-0072(20)30032-4 DE-627 ger DE-627 rakwb eng 550 VZ INTRECHT DE-1a fid 83.00 bkl Eleftheriou, Pantelis E. verfasserin aut Expansions of real closed fields that introduce no new smooth functions 2020 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary Elsevier Savatovsky, Alex oth Enthalten in Elsevier Mulalap, Clement Yow ELSEVIER Traditional knowledge and the BBNJ instrument 2020 Amsterdam [u.a.] (DE-627)ELV005164354 volume:171 year:2020 number:7 pages:0 https://doi.org/10.1016/j.apal.2020.102808 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U FID-INTRECHT 83.00 Volkswirtschaft: Allgemeines VZ AR 171 2020 7 0 |
allfieldsGer |
10.1016/j.apal.2020.102808 doi /cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica (DE-627)ELV050279556 (ELSEVIER)S0168-0072(20)30032-4 DE-627 ger DE-627 rakwb eng 550 VZ INTRECHT DE-1a fid 83.00 bkl Eleftheriou, Pantelis E. verfasserin aut Expansions of real closed fields that introduce no new smooth functions 2020 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary Elsevier Savatovsky, Alex oth Enthalten in Elsevier Mulalap, Clement Yow ELSEVIER Traditional knowledge and the BBNJ instrument 2020 Amsterdam [u.a.] (DE-627)ELV005164354 volume:171 year:2020 number:7 pages:0 https://doi.org/10.1016/j.apal.2020.102808 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U FID-INTRECHT 83.00 Volkswirtschaft: Allgemeines VZ AR 171 2020 7 0 |
allfieldsSound |
10.1016/j.apal.2020.102808 doi /cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica (DE-627)ELV050279556 (ELSEVIER)S0168-0072(20)30032-4 DE-627 ger DE-627 rakwb eng 550 VZ INTRECHT DE-1a fid 83.00 bkl Eleftheriou, Pantelis E. verfasserin aut Expansions of real closed fields that introduce no new smooth functions 2020 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary Elsevier Savatovsky, Alex oth Enthalten in Elsevier Mulalap, Clement Yow ELSEVIER Traditional knowledge and the BBNJ instrument 2020 Amsterdam [u.a.] (DE-627)ELV005164354 volume:171 year:2020 number:7 pages:0 https://doi.org/10.1016/j.apal.2020.102808 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U FID-INTRECHT 83.00 Volkswirtschaft: Allgemeines VZ AR 171 2020 7 0 |
language |
English |
source |
Enthalten in Traditional knowledge and the BBNJ instrument Amsterdam [u.a.] volume:171 year:2020 number:7 pages:0 |
sourceStr |
Enthalten in Traditional knowledge and the BBNJ instrument Amsterdam [u.a.] volume:171 year:2020 number:7 pages:0 |
format_phy_str_mv |
Article |
bklname |
Volkswirtschaft: Allgemeines |
institution |
findex.gbv.de |
topic_facet |
secondary 14P20 03C45 primary |
dewey-raw |
550 |
isfreeaccess_bool |
false |
container_title |
Traditional knowledge and the BBNJ instrument |
authorswithroles_txt_mv |
Eleftheriou, Pantelis E. @@aut@@ Savatovsky, Alex @@oth@@ |
publishDateDaySort_date |
2020-01-01T00:00:00Z |
hierarchy_top_id |
ELV005164354 |
dewey-sort |
3550 |
id |
ELV050279556 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV050279556</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230624163504.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">200625s2020 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.apal.2020.102808</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">/cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV050279556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0168-0072(20)30032-4</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">550</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">INTRECHT</subfield><subfield code="q">DE-1a</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">83.00</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eleftheriou, Pantelis E.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Expansions of real closed fields that introduce no new smooth functions</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2020</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">secondary</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">14P20</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">03C45</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">primary</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Savatovsky, Alex</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Elsevier</subfield><subfield code="a">Mulalap, Clement Yow ELSEVIER</subfield><subfield code="t">Traditional knowledge and the BBNJ instrument</subfield><subfield code="d">2020</subfield><subfield code="g">Amsterdam [u.a.]</subfield><subfield code="w">(DE-627)ELV005164354</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:171</subfield><subfield code="g">year:2020</subfield><subfield code="g">number:7</subfield><subfield code="g">pages:0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.apal.2020.102808</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-INTRECHT</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">83.00</subfield><subfield code="j">Volkswirtschaft: Allgemeines</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">171</subfield><subfield code="j">2020</subfield><subfield code="e">7</subfield><subfield code="h">0</subfield></datafield></record></collection>
|
author |
Eleftheriou, Pantelis E. |
spellingShingle |
Eleftheriou, Pantelis E. ddc 550 fid INTRECHT bkl 83.00 Elsevier secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary Expansions of real closed fields that introduce no new smooth functions |
authorStr |
Eleftheriou, Pantelis E. |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)ELV005164354 |
format |
electronic Article |
dewey-ones |
550 - Earth sciences |
delete_txt_mv |
keep |
author_role |
aut |
collection |
elsevier |
remote_str |
true |
illustrated |
Not Illustrated |
topic_title |
550 VZ INTRECHT DE-1a fid 83.00 bkl Expansions of real closed fields that introduce no new smooth functions secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary Elsevier |
topic |
ddc 550 fid INTRECHT bkl 83.00 Elsevier secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary |
topic_unstemmed |
ddc 550 fid INTRECHT bkl 83.00 Elsevier secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary |
topic_browse |
ddc 550 fid INTRECHT bkl 83.00 Elsevier secondary Elsevier 14P20 Elsevier 03C45 Elsevier primary |
format_facet |
Elektronische Aufsätze Aufsätze Elektronische Ressource |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
zu |
author2_variant |
a s as |
hierarchy_parent_title |
Traditional knowledge and the BBNJ instrument |
hierarchy_parent_id |
ELV005164354 |
dewey-tens |
550 - Earth sciences & geology |
hierarchy_top_title |
Traditional knowledge and the BBNJ instrument |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)ELV005164354 |
title |
Expansions of real closed fields that introduce no new smooth functions |
ctrlnum |
(DE-627)ELV050279556 (ELSEVIER)S0168-0072(20)30032-4 |
title_full |
Expansions of real closed fields that introduce no new smooth functions |
author_sort |
Eleftheriou, Pantelis E. |
journal |
Traditional knowledge and the BBNJ instrument |
journalStr |
Traditional knowledge and the BBNJ instrument |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
500 - Science |
recordtype |
marc |
publishDateSort |
2020 |
contenttype_str_mv |
zzz |
container_start_page |
0 |
author_browse |
Eleftheriou, Pantelis E. |
container_volume |
171 |
class |
550 VZ INTRECHT DE-1a fid 83.00 bkl |
format_se |
Elektronische Aufsätze |
author-letter |
Eleftheriou, Pantelis E. |
doi_str_mv |
10.1016/j.apal.2020.102808 |
dewey-full |
550 |
title_sort |
expansions of real closed fields that introduce no new smooth functions |
title_auth |
Expansions of real closed fields that introduce no new smooth functions |
abstract |
We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. |
abstractGer |
We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. |
abstract_unstemmed |
We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic. |
collection_details |
GBV_USEFLAG_U GBV_ELV SYSFLAG_U FID-INTRECHT |
container_issue |
7 |
title_short |
Expansions of real closed fields that introduce no new smooth functions |
url |
https://doi.org/10.1016/j.apal.2020.102808 |
remote_bool |
true |
author2 |
Savatovsky, Alex |
author2Str |
Savatovsky, Alex |
ppnlink |
ELV005164354 |
mediatype_str_mv |
z |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth |
doi_str |
10.1016/j.apal.2020.102808 |
up_date |
2024-07-06T17:06:28.081Z |
_version_ |
1803850180810768384 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV050279556</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230624163504.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">200625s2020 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.apal.2020.102808</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">/cbs_pica/cbs_olc/import_discovery/elsevier/einzuspielen/GBV00000000001009.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV050279556</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0168-0072(20)30032-4</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">550</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">INTRECHT</subfield><subfield code="q">DE-1a</subfield><subfield code="2">fid</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">83.00</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eleftheriou, Pantelis E.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Expansions of real closed fields that introduce no new smooth functions</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2020</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We prove the following theorem: let R ˜ be an expansion of the real field R ‾ , such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a “semialgebraic chunk”. Then every definable smooth function f : X ⊆ R n → R with open semialgebraic domain is semialgebraic.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">secondary</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">14P20</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">03C45</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">primary</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Savatovsky, Alex</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Elsevier</subfield><subfield code="a">Mulalap, Clement Yow ELSEVIER</subfield><subfield code="t">Traditional knowledge and the BBNJ instrument</subfield><subfield code="d">2020</subfield><subfield code="g">Amsterdam [u.a.]</subfield><subfield code="w">(DE-627)ELV005164354</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:171</subfield><subfield code="g">year:2020</subfield><subfield code="g">number:7</subfield><subfield code="g">pages:0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.apal.2020.102808</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-INTRECHT</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">83.00</subfield><subfield code="j">Volkswirtschaft: Allgemeines</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">171</subfield><subfield code="j">2020</subfield><subfield code="e">7</subfield><subfield code="h">0</subfield></datafield></record></collection>
|
score |
7.400301 |