Matches in SemOpenAlex for { <https://semopenalex.org/work/W4230409512> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4230409512 abstract "The method of forcing was introduced by Paul J. Cohen in order to prove the independence of the axiom of choice (AC) from the basic (ZF) axioms of set theory, and of the continuum hypothesis (CH) from the accepted axioms (ZFC = ZF + AC) of set theory (see set theory, axiom of choice, continuum hypothesis). Given a model M of ZF and a certain P∈M, it produces a ‘generic’ G⊆P and a model N of ZF with M⊆N and G∈N. By suitably choosing P, N can be ‘forced’ to be or not be a model of various hypotheses, which are thus shown to be consistent with or independent of the axioms. This method of proving undecidability has been very widely applied. The method has also motivated the proposal of new so-called forcing axioms to decide what is otherwise undecidable, the most important being that called Martin’s axiom (MA)." @default.
- W4230409512 created "2022-05-11" @default.
- W4230409512 creator A5081572957 @default.
- W4230409512 date "2018-09-11" @default.
- W4230409512 modified "2023-09-24" @default.
- W4230409512 title "Forcing" @default.
- W4230409512 doi "https://doi.org/10.4324/9780415249126-y078-1" @default.
- W4230409512 hasPublicationYear "2018" @default.
- W4230409512 type Work @default.
- W4230409512 citedByCount "0" @default.
- W4230409512 crossrefType "book-chapter" @default.
- W4230409512 hasAuthorship W4230409512A5081572957 @default.
- W4230409512 hasConcept C105795698 @default.
- W4230409512 hasConcept C118615104 @default.
- W4230409512 hasConcept C134306372 @default.
- W4230409512 hasConcept C144237770 @default.
- W4230409512 hasConcept C151797676 @default.
- W4230409512 hasConcept C153046414 @default.
- W4230409512 hasConcept C153269930 @default.
- W4230409512 hasConcept C167729594 @default.
- W4230409512 hasConcept C170088968 @default.
- W4230409512 hasConcept C177264268 @default.
- W4230409512 hasConcept C192034797 @default.
- W4230409512 hasConcept C197115733 @default.
- W4230409512 hasConcept C199360897 @default.
- W4230409512 hasConcept C2524010 @default.
- W4230409512 hasConcept C33923547 @default.
- W4230409512 hasConcept C35651441 @default.
- W4230409512 hasConcept C41008148 @default.
- W4230409512 hasConcept C51460 @default.
- W4230409512 hasConcept C556429856 @default.
- W4230409512 hasConcept C78550038 @default.
- W4230409512 hasConcept C96488702 @default.
- W4230409512 hasConceptScore W4230409512C105795698 @default.
- W4230409512 hasConceptScore W4230409512C118615104 @default.
- W4230409512 hasConceptScore W4230409512C134306372 @default.
- W4230409512 hasConceptScore W4230409512C144237770 @default.
- W4230409512 hasConceptScore W4230409512C151797676 @default.
- W4230409512 hasConceptScore W4230409512C153046414 @default.
- W4230409512 hasConceptScore W4230409512C153269930 @default.
- W4230409512 hasConceptScore W4230409512C167729594 @default.
- W4230409512 hasConceptScore W4230409512C170088968 @default.
- W4230409512 hasConceptScore W4230409512C177264268 @default.
- W4230409512 hasConceptScore W4230409512C192034797 @default.
- W4230409512 hasConceptScore W4230409512C197115733 @default.
- W4230409512 hasConceptScore W4230409512C199360897 @default.
- W4230409512 hasConceptScore W4230409512C2524010 @default.
- W4230409512 hasConceptScore W4230409512C33923547 @default.
- W4230409512 hasConceptScore W4230409512C35651441 @default.
- W4230409512 hasConceptScore W4230409512C41008148 @default.
- W4230409512 hasConceptScore W4230409512C51460 @default.
- W4230409512 hasConceptScore W4230409512C556429856 @default.
- W4230409512 hasConceptScore W4230409512C78550038 @default.
- W4230409512 hasConceptScore W4230409512C96488702 @default.
- W4230409512 hasLocation W42304095121 @default.
- W4230409512 hasOpenAccess W4230409512 @default.
- W4230409512 hasPrimaryLocation W42304095121 @default.
- W4230409512 hasRelatedWork W1609565256 @default.
- W4230409512 hasRelatedWork W2065795490 @default.
- W4230409512 hasRelatedWork W2321385421 @default.
- W4230409512 hasRelatedWork W232505205 @default.
- W4230409512 hasRelatedWork W3209909200 @default.
- W4230409512 hasRelatedWork W4230409512 @default.
- W4230409512 hasRelatedWork W423103167 @default.
- W4230409512 hasRelatedWork W4245825273 @default.
- W4230409512 hasRelatedWork W4254487684 @default.
- W4230409512 hasRelatedWork W2528114208 @default.
- W4230409512 isParatext "false" @default.
- W4230409512 isRetracted "false" @default.
- W4230409512 workType "book-chapter" @default.