Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009637102> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2009637102 abstract "We define notions of homomorphism, submodel, and sandwich of Kripke models, and we define two syntactic operators analogous to universal and existential closure. Then we prove an intuitionistic analogue of the generalized (dual of the) Lyndon-Łoś-Tarski Theorem, which characterizes the sentences preserved under inverse images of homomorphisms of Kripke models, an intuitionistic analogue of the generalized Łoś-Tarski Theorem, which characterizes the sentences preserved under submodels of Kripke models, and an intuitionistic analogue of the generalized Keisler Sandwich Theorem, which characterizes the sentences preserved under sandwiches of Kripke models. We also define several intuitionistic formula hierarchies analogous to the classical formula hierarchies ∀ n ( = Π n 0 ) and ∃ n ( = Σ n 0 ) , and we show how our generalized syntactic preservation theorems specialize to these hierarchies. Each of these theorems implies the corresponding classical theorem in the case where the Kripke models force classical logic." @default.
- W2009637102 created "2016-06-24" @default.
- W2009637102 creator A5008490522 @default.
- W2009637102 date "2010-04-01" @default.
- W2009637102 modified "2023-10-16" @default.
- W2009637102 title "Syntactic Preservation Theorems for Intuitionistic Predicate Logic" @default.
- W2009637102 cites W2021745396 @default.
- W2009637102 cites W2024799512 @default.
- W2009637102 cites W2037583170 @default.
- W2009637102 cites W2046731118 @default.
- W2009637102 cites W2053984022 @default.
- W2009637102 cites W2132282180 @default.
- W2009637102 cites W2141172560 @default.
- W2009637102 cites W2585639360 @default.
- W2009637102 doi "https://doi.org/10.1215/00294527-2010-014" @default.
- W2009637102 hasPublicationYear "2010" @default.
- W2009637102 type Work @default.
- W2009637102 sameAs 2009637102 @default.
- W2009637102 citedByCount "6" @default.
- W2009637102 countsByYear W20096371022015 @default.
- W2009637102 countsByYear W20096371022017 @default.
- W2009637102 countsByYear W20096371022019 @default.
- W2009637102 countsByYear W20096371022020 @default.
- W2009637102 countsByYear W20096371022022 @default.
- W2009637102 crossrefType "journal-article" @default.
- W2009637102 hasAuthorship W2009637102A5008490522 @default.
- W2009637102 hasBestOaLocation W20096371021 @default.
- W2009637102 hasConcept C102993220 @default.
- W2009637102 hasConcept C118615104 @default.
- W2009637102 hasConcept C136119220 @default.
- W2009637102 hasConcept C140146324 @default.
- W2009637102 hasConcept C146834321 @default.
- W2009637102 hasConcept C154945302 @default.
- W2009637102 hasConcept C160131679 @default.
- W2009637102 hasConcept C162324750 @default.
- W2009637102 hasConcept C178421362 @default.
- W2009637102 hasConcept C199360897 @default.
- W2009637102 hasConcept C202444582 @default.
- W2009637102 hasConcept C33203268 @default.
- W2009637102 hasConcept C33923547 @default.
- W2009637102 hasConcept C34447519 @default.
- W2009637102 hasConcept C4042151 @default.
- W2009637102 hasConcept C41008148 @default.
- W2009637102 hasConcept C69562738 @default.
- W2009637102 hasConceptScore W2009637102C102993220 @default.
- W2009637102 hasConceptScore W2009637102C118615104 @default.
- W2009637102 hasConceptScore W2009637102C136119220 @default.
- W2009637102 hasConceptScore W2009637102C140146324 @default.
- W2009637102 hasConceptScore W2009637102C146834321 @default.
- W2009637102 hasConceptScore W2009637102C154945302 @default.
- W2009637102 hasConceptScore W2009637102C160131679 @default.
- W2009637102 hasConceptScore W2009637102C162324750 @default.
- W2009637102 hasConceptScore W2009637102C178421362 @default.
- W2009637102 hasConceptScore W2009637102C199360897 @default.
- W2009637102 hasConceptScore W2009637102C202444582 @default.
- W2009637102 hasConceptScore W2009637102C33203268 @default.
- W2009637102 hasConceptScore W2009637102C33923547 @default.
- W2009637102 hasConceptScore W2009637102C34447519 @default.
- W2009637102 hasConceptScore W2009637102C4042151 @default.
- W2009637102 hasConceptScore W2009637102C41008148 @default.
- W2009637102 hasConceptScore W2009637102C69562738 @default.
- W2009637102 hasIssue "2" @default.
- W2009637102 hasLocation W20096371021 @default.
- W2009637102 hasOpenAccess W2009637102 @default.
- W2009637102 hasPrimaryLocation W20096371021 @default.
- W2009637102 hasRelatedWork W1501433448 @default.
- W2009637102 hasRelatedWork W2009637102 @default.
- W2009637102 hasRelatedWork W2017127608 @default.
- W2009637102 hasRelatedWork W2074934605 @default.
- W2009637102 hasRelatedWork W2093510572 @default.
- W2009637102 hasRelatedWork W2134802295 @default.
- W2009637102 hasRelatedWork W2163197731 @default.
- W2009637102 hasRelatedWork W2403418519 @default.
- W2009637102 hasRelatedWork W2482057698 @default.
- W2009637102 hasRelatedWork W2032663284 @default.
- W2009637102 hasVolume "51" @default.
- W2009637102 isParatext "false" @default.
- W2009637102 isRetracted "false" @default.
- W2009637102 magId "2009637102" @default.
- W2009637102 workType "article" @default.