Matches in SemOpenAlex for { <https://semopenalex.org/work/W2036588712> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2036588712 abstract "We provide a construction which co-freely adds elementary structure to a primary doctrine in the sense of Lawvere. We show that the construction preserves all the first order logical structures that the starting doctrine may have. Moreover it forces the Principle of Propositional Extensionality when applied to triposes." @default.
- W2036588712 created "2016-06-24" @default.
- W2036588712 creator A5038306122 @default.
- W2036588712 date "2013-12-21" @default.
- W2036588712 modified "2023-09-24" @default.
- W2036588712 title "A Co-free Construction for Elementary Doctrines" @default.
- W2036588712 cites W2005065769 @default.
- W2036588712 cites W2006569317 @default.
- W2036588712 cites W2023237551 @default.
- W2036588712 cites W2065468423 @default.
- W2036588712 cites W2078095689 @default.
- W2036588712 cites W2082631236 @default.
- W2036588712 cites W2094804020 @default.
- W2036588712 cites W2099684400 @default.
- W2036588712 cites W2112548883 @default.
- W2036588712 cites W2122618818 @default.
- W2036588712 cites W4243933121 @default.
- W2036588712 cites W4247356020 @default.
- W2036588712 cites W4248166369 @default.
- W2036588712 doi "https://doi.org/10.1007/s10485-013-9358-z" @default.
- W2036588712 hasPublicationYear "2013" @default.
- W2036588712 type Work @default.
- W2036588712 sameAs 2036588712 @default.
- W2036588712 citedByCount "8" @default.
- W2036588712 countsByYear W20365887122013 @default.
- W2036588712 countsByYear W20365887122016 @default.
- W2036588712 countsByYear W20365887122017 @default.
- W2036588712 countsByYear W20365887122018 @default.
- W2036588712 countsByYear W20365887122020 @default.
- W2036588712 countsByYear W20365887122021 @default.
- W2036588712 crossrefType "journal-article" @default.
- W2036588712 hasAuthorship W2036588712A5038306122 @default.
- W2036588712 hasBestOaLocation W20365887122 @default.
- W2036588712 hasConcept C111472728 @default.
- W2036588712 hasConcept C11413529 @default.
- W2036588712 hasConcept C118615104 @default.
- W2036588712 hasConcept C138885662 @default.
- W2036588712 hasConcept C144237770 @default.
- W2036588712 hasConcept C150355047 @default.
- W2036588712 hasConcept C199343813 @default.
- W2036588712 hasConcept C202444582 @default.
- W2036588712 hasConcept C24858836 @default.
- W2036588712 hasConcept C27206212 @default.
- W2036588712 hasConcept C2776211767 @default.
- W2036588712 hasConcept C2777686260 @default.
- W2036588712 hasConcept C33923547 @default.
- W2036588712 hasConcept C71924100 @default.
- W2036588712 hasConceptScore W2036588712C111472728 @default.
- W2036588712 hasConceptScore W2036588712C11413529 @default.
- W2036588712 hasConceptScore W2036588712C118615104 @default.
- W2036588712 hasConceptScore W2036588712C138885662 @default.
- W2036588712 hasConceptScore W2036588712C144237770 @default.
- W2036588712 hasConceptScore W2036588712C150355047 @default.
- W2036588712 hasConceptScore W2036588712C199343813 @default.
- W2036588712 hasConceptScore W2036588712C202444582 @default.
- W2036588712 hasConceptScore W2036588712C24858836 @default.
- W2036588712 hasConceptScore W2036588712C27206212 @default.
- W2036588712 hasConceptScore W2036588712C2776211767 @default.
- W2036588712 hasConceptScore W2036588712C2777686260 @default.
- W2036588712 hasConceptScore W2036588712C33923547 @default.
- W2036588712 hasConceptScore W2036588712C71924100 @default.
- W2036588712 hasLocation W20365887121 @default.
- W2036588712 hasLocation W20365887122 @default.
- W2036588712 hasLocation W20365887123 @default.
- W2036588712 hasOpenAccess W2036588712 @default.
- W2036588712 hasPrimaryLocation W20365887121 @default.
- W2036588712 hasRelatedWork W1539896075 @default.
- W2036588712 hasRelatedWork W1871349904 @default.
- W2036588712 hasRelatedWork W1980692149 @default.
- W2036588712 hasRelatedWork W1987269014 @default.
- W2036588712 hasRelatedWork W2037794459 @default.
- W2036588712 hasRelatedWork W2065468423 @default.
- W2036588712 hasRelatedWork W2082631236 @default.
- W2036588712 hasRelatedWork W2085254659 @default.
- W2036588712 hasRelatedWork W2099684400 @default.
- W2036588712 hasRelatedWork W2139422879 @default.
- W2036588712 hasRelatedWork W2157212216 @default.
- W2036588712 hasRelatedWork W2398217582 @default.
- W2036588712 hasRelatedWork W2617711138 @default.
- W2036588712 hasRelatedWork W2950914392 @default.
- W2036588712 hasRelatedWork W295178086 @default.
- W2036588712 hasRelatedWork W3146229655 @default.
- W2036588712 hasRelatedWork W3217197059 @default.
- W2036588712 hasRelatedWork W5268957 @default.
- W2036588712 hasRelatedWork W648958772 @default.
- W2036588712 hasRelatedWork W2504055001 @default.
- W2036588712 isParatext "false" @default.
- W2036588712 isRetracted "false" @default.
- W2036588712 magId "2036588712" @default.
- W2036588712 workType "article" @default.