Class Forcing in Class Theory

Name: Class Forcing in Class Theory
Creator: Antos, Carolin
Keywords: info:eu-repo/classification/ddc/100, FOS: Mathematics, Mathematics - Logic, 06 humanities and the arts, 0101 mathematics, 0603 philosophy, ethics and religion, Logic (math.LO), 16. Peace & justice, 01 natural sciences

Antos, Carolin

Found an issue? Give us feedback

http://arxiv.org/pdf...arrow_drop_down

http://arxiv.org/pdf/1503.0011...

Part of book or chapter of book

Data sources: UnpayWall

arXiv.org e-Print Archive

Preprint . 2015

Data sources: arXiv.org e-Print Archive

Konstanzer Online-Publikations-System

Part of book or chapter of book . 2018

Data sources: Konstanzer Online-Publikations-System

https://doi.org/10.1007/978-3-...

Part of book or chapter of book . 2017 . Peer-reviewed

License: Springer TDM

Data sources: Crossref

http://dx.doi.org/10.1007/978-...

Part of book or chapter of book

License: Springer TDM

Full-Text: http://link.springer.com/content/pdf/10.1007/978-3-319-62935-3

Data sources: Sygma

https://dx.doi.org/10.48550/ar...

Article . 2015

License: arXiv Non-Exclusive Distribution

Data sources: Datacite

https://dx.doi.org/10.1007/978...

Other literature type

Data sources: Microsoft Academic Graph

http://dx.doi.org/10.1007/978-...

Other literature type . 2018

Data sources: European Union Open Data Portal

Class Forcing in Class Theory

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article , Preprint , Other literature type 20 Oct 2017Embargo end date: 01 Jan 2015 Germany English Publisher:Springer International PublishingFunded by:EC | Philosophy Forcing

Authors: Antos, Carolin;

doi: 10.1007/978-3-319-62935-3_1 , 10.48550/arxiv.1503.00116

arXiv: 1503.00116

Class Forcing in Class Theory

- Summary
- Subjects
- Related research
  (2)
- Metrics

Abstract

In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show 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.

Country

Germany

Related Organizations

University of Konstanz
Germany

Keywords

info:eu-repo/classification/ddc/100, FOS: Mathematics, Mathematics - Logic, Logic (math.LO)

2 Research products, page 1 of 1

The ground axiom is consistent with V $\neq $ HOD
2008IsAmongTopNSimilarDocuments
The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD
2017IsAmongTopNSimilarDocuments

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	3
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average