Publikation:

On Definable Skolem Functions In Weakly O-Minimal Nonvaluational Structures

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2017

Autor:innen

Hasson, Assaf
Keren, Gil

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
DOI (zitierfähiger Link)
https://doi.org/10.1017/jsl.2017.28
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung

Sammlungen

Mathematik und Statistik: Publikationen
Zukunftskolleg: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Zeitschriftenartikel
Publikationsstatus
Published

Erschienen in

The Journal of Symbolic Logic. 2017, 82(4), pp. 1482-1495. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2017.28

Zusammenfassung

We prove that all known examples of weakly o-minimal nonvaluational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to definable families of cuts. Along the way we give some new examples of weakly o-minimal nonvaluational structures.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
510 Mathematik

Schlagwörter

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690ELEFTHERIOU, Pantelis E., Assaf HASSON, Gil KEREN, 2017. On Definable Skolem Functions In Weakly O-Minimal Nonvaluational Structures. In: The Journal of Symbolic Logic. 2017, 82(4), pp. 1482-1495. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2017.28
BibTex
@article{Eleftheriou2017Defin-41537,
  year={2017},
  doi={10.1017/jsl.2017.28},
  title={On Definable Skolem Functions In Weakly O-Minimal Nonvaluational Structures},
  number={4},
  volume={82},
  issn={0022-4812},
  journal={The Journal of Symbolic Logic},
  pages={1482--1495},
  author={Eleftheriou, Pantelis E. and Hasson, Assaf and Keren, Gil}
}
RDF
<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/server/rdf/resource/123456789/41537">
    <dc:language>eng</dc:language>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-21T10:53:57Z</dc:date>
    <dcterms:title>On Definable Skolem Functions In Weakly O-Minimal Nonvaluational Structures</dcterms:title>
    <dc:creator>Eleftheriou, Pantelis E.</dc:creator>
    <dc:contributor>Eleftheriou, Pantelis E.</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Keren, Gil</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/>
    <dc:contributor>Hasson, Assaf</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dcterms:abstract xml:lang="eng">We prove that all known examples of weakly o-minimal nonvaluational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to definable families of cuts. Along the way we give some new examples of weakly o-minimal nonvaluational structures.</dcterms:abstract>
    <dcterms:issued>2017</dcterms:issued>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-21T10:53:57Z</dcterms:available>
    <dc:creator>Keren, Gil</dc:creator>
    <dc:creator>Hasson, Assaf</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41537"/>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen