Aufgrund von Vorbereitungen auf eine neue Version von KOPS, können kommenden Montag und Dienstag keine Publikationen eingereicht werden. (Due to preparations for a new version of KOPS, no publications can be submitted next Monday and Tuesday.)
Type of Publication: | Journal article |
Author: | Eleftheriou, Pantelis E.; Peterzil, Ya'acov; Ramakrishnan, Janak |
Year of publication: | 2014 |
Published in: | Journal of Mathematical Logic ; 14 (2014), 1. - 1450002. - ISSN 0219-0613 |
DOI (citable link): | https://dx.doi.org/10.1142/S0219061314500020 |
Summary: |
We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or one-dimensional definable groups). We discuss the general open question of elimination of imaginaries in an o-minimal structure.
|
Subject (DDC): | 510 Mathematics |
Keywords: | o-minimality, interpretable groups, definable groups, elimination of imaginaries |
Bibliography of Konstanz: | Yes |
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
ELEFTHERIOU, Pantelis E., Ya'acov PETERZIL, Janak RAMAKRISHNAN, 2014. Interpretable groups are definable. In: Journal of Mathematical Logic. 14(1), 1450002. ISSN 0219-0613. Available under: doi: 10.1142/S0219061314500020
@article{Eleftheriou2014Inter-31026, title={Interpretable groups are definable}, year={2014}, doi={10.1142/S0219061314500020}, number={1}, volume={14}, issn={0219-0613}, journal={Journal of Mathematical Logic}, author={Eleftheriou, Pantelis E. and Peterzil, Ya'acov and Ramakrishnan, Janak}, note={Article Number: 1450002} }
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/31026"> <dc:contributor>Eleftheriou, Pantelis E.</dc:contributor> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:abstract xml:lang="eng">We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or one-dimensional definable groups). We discuss the general open question of elimination of imaginaries in an o-minimal structure.</dcterms:abstract> <dc:creator>Eleftheriou, Pantelis E.</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-05-24T05:43:37Z</dc:date> <dc:contributor>Ramakrishnan, Janak</dc:contributor> <dc:creator>Ramakrishnan, Janak</dc:creator> <dc:creator>Peterzil, Ya'acov</dc:creator> <dcterms:title>Interpretable groups are definable</dcterms:title> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-05-24T05:43:37Z</dcterms:available> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/52"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:issued>2014</dcterms:issued> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:contributor>Peterzil, Ya'acov</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31026"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/52"/> </rdf:Description> </rdf:RDF>