Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949205883> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2949205883 abstract "Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are almost rank 1 axiomatized and can be handled by a slight variant of the rank 1 coalgebraic methods." @default.
- W2949205883 created "2019-06-27" @default.
- W2949205883 creator A5028851521 @default.
- W2949205883 creator A5045687469 @default.
- W2949205883 date "2011-05-17" @default.
- W2949205883 modified "2023-10-16" @default.
- W2949205883 title "Finitely generated free Heyting algebras via Birkhoff duality and coalgebra" @default.
- W2949205883 cites W1480754868 @default.
- W2949205883 cites W1496666004 @default.
- W2949205883 cites W1570796240 @default.
- W2949205883 cites W1592261745 @default.
- W2949205883 cites W1602501515 @default.
- W2949205883 cites W1659616924 @default.
- W2949205883 cites W1978576229 @default.
- W2949205883 cites W1982910240 @default.
- W2949205883 cites W1987887112 @default.
- W2949205883 cites W2013539775 @default.
- W2949205883 cites W2055905392 @default.
- W2949205883 cites W2060027303 @default.
- W2949205883 cites W2073361881 @default.
- W2949205883 cites W2093814492 @default.
- W2949205883 cites W2106838905 @default.
- W2949205883 cites W2135557157 @default.
- W2949205883 cites W2147512620 @default.
- W2949205883 cites W2168410054 @default.
- W2949205883 cites W2317107785 @default.
- W2949205883 cites W2483742494 @default.
- W2949205883 cites W2912848864 @default.
- W2949205883 doi "https://doi.org/10.2168/lmcs-7(2:9)2011" @default.
- W2949205883 hasPublicationYear "2011" @default.
- W2949205883 type Work @default.
- W2949205883 sameAs 2949205883 @default.
- W2949205883 citedByCount "12" @default.
- W2949205883 countsByYear W29492058832014 @default.
- W2949205883 countsByYear W29492058832015 @default.
- W2949205883 countsByYear W29492058832016 @default.
- W2949205883 countsByYear W29492058832017 @default.
- W2949205883 countsByYear W29492058832018 @default.
- W2949205883 countsByYear W29492058832022 @default.
- W2949205883 countsByYear W29492058832023 @default.
- W2949205883 crossrefType "journal-article" @default.
- W2949205883 hasAuthorship W2949205883A5028851521 @default.
- W2949205883 hasAuthorship W2949205883A5045687469 @default.
- W2949205883 hasBestOaLocation W29492058831 @default.
- W2949205883 hasConcept C114614502 @default.
- W2949205883 hasConcept C134306372 @default.
- W2949205883 hasConcept C136119220 @default.
- W2949205883 hasConcept C151201525 @default.
- W2949205883 hasConcept C156772000 @default.
- W2949205883 hasConcept C164226766 @default.
- W2949205883 hasConcept C167729594 @default.
- W2949205883 hasConcept C183778304 @default.
- W2949205883 hasConcept C187062830 @default.
- W2949205883 hasConcept C202444582 @default.
- W2949205883 hasConcept C2524010 @default.
- W2949205883 hasConcept C2778023678 @default.
- W2949205883 hasConcept C2778249326 @default.
- W2949205883 hasConcept C33923547 @default.
- W2949205883 hasConcept C53936288 @default.
- W2949205883 hasConceptScore W2949205883C114614502 @default.
- W2949205883 hasConceptScore W2949205883C134306372 @default.
- W2949205883 hasConceptScore W2949205883C136119220 @default.
- W2949205883 hasConceptScore W2949205883C151201525 @default.
- W2949205883 hasConceptScore W2949205883C156772000 @default.
- W2949205883 hasConceptScore W2949205883C164226766 @default.
- W2949205883 hasConceptScore W2949205883C167729594 @default.
- W2949205883 hasConceptScore W2949205883C183778304 @default.
- W2949205883 hasConceptScore W2949205883C187062830 @default.
- W2949205883 hasConceptScore W2949205883C202444582 @default.
- W2949205883 hasConceptScore W2949205883C2524010 @default.
- W2949205883 hasConceptScore W2949205883C2778023678 @default.
- W2949205883 hasConceptScore W2949205883C2778249326 @default.
- W2949205883 hasConceptScore W2949205883C33923547 @default.
- W2949205883 hasConceptScore W2949205883C53936288 @default.
- W2949205883 hasFunder F4320314731 @default.
- W2949205883 hasLocation W29492058831 @default.
- W2949205883 hasLocation W29492058832 @default.
- W2949205883 hasLocation W29492058833 @default.
- W2949205883 hasLocation W29492058834 @default.
- W2949205883 hasLocation W29492058835 @default.
- W2949205883 hasOpenAccess W2949205883 @default.
- W2949205883 hasPrimaryLocation W29492058831 @default.
- W2949205883 hasRelatedWork W1946025259 @default.
- W2949205883 hasRelatedWork W2018979944 @default.
- W2949205883 hasRelatedWork W2111420330 @default.
- W2949205883 hasRelatedWork W2494854716 @default.
- W2949205883 hasRelatedWork W2949205883 @default.
- W2949205883 hasRelatedWork W3171326489 @default.
- W2949205883 hasRelatedWork W4287126040 @default.
- W2949205883 hasRelatedWork W4297748889 @default.
- W2949205883 hasRelatedWork W4320854938 @default.
- W2949205883 hasRelatedWork W829264498 @default.
- W2949205883 hasVolume "Volume 7, Issue 2" @default.
- W2949205883 isParatext "false" @default.
- W2949205883 isRetracted "false" @default.
- W2949205883 magId "2949205883" @default.
- W2949205883 workType "article" @default.