Publikation:

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

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2011

Autor:innen

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.1007/978-3-642-21875-0_3
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung

Sammlungen

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

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen 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, 2011, pp. 21-30. Lecture Notes in Computer Science. 6735. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-21875-0. Available under: doi: 10.1007/978-3-642-21875-0_3

Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
510 Mathematik

Schlagwörter

Berechnungskomplexität; Berechnungstheorie; Berechenbarkeit; Kongress; Sofia 2011

Konferenz

7th Conference on Computability in Europe, CiE 2011, 27. Juni 2011 - 2. Juli 2011, Sofia, Bulgaria
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690CARL, Merlin, 2011. A computational approach to an alternative working environment for the constructible universe. 7th Conference on Computability in Europe, CiE 2011. Sofia, Bulgaria, 27. Juni 2011 - 2. Juli 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, 2011, pp. 21-30. Lecture Notes in Computer Science. 6735. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-642-21875-0. Available under: doi: 10.1007/978-3-642-21875-0_3
BibTex
@inproceedings{Carl2011compu-41573,
  year={2011},
  doi={10.1007/978-3-642-21875-0_3},
  title={A computational approach to an alternative working environment for the constructible universe},
  number={6735},
  isbn={978-3-642-21875-0},
  issn={0302-9743},
  publisher={Springer},
  address={Berlin},
  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: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/41573">
    <dc:contributor>Carl, Merlin</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:language>eng</dc:language>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41573"/>
    <dcterms:title>A computational approach to an alternative working environment for the constructible universe</dcterms:title>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:issued>2011</dcterms:issued>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-23T10:00:00Z</dcterms:available>
    <dc:creator>Carl, Merlin</dc:creator>
    <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:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-23T10:00:00Z</dc:date>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
  </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