Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951397557> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2951397557 abstract "The main objective of this paper is to show that the notion of type which was developed within the frames of logic and model theory has deep ties with geometric properties of algebras. These ties go back and forth from universal algebraic geometry to the model theory through the machinery of algebraic logic. We show that types appear naturally as logical kernels in the Galois correspondence between filters in the Halmos algebra of first order formulas with equalities and elementary sets in the corresponding affine space." @default.
- W2951397557 created "2019-06-27" @default.
- W2951397557 creator A5001067643 @default.
- W2951397557 creator A5027929329 @default.
- W2951397557 creator A5054745414 @default.
- W2951397557 date "2011-08-02" @default.
- W2951397557 modified "2023-09-27" @default.
- W2951397557 title "Algebraic logic and logically-geometric types in varieties of algebras" @default.
- W2951397557 cites W1499179478 @default.
- W2951397557 cites W1512417108 @default.
- W2951397557 cites W1827338902 @default.
- W2951397557 cites W1828839365 @default.
- W2951397557 cites W1965284799 @default.
- W2951397557 cites W1974877162 @default.
- W2951397557 cites W1982554630 @default.
- W2951397557 cites W1989241301 @default.
- W2951397557 cites W1990767082 @default.
- W2951397557 cites W2018996603 @default.
- W2951397557 cites W2021455328 @default.
- W2951397557 cites W2031165112 @default.
- W2951397557 cites W2036857782 @default.
- W2951397557 cites W2053885400 @default.
- W2951397557 cites W2068665471 @default.
- W2951397557 cites W2094950280 @default.
- W2951397557 cites W2120713972 @default.
- W2951397557 cites W2128391845 @default.
- W2951397557 cites W2170810208 @default.
- W2951397557 cites W233773926 @default.
- W2951397557 cites W3191950148 @default.
- W2951397557 cites W659508351 @default.
- W2951397557 cites W70112514 @default.
- W2951397557 hasPublicationYear "2011" @default.
- W2951397557 type Work @default.
- W2951397557 sameAs 2951397557 @default.
- W2951397557 citedByCount "0" @default.
- W2951397557 crossrefType "posted-content" @default.
- W2951397557 hasAuthorship W2951397557A5001067643 @default.
- W2951397557 hasAuthorship W2951397557A5027929329 @default.
- W2951397557 hasAuthorship W2951397557A5054745414 @default.
- W2951397557 hasConcept C134306372 @default.
- W2951397557 hasConcept C136119220 @default.
- W2951397557 hasConcept C202444582 @default.
- W2951397557 hasConcept C33923547 @default.
- W2951397557 hasConcept C86523455 @default.
- W2951397557 hasConcept C92757383 @default.
- W2951397557 hasConcept C9376300 @default.
- W2951397557 hasConceptScore W2951397557C134306372 @default.
- W2951397557 hasConceptScore W2951397557C136119220 @default.
- W2951397557 hasConceptScore W2951397557C202444582 @default.
- W2951397557 hasConceptScore W2951397557C33923547 @default.
- W2951397557 hasConceptScore W2951397557C86523455 @default.
- W2951397557 hasConceptScore W2951397557C92757383 @default.
- W2951397557 hasConceptScore W2951397557C9376300 @default.
- W2951397557 hasLocation W29513975571 @default.
- W2951397557 hasOpenAccess W2951397557 @default.
- W2951397557 hasPrimaryLocation W29513975571 @default.
- W2951397557 hasRelatedWork W1522025572 @default.
- W2951397557 hasRelatedWork W1601758907 @default.
- W2951397557 hasRelatedWork W1965578790 @default.
- W2951397557 hasRelatedWork W1974089323 @default.
- W2951397557 hasRelatedWork W1990271297 @default.
- W2951397557 hasRelatedWork W1992749094 @default.
- W2951397557 hasRelatedWork W2028630116 @default.
- W2951397557 hasRelatedWork W2077831547 @default.
- W2951397557 hasRelatedWork W2093814492 @default.
- W2951397557 hasRelatedWork W2112303653 @default.
- W2951397557 hasRelatedWork W2127497119 @default.
- W2951397557 hasRelatedWork W2165893511 @default.
- W2951397557 hasRelatedWork W2182877775 @default.
- W2951397557 hasRelatedWork W2301491978 @default.
- W2951397557 hasRelatedWork W2899460941 @default.
- W2951397557 hasRelatedWork W2921241419 @default.
- W2951397557 hasRelatedWork W2936310910 @default.
- W2951397557 hasRelatedWork W2962913784 @default.
- W2951397557 hasRelatedWork W125964128 @default.
- W2951397557 hasRelatedWork W2420290560 @default.
- W2951397557 isParatext "false" @default.
- W2951397557 isRetracted "false" @default.
- W2951397557 magId "2951397557" @default.
- W2951397557 workType "article" @default.