Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988045504> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1988045504 endingPage "173" @default.
- W1988045504 startingPage "163" @default.
- W1988045504 abstract "Abstract Hamkins and Löwe proved that the modal logic of forcing is S4.2 . In this paper, we consider its modal companion, the intermediate logic KC and relate it to the fatal Heyting algebra H of forcing persistent sentences. This Heyting algebra is equationally generic for the class of fatal Heyting algebras. Motivated by these results, we further analyse the class of fatal Heyting algebras." @default.
- W1988045504 created "2016-06-24" @default.
- W1988045504 creator A5065186485 @default.
- W1988045504 creator A5071181914 @default.
- W1988045504 date "2012-02-12" @default.
- W1988045504 modified "2023-09-25" @default.
- W1988045504 title "Fatal Heyting Algebras and Forcing Persistent Sentences" @default.
- W1988045504 cites W1525064220 @default.
- W1988045504 cites W1973539826 @default.
- W1988045504 cites W2023525230 @default.
- W1988045504 cites W2069506349 @default.
- W1988045504 cites W2084684966 @default.
- W1988045504 cites W2118313805 @default.
- W1988045504 cites W2149529321 @default.
- W1988045504 cites W2319266333 @default.
- W1988045504 doi "https://doi.org/10.1007/s11225-012-9393-z" @default.
- W1988045504 hasPublicationYear "2012" @default.
- W1988045504 type Work @default.
- W1988045504 sameAs 1988045504 @default.
- W1988045504 citedByCount "9" @default.
- W1988045504 countsByYear W19880455042012 @default.
- W1988045504 countsByYear W19880455042013 @default.
- W1988045504 countsByYear W19880455042014 @default.
- W1988045504 countsByYear W19880455042015 @default.
- W1988045504 countsByYear W19880455042016 @default.
- W1988045504 countsByYear W19880455042021 @default.
- W1988045504 countsByYear W19880455042023 @default.
- W1988045504 crossrefType "journal-article" @default.
- W1988045504 hasAuthorship W1988045504A5065186485 @default.
- W1988045504 hasAuthorship W1988045504A5071181914 @default.
- W1988045504 hasBestOaLocation W19880455041 @default.
- W1988045504 hasConcept C100376341 @default.
- W1988045504 hasConcept C118615104 @default.
- W1988045504 hasConcept C134306372 @default.
- W1988045504 hasConcept C136119220 @default.
- W1988045504 hasConcept C14394260 @default.
- W1988045504 hasConcept C154945302 @default.
- W1988045504 hasConcept C178421362 @default.
- W1988045504 hasConcept C185592680 @default.
- W1988045504 hasConcept C187062830 @default.
- W1988045504 hasConcept C188027245 @default.
- W1988045504 hasConcept C197115733 @default.
- W1988045504 hasConcept C202444582 @default.
- W1988045504 hasConcept C203254541 @default.
- W1988045504 hasConcept C27508121 @default.
- W1988045504 hasConcept C2777212361 @default.
- W1988045504 hasConcept C33923547 @default.
- W1988045504 hasConcept C41008148 @default.
- W1988045504 hasConcept C69562738 @default.
- W1988045504 hasConcept C71139939 @default.
- W1988045504 hasConceptScore W1988045504C100376341 @default.
- W1988045504 hasConceptScore W1988045504C118615104 @default.
- W1988045504 hasConceptScore W1988045504C134306372 @default.
- W1988045504 hasConceptScore W1988045504C136119220 @default.
- W1988045504 hasConceptScore W1988045504C14394260 @default.
- W1988045504 hasConceptScore W1988045504C154945302 @default.
- W1988045504 hasConceptScore W1988045504C178421362 @default.
- W1988045504 hasConceptScore W1988045504C185592680 @default.
- W1988045504 hasConceptScore W1988045504C187062830 @default.
- W1988045504 hasConceptScore W1988045504C188027245 @default.
- W1988045504 hasConceptScore W1988045504C197115733 @default.
- W1988045504 hasConceptScore W1988045504C202444582 @default.
- W1988045504 hasConceptScore W1988045504C203254541 @default.
- W1988045504 hasConceptScore W1988045504C27508121 @default.
- W1988045504 hasConceptScore W1988045504C2777212361 @default.
- W1988045504 hasConceptScore W1988045504C33923547 @default.
- W1988045504 hasConceptScore W1988045504C41008148 @default.
- W1988045504 hasConceptScore W1988045504C69562738 @default.
- W1988045504 hasConceptScore W1988045504C71139939 @default.
- W1988045504 hasIssue "1-2" @default.
- W1988045504 hasLocation W19880455041 @default.
- W1988045504 hasLocation W19880455042 @default.
- W1988045504 hasLocation W19880455043 @default.
- W1988045504 hasOpenAccess W1988045504 @default.
- W1988045504 hasPrimaryLocation W19880455041 @default.
- W1988045504 hasRelatedWork W1866049941 @default.
- W1988045504 hasRelatedWork W1972088297 @default.
- W1988045504 hasRelatedWork W1988045504 @default.
- W1988045504 hasRelatedWork W2074934605 @default.
- W1988045504 hasRelatedWork W2187936207 @default.
- W1988045504 hasRelatedWork W2414757358 @default.
- W1988045504 hasRelatedWork W2581929395 @default.
- W1988045504 hasRelatedWork W2951033737 @default.
- W1988045504 hasRelatedWork W2963997697 @default.
- W1988045504 hasRelatedWork W3185249591 @default.
- W1988045504 hasVolume "100" @default.
- W1988045504 isParatext "false" @default.
- W1988045504 isRetracted "false" @default.
- W1988045504 magId "1988045504" @default.
- W1988045504 workType "article" @default.