Structure theorems in tame expansions of o-minimal structures by a dense set
Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and p...
Ausführliche Beschreibung
Autor*in: |
Eleftheriou, Pantelis E. [verfasserIn] |
---|
Format: |
Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2020 |
---|
Anmerkung: |
© The Hebrew University of Jerusalem 2020 |
---|
Übergeordnetes Werk: |
Enthalten in: Israel journal of mathematics - The Hebrew University Magnes Press, 1963, 239(2020), 1 vom: Aug., Seite 435-500 |
---|---|
Übergeordnetes Werk: |
volume:239 ; year:2020 ; number:1 ; month:08 ; pages:435-500 |
Links: |
---|
DOI / URN: |
10.1007/s11856-020-2058-0 |
---|
Katalog-ID: |
OLC2119880689 |
---|
LEADER | 01000naa a22002652 4500 | ||
---|---|---|---|
001 | OLC2119880689 | ||
003 | DE-627 | ||
005 | 20230504173116.0 | ||
007 | tu | ||
008 | 230504s2020 xx ||||| 00| ||eng c | ||
024 | 7 | |a 10.1007/s11856-020-2058-0 |2 doi | |
035 | |a (DE-627)OLC2119880689 | ||
035 | |a (DE-He213)s11856-020-2058-0-p | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 510 |q VZ |
084 | |a 17,1 |2 ssgn | ||
100 | 1 | |a Eleftheriou, Pantelis E. |e verfasserin |4 aut | |
245 | 1 | 0 | |a Structure theorems in tame expansions of o-minimal structures by a dense set |
264 | 1 | |c 2020 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
500 | |a © The Hebrew University of Jerusalem 2020 | ||
520 | |a Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. | ||
700 | 1 | |a Günaydin, Ayhan |4 aut | |
700 | 1 | |a Hieronymi, Philipp |4 aut | |
773 | 0 | 8 | |i Enthalten in |t Israel journal of mathematics |d The Hebrew University Magnes Press, 1963 |g 239(2020), 1 vom: Aug., Seite 435-500 |w (DE-627)129552283 |w (DE-600)219689-X |w (DE-576)015007081 |x 0021-2172 |7 nnns |
773 | 1 | 8 | |g volume:239 |g year:2020 |g number:1 |g month:08 |g pages:435-500 |
856 | 4 | 1 | |u https://doi.org/10.1007/s11856-020-2058-0 |z lizenzpflichtig |3 Volltext |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a SSG-OPC-MAT | ||
912 | |a SSG-OPC-JFK | ||
912 | |a GBV_ILN_2030 | ||
912 | |a GBV_ILN_4027 | ||
912 | |a GBV_ILN_4311 | ||
951 | |a AR | ||
952 | |d 239 |j 2020 |e 1 |c 08 |h 435-500 |
author_variant |
p e e pe pee a g ag p h ph |
---|---|
matchkey_str |
article:00212172:2020----::tutrtermitmepninooiiasrc |
hierarchy_sort_str |
2020 |
publishDate |
2020 |
allfields |
10.1007/s11856-020-2058-0 doi (DE-627)OLC2119880689 (DE-He213)s11856-020-2058-0-p DE-627 ger DE-627 rakwb eng 510 VZ 17,1 ssgn Eleftheriou, Pantelis E. verfasserin aut Structure theorems in tame expansions of o-minimal structures by a dense set 2020 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © The Hebrew University of Jerusalem 2020 Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. Günaydin, Ayhan aut Hieronymi, Philipp aut Enthalten in Israel journal of mathematics The Hebrew University Magnes Press, 1963 239(2020), 1 vom: Aug., Seite 435-500 (DE-627)129552283 (DE-600)219689-X (DE-576)015007081 0021-2172 nnns volume:239 year:2020 number:1 month:08 pages:435-500 https://doi.org/10.1007/s11856-020-2058-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT SSG-OPC-JFK GBV_ILN_2030 GBV_ILN_4027 GBV_ILN_4311 AR 239 2020 1 08 435-500 |
spelling |
10.1007/s11856-020-2058-0 doi (DE-627)OLC2119880689 (DE-He213)s11856-020-2058-0-p DE-627 ger DE-627 rakwb eng 510 VZ 17,1 ssgn Eleftheriou, Pantelis E. verfasserin aut Structure theorems in tame expansions of o-minimal structures by a dense set 2020 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © The Hebrew University of Jerusalem 2020 Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. Günaydin, Ayhan aut Hieronymi, Philipp aut Enthalten in Israel journal of mathematics The Hebrew University Magnes Press, 1963 239(2020), 1 vom: Aug., Seite 435-500 (DE-627)129552283 (DE-600)219689-X (DE-576)015007081 0021-2172 nnns volume:239 year:2020 number:1 month:08 pages:435-500 https://doi.org/10.1007/s11856-020-2058-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT SSG-OPC-JFK GBV_ILN_2030 GBV_ILN_4027 GBV_ILN_4311 AR 239 2020 1 08 435-500 |
allfields_unstemmed |
10.1007/s11856-020-2058-0 doi (DE-627)OLC2119880689 (DE-He213)s11856-020-2058-0-p DE-627 ger DE-627 rakwb eng 510 VZ 17,1 ssgn Eleftheriou, Pantelis E. verfasserin aut Structure theorems in tame expansions of o-minimal structures by a dense set 2020 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © The Hebrew University of Jerusalem 2020 Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. Günaydin, Ayhan aut Hieronymi, Philipp aut Enthalten in Israel journal of mathematics The Hebrew University Magnes Press, 1963 239(2020), 1 vom: Aug., Seite 435-500 (DE-627)129552283 (DE-600)219689-X (DE-576)015007081 0021-2172 nnns volume:239 year:2020 number:1 month:08 pages:435-500 https://doi.org/10.1007/s11856-020-2058-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT SSG-OPC-JFK GBV_ILN_2030 GBV_ILN_4027 GBV_ILN_4311 AR 239 2020 1 08 435-500 |
allfieldsGer |
10.1007/s11856-020-2058-0 doi (DE-627)OLC2119880689 (DE-He213)s11856-020-2058-0-p DE-627 ger DE-627 rakwb eng 510 VZ 17,1 ssgn Eleftheriou, Pantelis E. verfasserin aut Structure theorems in tame expansions of o-minimal structures by a dense set 2020 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © The Hebrew University of Jerusalem 2020 Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. Günaydin, Ayhan aut Hieronymi, Philipp aut Enthalten in Israel journal of mathematics The Hebrew University Magnes Press, 1963 239(2020), 1 vom: Aug., Seite 435-500 (DE-627)129552283 (DE-600)219689-X (DE-576)015007081 0021-2172 nnns volume:239 year:2020 number:1 month:08 pages:435-500 https://doi.org/10.1007/s11856-020-2058-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT SSG-OPC-JFK GBV_ILN_2030 GBV_ILN_4027 GBV_ILN_4311 AR 239 2020 1 08 435-500 |
allfieldsSound |
10.1007/s11856-020-2058-0 doi (DE-627)OLC2119880689 (DE-He213)s11856-020-2058-0-p DE-627 ger DE-627 rakwb eng 510 VZ 17,1 ssgn Eleftheriou, Pantelis E. verfasserin aut Structure theorems in tame expansions of o-minimal structures by a dense set 2020 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © The Hebrew University of Jerusalem 2020 Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. Günaydin, Ayhan aut Hieronymi, Philipp aut Enthalten in Israel journal of mathematics The Hebrew University Magnes Press, 1963 239(2020), 1 vom: Aug., Seite 435-500 (DE-627)129552283 (DE-600)219689-X (DE-576)015007081 0021-2172 nnns volume:239 year:2020 number:1 month:08 pages:435-500 https://doi.org/10.1007/s11856-020-2058-0 lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT SSG-OPC-JFK GBV_ILN_2030 GBV_ILN_4027 GBV_ILN_4311 AR 239 2020 1 08 435-500 |
language |
English |
source |
Enthalten in Israel journal of mathematics 239(2020), 1 vom: Aug., Seite 435-500 volume:239 year:2020 number:1 month:08 pages:435-500 |
sourceStr |
Enthalten in Israel journal of mathematics 239(2020), 1 vom: Aug., Seite 435-500 volume:239 year:2020 number:1 month:08 pages:435-500 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
dewey-raw |
510 |
isfreeaccess_bool |
false |
container_title |
Israel journal of mathematics |
authorswithroles_txt_mv |
Eleftheriou, Pantelis E. @@aut@@ Günaydin, Ayhan @@aut@@ Hieronymi, Philipp @@aut@@ |
publishDateDaySort_date |
2020-08-01T00:00:00Z |
hierarchy_top_id |
129552283 |
dewey-sort |
3510 |
id |
OLC2119880689 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">OLC2119880689</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504173116.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">230504s2020 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s11856-020-2058-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2119880689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s11856-020-2058-0-p</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">510</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17,1</subfield><subfield code="2">ssgn</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">Structure theorems in tame expansions of o-minimal structures by a dense set</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2020</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© The Hebrew University of Jerusalem 2020</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Günaydin, Ayhan</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hieronymi, Philipp</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Israel journal of mathematics</subfield><subfield code="d">The Hebrew University Magnes Press, 1963</subfield><subfield code="g">239(2020), 1 vom: Aug., Seite 435-500</subfield><subfield code="w">(DE-627)129552283</subfield><subfield code="w">(DE-600)219689-X</subfield><subfield code="w">(DE-576)015007081</subfield><subfield code="x">0021-2172</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:239</subfield><subfield code="g">year:2020</subfield><subfield code="g">number:1</subfield><subfield code="g">month:08</subfield><subfield code="g">pages:435-500</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s11856-020-2058-0</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-JFK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2030</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">239</subfield><subfield code="j">2020</subfield><subfield code="e">1</subfield><subfield code="c">08</subfield><subfield code="h">435-500</subfield></datafield></record></collection>
|
author |
Eleftheriou, Pantelis E. |
spellingShingle |
Eleftheriou, Pantelis E. ddc 510 ssgn 17,1 Structure theorems in tame expansions of o-minimal structures by a dense set |
authorStr |
Eleftheriou, Pantelis E. |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)129552283 |
format |
Article |
dewey-ones |
510 - Mathematics |
delete_txt_mv |
keep |
author_role |
aut aut aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0021-2172 |
topic_title |
510 VZ 17,1 ssgn Structure theorems in tame expansions of o-minimal structures by a dense set |
topic |
ddc 510 ssgn 17,1 |
topic_unstemmed |
ddc 510 ssgn 17,1 |
topic_browse |
ddc 510 ssgn 17,1 |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
hierarchy_parent_title |
Israel journal of mathematics |
hierarchy_parent_id |
129552283 |
dewey-tens |
510 - Mathematics |
hierarchy_top_title |
Israel journal of mathematics |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)129552283 (DE-600)219689-X (DE-576)015007081 |
title |
Structure theorems in tame expansions of o-minimal structures by a dense set |
ctrlnum |
(DE-627)OLC2119880689 (DE-He213)s11856-020-2058-0-p |
title_full |
Structure theorems in tame expansions of o-minimal structures by a dense set |
author_sort |
Eleftheriou, Pantelis E. |
journal |
Israel journal of mathematics |
journalStr |
Israel journal of mathematics |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
500 - Science |
recordtype |
marc |
publishDateSort |
2020 |
contenttype_str_mv |
txt |
container_start_page |
435 |
author_browse |
Eleftheriou, Pantelis E. Günaydin, Ayhan Hieronymi, Philipp |
container_volume |
239 |
class |
510 VZ 17,1 ssgn |
format_se |
Aufsätze |
author-letter |
Eleftheriou, Pantelis E. |
doi_str_mv |
10.1007/s11856-020-2058-0 |
dewey-full |
510 |
title_sort |
structure theorems in tame expansions of o-minimal structures by a dense set |
title_auth |
Structure theorems in tame expansions of o-minimal structures by a dense set |
abstract |
Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. © The Hebrew University of Jerusalem 2020 |
abstractGer |
Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. © The Hebrew University of Jerusalem 2020 |
abstract_unstemmed |
Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map. © The Hebrew University of Jerusalem 2020 |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT SSG-OPC-MAT SSG-OPC-JFK GBV_ILN_2030 GBV_ILN_4027 GBV_ILN_4311 |
container_issue |
1 |
title_short |
Structure theorems in tame expansions of o-minimal structures by a dense set |
url |
https://doi.org/10.1007/s11856-020-2058-0 |
remote_bool |
false |
author2 |
Günaydin, Ayhan Hieronymi, Philipp |
author2Str |
Günaydin, Ayhan Hieronymi, Philipp |
ppnlink |
129552283 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
doi_str |
10.1007/s11856-020-2058-0 |
up_date |
2024-07-04T02:34:36.644Z |
_version_ |
1803614134358507520 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">OLC2119880689</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504173116.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">230504s2020 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s11856-020-2058-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2119880689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s11856-020-2058-0-p</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">510</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">17,1</subfield><subfield code="2">ssgn</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">Structure theorems in tame expansions of o-minimal structures by a dense set</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2020</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© The Hebrew University of Jerusalem 2020</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We study sets and groups definable in tame expansions of o-minimal structures. Let $$\widetilde{\cal M} = \left\langle {{\cal M},P} \right\rangle $$ be an expansion of an o-minimal $${\cal L}$$-structure ℳ by a dense set P. We impose three tameness conditions on $$\widetilde{\cal M}$$ and prove a structure theorem for definable sets and functions in analogy with the cell decomposition theorem known for o-minimal structures. The structure theorem advances the state-of-the-art in all known examples of such $$\widetilde{\cal M}$$, as it achieves a decomposition of definable sets into unions of ‘cones’, instead of only boolean combinations of them. The proofs involve induction on the notion of ‘large dimension’ for definable sets, an invariant which we herewith introduce and analyze. Applications of the cone decomposition theorem include: (i) the large dimension of a definable set coincides with a suitable pregeometric dimension, and it is invariant under definable bijections, (ii) every definable map is given by an $${\cal L}$$-definable map off a subset of the domain of smaller large dimension, and (iii) around generic elements of a definable group, the group operation is given by an $${\cal L}$$-definable map.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Günaydin, Ayhan</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hieronymi, Philipp</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Israel journal of mathematics</subfield><subfield code="d">The Hebrew University Magnes Press, 1963</subfield><subfield code="g">239(2020), 1 vom: Aug., Seite 435-500</subfield><subfield code="w">(DE-627)129552283</subfield><subfield code="w">(DE-600)219689-X</subfield><subfield code="w">(DE-576)015007081</subfield><subfield code="x">0021-2172</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:239</subfield><subfield code="g">year:2020</subfield><subfield code="g">number:1</subfield><subfield code="g">month:08</subfield><subfield code="g">pages:435-500</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s11856-020-2058-0</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-JFK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2030</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4311</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">239</subfield><subfield code="j">2020</subfield><subfield code="e">1</subfield><subfield code="c">08</subfield><subfield code="h">435-500</subfield></datafield></record></collection>
|
score |
7.4004126 |