Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297824420> ?p ?o ?g. }
Showing items 1 to 41 of
41
with 100 items per page.
- W4297824420 abstract "We take a long magical tour in algebraic logic, starting from classical results on neat embeddings due to Henkin, Monk and Tarski, all the way to recent results in algebraic logic using so--called rainbow constructions invented by Hirsch and Hodkinson. Highlighting the connections with graph theory, model theory, and finite combinatorics, this article aspires to present topics of broad interest in a way that is hopefully accessible to a large audience. The paper has a survey character but it contains new approaches to old ones. We aspire to make our survey fairly comprehensive, at least in so far as Tarskian algebraic logic, specifically, the theory of cylindric algebras, is concerned. Other topics, such as abstract algebraic logic, modal logic and the so--called (central) finitizability problem in algebraic logic will be dealt with; the last in some detail. Rainbow constructions are used to solve problems adressing classes of cylindric--like algebras consisting of algebras having a neat embedding property. The hitherto obtained results generalize seminal results of Hirsch and Hodkinson on non--atom canonicity, non--first order definabiity and non--finite axiomatizability, proved for classes of representable cylindric algebras of finite dimension$>2$. We show that such results remain valid for cylindric algebras possesing relativized {it clique guarded} representations that are {it only locally} well behaved. The paper is written in a way that makes it accessible to non--specialists curious about the state of the art in Tarskian algebraic logic. Reaching the boundaries of current research, the paper also aspires to be informative to the practitioner, and even more, stimulates her/him to carry on further research in main stream algebraic logic." @default.
- W4297824420 created "2022-10-01" @default.
- W4297824420 creator A5014040531 @default.
- W4297824420 date "2015-08-21" @default.
- W4297824420 modified "2023-10-18" @default.
- W4297824420 title "A brief history of algebraic logic from neat embeddings to rainbow constructions" @default.
- W4297824420 doi "https://doi.org/10.48550/arxiv.1508.05840" @default.
- W4297824420 hasPublicationYear "2015" @default.
- W4297824420 type Work @default.
- W4297824420 citedByCount "0" @default.
- W4297824420 crossrefType "posted-content" @default.
- W4297824420 hasAuthorship W4297824420A5014040531 @default.
- W4297824420 hasBestOaLocation W42978244201 @default.
- W4297824420 hasConcept C134306372 @default.
- W4297824420 hasConcept C136119220 @default.
- W4297824420 hasConcept C202444582 @default.
- W4297824420 hasConcept C33923547 @default.
- W4297824420 hasConcept C86523455 @default.
- W4297824420 hasConcept C9376300 @default.
- W4297824420 hasConceptScore W4297824420C134306372 @default.
- W4297824420 hasConceptScore W4297824420C136119220 @default.
- W4297824420 hasConceptScore W4297824420C202444582 @default.
- W4297824420 hasConceptScore W4297824420C33923547 @default.
- W4297824420 hasConceptScore W4297824420C86523455 @default.
- W4297824420 hasConceptScore W4297824420C9376300 @default.
- W4297824420 hasLocation W42978244201 @default.
- W4297824420 hasOpenAccess W4297824420 @default.
- W4297824420 hasPrimaryLocation W42978244201 @default.
- W4297824420 hasRelatedWork W1528672899 @default.
- W4297824420 hasRelatedWork W194002156 @default.
- W4297824420 hasRelatedWork W2038106543 @default.
- W4297824420 hasRelatedWork W2069832399 @default.
- W4297824420 hasRelatedWork W2075571364 @default.
- W4297824420 hasRelatedWork W2156697727 @default.
- W4297824420 hasRelatedWork W2608902746 @default.
- W4297824420 hasRelatedWork W2885964212 @default.
- W4297824420 hasRelatedWork W2892231951 @default.
- W4297824420 hasRelatedWork W4244934900 @default.
- W4297824420 isParatext "false" @default.
- W4297824420 isRetracted "false" @default.
- W4297824420 workType "article" @default.