KOPS - The Institutional Repository of the University of Konstanz

A computational approach to an alternative working environment for the constructible universe

A computational approach to an alternative working environment for the constructible universe

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

CARL, Merlin, 2011. A computational approach to an alternative working environment for the constructible universe. 7th Conference on Computability in Europe, CiE 2011. Sofia, Bulgaria, Jun 27, 2011 - Jul 2, 2011. In: LÖWE, Bendikt, ed., Ivan SOSKOV, ed.. Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, Proceedings. Berlin:Springer, pp. 21-30. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-21875-0. Available under: doi: 10.1007/978-3-642-21875-0_3

@inproceedings{Carl2011compu-41573, title={A computational approach to an alternative working environment for the constructible universe}, year={2011}, doi={10.1007/978-3-642-21875-0_3}, number={6735}, isbn={978-3-642-21875-0}, issn={0302-9743}, address={Berlin}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, Proceedings}, pages={21--30}, editor={Löwe, Bendikt and Soskov, Ivan}, 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/41573"> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-23T10:00:00Z</dc:date> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Carl, Merlin</dc:contributor> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41573"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-23T10:00:00Z</dcterms:available> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:abstract xml:lang="eng">We exhibit aspects of fine structure theory related to infinitary computations and describe a new approach to fine structure based on it, the F-hierarchy, and its refinement, the hyperings. As a sample application, we prove a variant of a theorem of Magidor.</dcterms:abstract> <dc:creator>Carl, Merlin</dc:creator> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:title>A computational approach to an alternative working environment for the constructible universe</dcterms:title> <dcterms:issued>2011</dcterms:issued> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account