Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099358884> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2099358884 endingPage "1349" @default.
- W2099358884 startingPage "1339" @default.
- W2099358884 abstract "Among the more traditional semantics for intuitionistic logic the Beth and the Kripke semantics seem well-suited for direct manipulations required for the derivation of metamathematical results. In particular Smoryński demonstrated the usefulness of Kripke models for the purpose of obtaining closure properties for first-order arithmetic, [S], and second-order arithmetic, [J-S]. Weinstein used similar techniques to handle intuitionistic analysis, [W]. Since, however, Beth-models seem to lend themselves better for dealing with analysis, cf. [D], we have developed a somewhat more liberal semantics, that shares the features of both Kripke and Beth semantics, in order to obtain analogues of Smoryński's collecting operations , which we will call Smoryński-glueing , in line with the categorical tradition." @default.
- W2099358884 created "2016-06-24" @default.
- W2099358884 creator A5080621032 @default.
- W2099358884 date "1984-12-01" @default.
- W2099358884 modified "2023-09-23" @default.
- W2099358884 title "How to glue analysis models " @default.
- W2099358884 cites W1425689985 @default.
- W2099358884 cites W1463047707 @default.
- W2099358884 cites W155053498 @default.
- W2099358884 cites W1608607427 @default.
- W2099358884 cites W1965954744 @default.
- W2099358884 cites W2011898138 @default.
- W2099358884 cites W2036138623 @default.
- W2099358884 cites W2118041160 @default.
- W2099358884 cites W2243154890 @default.
- W2099358884 doi "https://doi.org/10.2307/2274283" @default.
- W2099358884 hasPublicationYear "1984" @default.
- W2099358884 type Work @default.
- W2099358884 sameAs 2099358884 @default.
- W2099358884 citedByCount "7" @default.
- W2099358884 countsByYear W20993588842017 @default.
- W2099358884 countsByYear W20993588842019 @default.
- W2099358884 crossrefType "journal-article" @default.
- W2099358884 hasAuthorship W2099358884A5080621032 @default.
- W2099358884 hasConcept C10138342 @default.
- W2099358884 hasConcept C102993220 @default.
- W2099358884 hasConcept C105795698 @default.
- W2099358884 hasConcept C110251889 @default.
- W2099358884 hasConcept C118615104 @default.
- W2099358884 hasConcept C136119220 @default.
- W2099358884 hasConcept C146834321 @default.
- W2099358884 hasConcept C160131679 @default.
- W2099358884 hasConcept C161913894 @default.
- W2099358884 hasConcept C162324750 @default.
- W2099358884 hasConcept C182306322 @default.
- W2099358884 hasConcept C184337299 @default.
- W2099358884 hasConcept C199360897 @default.
- W2099358884 hasConcept C202444582 @default.
- W2099358884 hasConcept C33203268 @default.
- W2099358884 hasConcept C33923547 @default.
- W2099358884 hasConcept C34447519 @default.
- W2099358884 hasConcept C41008148 @default.
- W2099358884 hasConcept C5274069 @default.
- W2099358884 hasConcept C94375191 @default.
- W2099358884 hasConceptScore W2099358884C10138342 @default.
- W2099358884 hasConceptScore W2099358884C102993220 @default.
- W2099358884 hasConceptScore W2099358884C105795698 @default.
- W2099358884 hasConceptScore W2099358884C110251889 @default.
- W2099358884 hasConceptScore W2099358884C118615104 @default.
- W2099358884 hasConceptScore W2099358884C136119220 @default.
- W2099358884 hasConceptScore W2099358884C146834321 @default.
- W2099358884 hasConceptScore W2099358884C160131679 @default.
- W2099358884 hasConceptScore W2099358884C161913894 @default.
- W2099358884 hasConceptScore W2099358884C162324750 @default.
- W2099358884 hasConceptScore W2099358884C182306322 @default.
- W2099358884 hasConceptScore W2099358884C184337299 @default.
- W2099358884 hasConceptScore W2099358884C199360897 @default.
- W2099358884 hasConceptScore W2099358884C202444582 @default.
- W2099358884 hasConceptScore W2099358884C33203268 @default.
- W2099358884 hasConceptScore W2099358884C33923547 @default.
- W2099358884 hasConceptScore W2099358884C34447519 @default.
- W2099358884 hasConceptScore W2099358884C41008148 @default.
- W2099358884 hasConceptScore W2099358884C5274069 @default.
- W2099358884 hasConceptScore W2099358884C94375191 @default.
- W2099358884 hasIssue "4" @default.
- W2099358884 hasLocation W20993588841 @default.
- W2099358884 hasOpenAccess W2099358884 @default.
- W2099358884 hasPrimaryLocation W20993588841 @default.
- W2099358884 hasRelatedWork W1575592634 @default.
- W2099358884 hasRelatedWork W1998174273 @default.
- W2099358884 hasRelatedWork W2014467270 @default.
- W2099358884 hasRelatedWork W2135719375 @default.
- W2099358884 hasRelatedWork W2397347312 @default.
- W2099358884 hasRelatedWork W2402798281 @default.
- W2099358884 hasRelatedWork W2590701623 @default.
- W2099358884 hasRelatedWork W2896944196 @default.
- W2099358884 hasRelatedWork W4293146411 @default.
- W2099358884 hasRelatedWork W4297811302 @default.
- W2099358884 hasVolume "49" @default.
- W2099358884 isParatext "false" @default.
- W2099358884 isRetracted "false" @default.
- W2099358884 magId "2099358884" @default.
- W2099358884 workType "article" @default.