Publikation: Class Forcing in Class Theory
Lade...
Dateien
Datum
2018
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
DOI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
oops
Angaben zur Forschungsförderung
European Union (EU): 752211
Projekt
Philosophy Forcing
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Beitrag zu einem Sammelband
Publikationsstatus
Published
Erschienen in
ANTOS, Carolin, ed., Sy-David FRIEDMAN, ed., Radek HONZIK, ed., Claudio TERNULLO, ed.. The hyperuniverse project and maximality. Cham: Birkhäuser, 2018, pp. 1-16. ISBN 978-3-319-62934-6. Available under: doi: 10.1007/978-3-319-62935-3_1
Zusammenfassung
In this article we show that Morse-Kelley class theory (MK) provides us with an adequate framework for class forcing. We give a rigorous definition of class forcing in a model (M,C) of MK, the main result being that the Definability Lemma (and the Truth Lemma) can be proven without restricting the notion of forcing. Furthermore we show under which conditions the axioms are preserved. We conclude by proving that Laver’s Theorem does not hold for class forcings.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
100 Philosophie
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
ANTOS, Carolin, 2018. Class Forcing in Class Theory. In: ANTOS, Carolin, ed., Sy-David FRIEDMAN, ed., Radek HONZIK, ed., Claudio TERNULLO, ed.. The hyperuniverse project and maximality. Cham: Birkhäuser, 2018, pp. 1-16. ISBN 978-3-319-62934-6. Available under: doi: 10.1007/978-3-319-62935-3_1BibTex
@incollection{Antos2018Class-41940,
year={2018},
doi={10.1007/978-3-319-62935-3_1},
title={Class Forcing in Class Theory},
isbn={978-3-319-62934-6},
publisher={Birkhäuser},
address={Cham},
booktitle={The hyperuniverse project and maximality},
pages={1--16},
editor={Antos, Carolin and Friedman, Sy-David and Honzik, Radek and Ternullo, Claudio},
author={Antos, Carolin}
}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/41940">
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/>
<dcterms:issued>2018</dcterms:issued>
<dc:contributor>Antos, Carolin</dc:contributor>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dc:creator>Antos, Carolin</dc:creator>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-04T13:57:06Z</dcterms:available>
<dcterms:title>Class Forcing in Class Theory</dcterms:title>
<dc:language>eng</dc:language>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dcterms:abstract xml:lang="eng">In this article we show that Morse-Kelley class theory (MK) provides us with an adequate framework for class forcing. We give a rigorous definition of class forcing in a model (M,C) of MK, the main result being that the Definability Lemma (and the Truth Lemma) can be proven without restricting the notion of forcing. Furthermore we show under which conditions the axioms are preserved. We conclude by proving that Laver’s Theorem does not hold for class forcings.</dcterms:abstract>
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/41940/1/Antos_2-h0mifd0pz4yg7.pdf"/>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-04-04T13:57:06Z</dc:date>
<bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41940"/>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/41940/1/Antos_2-h0mifd0pz4yg7.pdf"/>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
</rdf:Description>
</rdf:RDF>Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
