Matches in SemOpenAlex for { <https://semopenalex.org/work/W3158889678> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3158889678 abstract "We introduce the notion of a Godel fibration, which is a fibration categorically embodying both the logical principle of traditional Skolemization (we can exchange the order of quantifiers paying the price of a functional) and the existence of a prenex normal form presentation for every logical formula. Building up from Hofstra's earlier fibrational characterization of the de Paiva's categorical Dialectica construction, we show that a fibration is an instance of the Dialectica construction if and only if it is a Godel fibration. This result establishes an internal presentation of the dialectica construction. Then we provide a deep structural analysis of the Dialectica construction producing a full description of which categorical structure behaves well with respect to this construction, focusing on (weak) finite products and coproducts. We conclude describing the applications we envisage for this generalized fibrational version of the Dialectica construction." @default.
- W3158889678 created "2021-05-10" @default.
- W3158889678 creator A5033562494 @default.
- W3158889678 creator A5050037456 @default.
- W3158889678 creator A5074259281 @default.
- W3158889678 date "2021-04-28" @default.
- W3158889678 modified "2023-09-27" @default.
- W3158889678 title "The Godel Fibration" @default.
- W3158889678 cites W1537854563 @default.
- W3158889678 cites W1968350036 @default.
- W3158889678 cites W2001462012 @default.
- W3158889678 cites W2012474994 @default.
- W3158889678 cites W2069777583 @default.
- W3158889678 cites W2078095689 @default.
- W3158889678 cites W2099684400 @default.
- W3158889678 cites W2106773867 @default.
- W3158889678 cites W2153017713 @default.
- W3158889678 cites W2173023892 @default.
- W3158889678 cites W2182184486 @default.
- W3158889678 cites W2482810752 @default.
- W3158889678 cites W2598762888 @default.
- W3158889678 cites W2799148948 @default.
- W3158889678 cites W2892906555 @default.
- W3158889678 cites W3122384369 @default.
- W3158889678 cites W3134111187 @default.
- W3158889678 hasPublicationYear "2021" @default.
- W3158889678 type Work @default.
- W3158889678 sameAs 3158889678 @default.
- W3158889678 citedByCount "0" @default.
- W3158889678 crossrefType "posted-content" @default.
- W3158889678 hasAuthorship W3158889678A5033562494 @default.
- W3158889678 hasAuthorship W3158889678A5050037456 @default.
- W3158889678 hasAuthorship W3158889678A5074259281 @default.
- W3158889678 hasConcept C105795698 @default.
- W3158889678 hasConcept C111472728 @default.
- W3158889678 hasConcept C126838900 @default.
- W3158889678 hasConcept C138885662 @default.
- W3158889678 hasConcept C202444582 @default.
- W3158889678 hasConcept C2777601897 @default.
- W3158889678 hasConcept C2781302003 @default.
- W3158889678 hasConcept C33923547 @default.
- W3158889678 hasConcept C5274069 @default.
- W3158889678 hasConcept C54486226 @default.
- W3158889678 hasConcept C5961521 @default.
- W3158889678 hasConcept C71924100 @default.
- W3158889678 hasConceptScore W3158889678C105795698 @default.
- W3158889678 hasConceptScore W3158889678C111472728 @default.
- W3158889678 hasConceptScore W3158889678C126838900 @default.
- W3158889678 hasConceptScore W3158889678C138885662 @default.
- W3158889678 hasConceptScore W3158889678C202444582 @default.
- W3158889678 hasConceptScore W3158889678C2777601897 @default.
- W3158889678 hasConceptScore W3158889678C2781302003 @default.
- W3158889678 hasConceptScore W3158889678C33923547 @default.
- W3158889678 hasConceptScore W3158889678C5274069 @default.
- W3158889678 hasConceptScore W3158889678C54486226 @default.
- W3158889678 hasConceptScore W3158889678C5961521 @default.
- W3158889678 hasConceptScore W3158889678C71924100 @default.
- W3158889678 hasLocation W31588896781 @default.
- W3158889678 hasOpenAccess W3158889678 @default.
- W3158889678 hasPrimaryLocation W31588896781 @default.
- W3158889678 hasRelatedWork W1563330158 @default.
- W3158889678 hasRelatedWork W1833301579 @default.
- W3158889678 hasRelatedWork W1892525621 @default.
- W3158889678 hasRelatedWork W2083682852 @default.
- W3158889678 hasRelatedWork W2093814492 @default.
- W3158889678 hasRelatedWork W2097055807 @default.
- W3158889678 hasRelatedWork W2151159855 @default.
- W3158889678 hasRelatedWork W2152895620 @default.
- W3158889678 hasRelatedWork W247081748 @default.
- W3158889678 hasRelatedWork W2501968317 @default.
- W3158889678 hasRelatedWork W2608325868 @default.
- W3158889678 hasRelatedWork W2613365656 @default.
- W3158889678 hasRelatedWork W2784396204 @default.
- W3158889678 hasRelatedWork W2799148948 @default.
- W3158889678 hasRelatedWork W2888076118 @default.
- W3158889678 hasRelatedWork W2949083576 @default.
- W3158889678 hasRelatedWork W2953612470 @default.
- W3158889678 hasRelatedWork W3041966835 @default.
- W3158889678 hasRelatedWork W3132837652 @default.
- W3158889678 hasRelatedWork W3187636127 @default.
- W3158889678 isParatext "false" @default.
- W3158889678 isRetracted "false" @default.
- W3158889678 magId "3158889678" @default.
- W3158889678 workType "article" @default.