Matches in SemOpenAlex for { <https://semopenalex.org/work/W2978528525> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2978528525 endingPage "35" @default.
- W2978528525 startingPage "1" @default.
- W2978528525 abstract "Abstract We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism (true in all larger $V_beta $ ), Grothendieck–Zermelo potentialism (true in all larger $V_kappa $ for inaccessible cardinals $kappa $ ), transitive-set potentialism (true in all larger transitive sets), forcing potentialism (true in all forcing extensions), countable-transitive-model potentialism (true in all larger countable transitive models of ZFC), countable-model potentialism (true in all larger countable models of ZFC), and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account." @default.
- W2978528525 created "2019-10-10" @default.
- W2978528525 creator A5078404862 @default.
- W2978528525 creator A5088267964 @default.
- W2978528525 date "2019-10-04" @default.
- W2978528525 modified "2023-09-26" @default.
- W2978528525 title "THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES" @default.
- W2978528525 cites W1609647769 @default.
- W2978528525 cites W1969948941 @default.
- W2978528525 cites W1972672801 @default.
- W2978528525 cites W2069506349 @default.
- W2978528525 cites W2107113540 @default.
- W2978528525 cites W2164441012 @default.
- W2978528525 cites W2166833596 @default.
- W2978528525 cites W2169065977 @default.
- W2978528525 cites W2483494328 @default.
- W2978528525 cites W2743299449 @default.
- W2978528525 cites W2797832989 @default.
- W2978528525 cites W2963783217 @default.
- W2978528525 cites W3105928773 @default.
- W2978528525 cites W4233570983 @default.
- W2978528525 cites W4244933088 @default.
- W2978528525 cites W567876596 @default.
- W2978528525 cites W943508897 @default.
- W2978528525 doi "https://doi.org/10.1017/s1755020318000242" @default.
- W2978528525 hasPublicationYear "2019" @default.
- W2978528525 type Work @default.
- W2978528525 sameAs 2978528525 @default.
- W2978528525 citedByCount "10" @default.
- W2978528525 countsByYear W29785285252019 @default.
- W2978528525 countsByYear W29785285252020 @default.
- W2978528525 countsByYear W29785285252021 @default.
- W2978528525 countsByYear W29785285252022 @default.
- W2978528525 crossrefType "journal-article" @default.
- W2978528525 hasAuthorship W2978528525A5078404862 @default.
- W2978528525 hasAuthorship W2978528525A5088267964 @default.
- W2978528525 hasBestOaLocation W29785285252 @default.
- W2978528525 hasConcept C110729354 @default.
- W2978528525 hasConcept C114614502 @default.
- W2978528525 hasConcept C118615104 @default.
- W2978528525 hasConcept C134306372 @default.
- W2978528525 hasConcept C153046414 @default.
- W2978528525 hasConcept C164226766 @default.
- W2978528525 hasConcept C177264268 @default.
- W2978528525 hasConcept C185592680 @default.
- W2978528525 hasConcept C188027245 @default.
- W2978528525 hasConcept C191399111 @default.
- W2978528525 hasConcept C197115733 @default.
- W2978528525 hasConcept C199360897 @default.
- W2978528525 hasConcept C27508121 @default.
- W2978528525 hasConcept C33923547 @default.
- W2978528525 hasConcept C41008148 @default.
- W2978528525 hasConcept C71139939 @default.
- W2978528525 hasConceptScore W2978528525C110729354 @default.
- W2978528525 hasConceptScore W2978528525C114614502 @default.
- W2978528525 hasConceptScore W2978528525C118615104 @default.
- W2978528525 hasConceptScore W2978528525C134306372 @default.
- W2978528525 hasConceptScore W2978528525C153046414 @default.
- W2978528525 hasConceptScore W2978528525C164226766 @default.
- W2978528525 hasConceptScore W2978528525C177264268 @default.
- W2978528525 hasConceptScore W2978528525C185592680 @default.
- W2978528525 hasConceptScore W2978528525C188027245 @default.
- W2978528525 hasConceptScore W2978528525C191399111 @default.
- W2978528525 hasConceptScore W2978528525C197115733 @default.
- W2978528525 hasConceptScore W2978528525C199360897 @default.
- W2978528525 hasConceptScore W2978528525C27508121 @default.
- W2978528525 hasConceptScore W2978528525C33923547 @default.
- W2978528525 hasConceptScore W2978528525C41008148 @default.
- W2978528525 hasConceptScore W2978528525C71139939 @default.
- W2978528525 hasIssue "1" @default.
- W2978528525 hasLocation W29785285251 @default.
- W2978528525 hasLocation W29785285252 @default.
- W2978528525 hasLocation W29785285253 @default.
- W2978528525 hasLocation W29785285254 @default.
- W2978528525 hasOpenAccess W2978528525 @default.
- W2978528525 hasPrimaryLocation W29785285251 @default.
- W2978528525 hasRelatedWork W1585505717 @default.
- W2978528525 hasRelatedWork W1916943071 @default.
- W2978528525 hasRelatedWork W1980657807 @default.
- W2978528525 hasRelatedWork W2735253502 @default.
- W2978528525 hasRelatedWork W2745188515 @default.
- W2978528525 hasRelatedWork W2978528525 @default.
- W2978528525 hasRelatedWork W3001765890 @default.
- W2978528525 hasRelatedWork W3046518583 @default.
- W2978528525 hasRelatedWork W4287900676 @default.
- W2978528525 hasRelatedWork W4300505484 @default.
- W2978528525 hasVolume "15" @default.
- W2978528525 isParatext "false" @default.
- W2978528525 isRetracted "false" @default.
- W2978528525 magId "2978528525" @default.
- W2978528525 workType "article" @default.