Matches in SemOpenAlex for { <https://semopenalex.org/work/W2577544411> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2577544411 abstract "We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by Godel, Kripke, Beth, Karp, Joyal, Makkai and Fourman/Grayson. As an application we prove, using large cardinals assumptions, the disjunction and existence properties for infinitary intuitionistic first-order logics." @default.
- W2577544411 created "2017-01-26" @default.
- W2577544411 creator A5033628368 @default.
- W2577544411 date "2017-01-05" @default.
- W2577544411 modified "2023-09-27" @default.
- W2577544411 title "Infinitary first-order categorical logic" @default.
- W2577544411 cites W104937841 @default.
- W2577544411 cites W1699512023 @default.
- W2577544411 cites W1981403427 @default.
- W2577544411 cites W2144927799 @default.
- W2577544411 hasPublicationYear "2017" @default.
- W2577544411 type Work @default.
- W2577544411 sameAs 2577544411 @default.
- W2577544411 citedByCount "0" @default.
- W2577544411 crossrefType "posted-content" @default.
- W2577544411 hasAuthorship W2577544411A5033628368 @default.
- W2577544411 hasConcept C10138342 @default.
- W2577544411 hasConcept C105795698 @default.
- W2577544411 hasConcept C118615104 @default.
- W2577544411 hasConcept C134306372 @default.
- W2577544411 hasConcept C136119220 @default.
- W2577544411 hasConcept C154945302 @default.
- W2577544411 hasConcept C162324750 @default.
- W2577544411 hasConcept C17231256 @default.
- W2577544411 hasConcept C178421362 @default.
- W2577544411 hasConcept C182306322 @default.
- W2577544411 hasConcept C199343813 @default.
- W2577544411 hasConcept C200116569 @default.
- W2577544411 hasConcept C202444582 @default.
- W2577544411 hasConcept C2777686260 @default.
- W2577544411 hasConcept C2781302003 @default.
- W2577544411 hasConcept C28077239 @default.
- W2577544411 hasConcept C33923547 @default.
- W2577544411 hasConcept C41008148 @default.
- W2577544411 hasConcept C5274069 @default.
- W2577544411 hasConcept C71924100 @default.
- W2577544411 hasConceptScore W2577544411C10138342 @default.
- W2577544411 hasConceptScore W2577544411C105795698 @default.
- W2577544411 hasConceptScore W2577544411C118615104 @default.
- W2577544411 hasConceptScore W2577544411C134306372 @default.
- W2577544411 hasConceptScore W2577544411C136119220 @default.
- W2577544411 hasConceptScore W2577544411C154945302 @default.
- W2577544411 hasConceptScore W2577544411C162324750 @default.
- W2577544411 hasConceptScore W2577544411C17231256 @default.
- W2577544411 hasConceptScore W2577544411C178421362 @default.
- W2577544411 hasConceptScore W2577544411C182306322 @default.
- W2577544411 hasConceptScore W2577544411C199343813 @default.
- W2577544411 hasConceptScore W2577544411C200116569 @default.
- W2577544411 hasConceptScore W2577544411C202444582 @default.
- W2577544411 hasConceptScore W2577544411C2777686260 @default.
- W2577544411 hasConceptScore W2577544411C2781302003 @default.
- W2577544411 hasConceptScore W2577544411C28077239 @default.
- W2577544411 hasConceptScore W2577544411C33923547 @default.
- W2577544411 hasConceptScore W2577544411C41008148 @default.
- W2577544411 hasConceptScore W2577544411C5274069 @default.
- W2577544411 hasConceptScore W2577544411C71924100 @default.
- W2577544411 hasLocation W25775444111 @default.
- W2577544411 hasOpenAccess W2577544411 @default.
- W2577544411 hasPrimaryLocation W25775444111 @default.
- W2577544411 hasRelatedWork W1506269905 @default.
- W2577544411 hasRelatedWork W1678894354 @default.
- W2577544411 hasRelatedWork W193857920 @default.
- W2577544411 hasRelatedWork W1972026574 @default.
- W2577544411 hasRelatedWork W2008911115 @default.
- W2577544411 hasRelatedWork W2013110598 @default.
- W2577544411 hasRelatedWork W2064461340 @default.
- W2577544411 hasRelatedWork W2065676868 @default.
- W2577544411 hasRelatedWork W2111056284 @default.
- W2577544411 hasRelatedWork W2127246914 @default.
- W2577544411 hasRelatedWork W2168995070 @default.
- W2577544411 hasRelatedWork W2169921622 @default.
- W2577544411 hasRelatedWork W2188203153 @default.
- W2577544411 hasRelatedWork W2312372699 @default.
- W2577544411 hasRelatedWork W2492068551 @default.
- W2577544411 hasRelatedWork W2799774902 @default.
- W2577544411 hasRelatedWork W2810957784 @default.
- W2577544411 hasRelatedWork W2964011735 @default.
- W2577544411 hasRelatedWork W3198671176 @default.
- W2577544411 hasRelatedWork W997000086 @default.
- W2577544411 isParatext "false" @default.
- W2577544411 isRetracted "false" @default.
- W2577544411 magId "2577544411" @default.
- W2577544411 workType "article" @default.