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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" 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:title>Models of true arithmetic are integer parts of nice real closed fields</dcterms:title> <dc:language>eng</dc:language> <dcterms:issued>2013</dcterms:issued> <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> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Carl_255846.pdf 59

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto