Models of true arithmetic are integer parts of nice real closed fields

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:e75ba0a768d3b1e63d29aa776124df7d

CARL, Merlin, 2013. Models of true arithmetic are integer parts of nice real closed fields

@unpublished{Carl2013Model-25584, title={Models of true arithmetic are integer parts of nice real closed fields}, year={2013}, author={Carl, Merlin} }

<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/25584"> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-01-11T13:47:51Z</dcterms:available> <dc:rights>deposit-license</dc:rights> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2014-01-11T13:47:51Z</dc:date> <dc:creator>Carl, Merlin</dc:creator> <dcterms:abstract xml:lang="eng">Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an exponential real closed field that is elementary equivalent to the reals with exponentiation and that each model of Peano arithmetic is an integer part of a real closed fields that admits an isomorphism between its additive and its multiplicative group of positive elements.</dcterms:abstract> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/25584/1/Carl_255846.pdf"/> <dcterms:title>Models of true arithmetic are integer parts of nice real closed fields</dcterms:title> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:language>eng</dc:language> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:issued>2013</dcterms:issued> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/25584"/> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:contributor>Carl, Merlin</dc:contributor> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/25584/1/Carl_255846.pdf"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Carl_255846.pdf 61

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto