Hyperclass forcing in Morse-Kelley class theory

dc.contributor.authorAntos, Carolin
dc.contributor.authorFriedman, Sy-David
dc.date.accessioned2017-07-05T09:33:48Z
dc.date.available2017-07-05T09:33:48Z
dc.date.issued2017-06-19eng
dc.description.versionpublishedde
dc.identifier.doi10.1017/jsl.2016.74eng
dc.identifier.ppn1861123663
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/39496
dc.language.isoengeng
dc.subject.ddc510eng
dc.titleHyperclass forcing in Morse-Kelley class theoryeng
dc.typeJOURNAL_ARTICLEde
dspace.entity.typePublication
kops.citation.bibtex
@article{Antos2017-06-19Hyper-39496,
  year={2017},
  doi={10.1017/jsl.2016.74},
  title={Hyperclass forcing in Morse-Kelley class theory},
  number={2},
  volume={82},
  issn={0022-4812},
  journal={The Journal of Symbolic Logic},
  pages={549--575},
  author={Antos, Carolin and Friedman, Sy-David}
}
kops.citation.iso690ANTOS, Carolin, Sy-David FRIEDMAN, 2017. Hyperclass forcing in Morse-Kelley class theory. In: The Journal of Symbolic Logic. 2017, 82(2), pp. 549-575. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2016.74deu
kops.citation.iso690ANTOS, Carolin, Sy-David FRIEDMAN, 2017. Hyperclass forcing in Morse-Kelley class theory. In: The Journal of Symbolic Logic. 2017, 82(2), pp. 549-575. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2016.74eng
kops.citation.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/39496">
    <dc:language>eng</dc:language>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-07-05T09:33:48Z</dc:date>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/39496/1/Antos_2-ctken29td8mm1.pdf"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/52"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/39496"/>
    <dcterms:title>Hyperclass forcing in Morse-Kelley class theory</dcterms:title>
    <dc:contributor>Antos, Carolin</dc:contributor>
    <dc:contributor>Friedman, Sy-David</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/39496/1/Antos_2-ctken29td8mm1.pdf"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2017-07-05T09:33:48Z</dcterms:available>
    <dc:creator>Friedman, Sy-David</dc:creator>
    <dcterms:issued>2017-06-19</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Antos, Carolin</dc:creator>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/>
  </rdf:Description>
</rdf:RDF>
kops.description.openAccessopenaccessgreen
kops.flag.knbibliographytrue
kops.identifier.nbnurn:nbn:de:bsz:352-2-ctken29td8mm1
kops.sourcefieldThe Journal of Symbolic Logic. 2017, <b>82</b>(2), pp. 549-575. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2016.74deu
kops.sourcefield.plainThe Journal of Symbolic Logic. 2017, 82(2), pp. 549-575. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2016.74deu
kops.sourcefield.plainThe Journal of Symbolic Logic. 2017, 82(2), pp. 549-575. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2016.74eng
relation.isAuthorOfPublication61176455-899c-4e1e-bbac-136387ab8e92
relation.isAuthorOfPublication.latestForDiscovery61176455-899c-4e1e-bbac-136387ab8e92
source.bibliographicInfo.fromPage549eng
source.bibliographicInfo.issue2eng
source.bibliographicInfo.toPage575eng
source.bibliographicInfo.volume82eng
source.identifier.eissn1943-5886eng
source.identifier.issn0022-4812eng
source.periodicalTitleThe Journal of Symbolic Logiceng

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Antos_2-ctken29td8mm1.pdf
Größe:
18.84 MB
Format:
Adobe Portable Document Format
Antos_2-ctken29td8mm1.pdf
Antos_2-ctken29td8mm1.pdfGröße: 18.84 MBDownloads: 73