Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313305457> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4313305457 abstract "I first isolate a hierarchy of axioms over ZFC that allows a proper class of urelements. The Collection Principle and Reflection Principle hold precisely when the urelements are arranged in a specific manner. I then turn to forcing with urelements. A new forcing machinery with urelements is proposed to address a problem with the existing approach regarding the property of fullness. Every new forcing relation is full just in case Collection holds in the ground model. Forcing with urelements can preserve, destroy, or recover various axioms within the hierarchy. Ground model definability fails when the ground model contains a proper class of urelements." @default.
- W4313305457 created "2023-01-06" @default.
- W4313305457 creator A5058089172 @default.
- W4313305457 date "2022-12-27" @default.
- W4313305457 modified "2023-09-27" @default.
- W4313305457 title "Forcing with Urelements" @default.
- W4313305457 doi "https://doi.org/10.48550/arxiv.2212.13627" @default.
- W4313305457 hasPublicationYear "2022" @default.
- W4313305457 type Work @default.
- W4313305457 citedByCount "0" @default.
- W4313305457 crossrefType "posted-content" @default.
- W4313305457 hasAuthorship W4313305457A5058089172 @default.
- W4313305457 hasBestOaLocation W43133054571 @default.
- W4313305457 hasConcept C111472728 @default.
- W4313305457 hasConcept C134306372 @default.
- W4313305457 hasConcept C138885662 @default.
- W4313305457 hasConcept C154945302 @default.
- W4313305457 hasConcept C167729594 @default.
- W4313305457 hasConcept C17744445 @default.
- W4313305457 hasConcept C189950617 @default.
- W4313305457 hasConcept C197115733 @default.
- W4313305457 hasConcept C199360897 @default.
- W4313305457 hasConcept C199539241 @default.
- W4313305457 hasConcept C2524010 @default.
- W4313305457 hasConcept C2777212361 @default.
- W4313305457 hasConcept C31170391 @default.
- W4313305457 hasConcept C33923547 @default.
- W4313305457 hasConcept C41008148 @default.
- W4313305457 hasConcept C65682993 @default.
- W4313305457 hasConceptScore W4313305457C111472728 @default.
- W4313305457 hasConceptScore W4313305457C134306372 @default.
- W4313305457 hasConceptScore W4313305457C138885662 @default.
- W4313305457 hasConceptScore W4313305457C154945302 @default.
- W4313305457 hasConceptScore W4313305457C167729594 @default.
- W4313305457 hasConceptScore W4313305457C17744445 @default.
- W4313305457 hasConceptScore W4313305457C189950617 @default.
- W4313305457 hasConceptScore W4313305457C197115733 @default.
- W4313305457 hasConceptScore W4313305457C199360897 @default.
- W4313305457 hasConceptScore W4313305457C199539241 @default.
- W4313305457 hasConceptScore W4313305457C2524010 @default.
- W4313305457 hasConceptScore W4313305457C2777212361 @default.
- W4313305457 hasConceptScore W4313305457C31170391 @default.
- W4313305457 hasConceptScore W4313305457C33923547 @default.
- W4313305457 hasConceptScore W4313305457C41008148 @default.
- W4313305457 hasConceptScore W4313305457C65682993 @default.
- W4313305457 hasLocation W43133054571 @default.
- W4313305457 hasOpenAccess W4313305457 @default.
- W4313305457 hasPrimaryLocation W43133054571 @default.
- W4313305457 hasRelatedWork W2203317673 @default.
- W4313305457 hasRelatedWork W2467005568 @default.
- W4313305457 hasRelatedWork W2748449745 @default.
- W4313305457 hasRelatedWork W2802170162 @default.
- W4313305457 hasRelatedWork W2976033625 @default.
- W4313305457 hasRelatedWork W2992829260 @default.
- W4313305457 hasRelatedWork W3187166343 @default.
- W4313305457 hasRelatedWork W3192267411 @default.
- W4313305457 hasRelatedWork W4287998863 @default.
- W4313305457 hasRelatedWork W4313907067 @default.
- W4313305457 isParatext "false" @default.
- W4313305457 isRetracted "false" @default.
- W4313305457 workType "article" @default.