Class Forcing in Class Theory

Antos, Carolin

Class Forcing in Class Theory

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2018

Autor:innen

Antos, Carolin

DOI (zitierfähiger Link)

https://doi.org/10.1007/978-3-319-62935-3_1

EU-Projektnummer

752211

Projekt

Philosophy Forcing

Sammlungen

Philosophie
Mathematik und Statistik
Zukunftskolleg

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.

Fachgebiet (DDC)

100 Philosophie

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_1

BibTex

@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>
    <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"/>
    <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>

Universitätsbibliographie

Ja