A computational approach to an alternative working environment for the constructible universe
| Type of Publication: | Contribution to a conference collection |
| Publication status: | Published |
| Author: | Carl, Merlin |
| Year of publication: | 2011 |
| Conference: | 7th Conference on Computability in Europe, CiE 2011, Jun 27, 2011 - Jul 2, 2011, Sofia, Bulgaria |
| Published in: | Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, Proceedings / Löwe, Bendikt; Soskov, Ivan (ed.). - Berlin : Springer, 2011. - (Lecture Notes in Computer Science ; 6735). - pp. 21-30. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-642-21875-0 |
| DOI (citable link): | https://dx.doi.org/10.1007/978-3-642-21875-0_3 |
| Summary: |
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.
|
| Subject (DDC): | 510 Mathematics |
| Keywords: | Berechnungskomplexität; Berechnungstheorie; Berechenbarkeit; Kongress; Sofia 2011 |
| Bibliography of Konstanz: | Yes |
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
