Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385457435> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4385457435 endingPage "340" @default.
- W4385457435 startingPage "287" @default.
- W4385457435 abstract "Abstract The purpose of this paper is to propose and explore a general framework within which a wide variety of model construction techniques from contemporary set theory can be subsumed. Taking our inspiration from presheaf constructions in category theory and Boolean ultrapowers, we will show that generic extensions, ultrapowers, extenders and generic ultrapowers can be construed as examples of a single model construction technique. In particular, we will show that Łoś's theorem can be construed as a specific case of Cohen's truth lemma, and we isolate the weakest conditions a filter must satisfy in order for the truth lemma to work." @default.
- W4385457435 created "2023-08-02" @default.
- W4385457435 creator A5007697398 @default.
- W4385457435 date "2023-08-01" @default.
- W4385457435 modified "2023-09-27" @default.
- W4385457435 title "Forcing revisited" @default.
- W4385457435 cites W1539794912 @default.
- W4385457435 cites W177032397 @default.
- W4385457435 cites W1972672801 @default.
- W4385457435 cites W1973104056 @default.
- W4385457435 cites W1979476005 @default.
- W4385457435 cites W1992279354 @default.
- W4385457435 cites W1994831517 @default.
- W4385457435 cites W2049652789 @default.
- W4385457435 cites W2073171092 @default.
- W4385457435 cites W2106140167 @default.
- W4385457435 cites W3099595007 @default.
- W4385457435 cites W36355091 @default.
- W4385457435 cites W4235955922 @default.
- W4385457435 cites W4249736722 @default.
- W4385457435 cites W4249972707 @default.
- W4385457435 cites W4251799386 @default.
- W4385457435 doi "https://doi.org/10.1002/malq.202000040" @default.
- W4385457435 hasPublicationYear "2023" @default.
- W4385457435 type Work @default.
- W4385457435 citedByCount "0" @default.
- W4385457435 crossrefType "journal-article" @default.
- W4385457435 hasAuthorship W4385457435A5007697398 @default.
- W4385457435 hasConcept C105795698 @default.
- W4385457435 hasConcept C118615104 @default.
- W4385457435 hasConcept C134306372 @default.
- W4385457435 hasConcept C136119220 @default.
- W4385457435 hasConcept C136197465 @default.
- W4385457435 hasConcept C153046414 @default.
- W4385457435 hasConcept C177264268 @default.
- W4385457435 hasConcept C18903297 @default.
- W4385457435 hasConcept C197115733 @default.
- W4385457435 hasConcept C199343813 @default.
- W4385457435 hasConcept C199360897 @default.
- W4385457435 hasConcept C202444582 @default.
- W4385457435 hasConcept C2777686260 @default.
- W4385457435 hasConcept C2777759810 @default.
- W4385457435 hasConcept C33923547 @default.
- W4385457435 hasConcept C41008148 @default.
- W4385457435 hasConcept C46757340 @default.
- W4385457435 hasConcept C47030870 @default.
- W4385457435 hasConcept C71924100 @default.
- W4385457435 hasConcept C86803240 @default.
- W4385457435 hasConceptScore W4385457435C105795698 @default.
- W4385457435 hasConceptScore W4385457435C118615104 @default.
- W4385457435 hasConceptScore W4385457435C134306372 @default.
- W4385457435 hasConceptScore W4385457435C136119220 @default.
- W4385457435 hasConceptScore W4385457435C136197465 @default.
- W4385457435 hasConceptScore W4385457435C153046414 @default.
- W4385457435 hasConceptScore W4385457435C177264268 @default.
- W4385457435 hasConceptScore W4385457435C18903297 @default.
- W4385457435 hasConceptScore W4385457435C197115733 @default.
- W4385457435 hasConceptScore W4385457435C199343813 @default.
- W4385457435 hasConceptScore W4385457435C199360897 @default.
- W4385457435 hasConceptScore W4385457435C202444582 @default.
- W4385457435 hasConceptScore W4385457435C2777686260 @default.
- W4385457435 hasConceptScore W4385457435C2777759810 @default.
- W4385457435 hasConceptScore W4385457435C33923547 @default.
- W4385457435 hasConceptScore W4385457435C41008148 @default.
- W4385457435 hasConceptScore W4385457435C46757340 @default.
- W4385457435 hasConceptScore W4385457435C47030870 @default.
- W4385457435 hasConceptScore W4385457435C71924100 @default.
- W4385457435 hasConceptScore W4385457435C86803240 @default.
- W4385457435 hasIssue "3" @default.
- W4385457435 hasLocation W43854574351 @default.
- W4385457435 hasOpenAccess W4385457435 @default.
- W4385457435 hasPrimaryLocation W43854574351 @default.
- W4385457435 hasRelatedWork W1576970471 @default.
- W4385457435 hasRelatedWork W1585505717 @default.
- W4385457435 hasRelatedWork W1981184771 @default.
- W4385457435 hasRelatedWork W2032611290 @default.
- W4385457435 hasRelatedWork W2467005568 @default.
- W4385457435 hasRelatedWork W2883890908 @default.
- W4385457435 hasRelatedWork W2969850793 @default.
- W4385457435 hasRelatedWork W3086429310 @default.
- W4385457435 hasRelatedWork W4289753879 @default.
- W4385457435 hasRelatedWork W4385457435 @default.
- W4385457435 hasVolume "69" @default.
- W4385457435 isParatext "false" @default.
- W4385457435 isRetracted "false" @default.
- W4385457435 workType "article" @default.