Switch to: References

Citations of:

A note on algebras of substitutions

Studia Logica 72 (2):265-284 (2002)

Add citations

You must login to add citations.
  1. Some variants of Vaught's conjecture from the perspective of algebraic logic.G. Sagi & D. Sziraki - 2012 - Logic Journal of the IGPL 20 (6):1064-1082.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Omitting types for finite variable fragments and complete representations of algebras.Hajnal Andréka, István Németi & Tarek Sayed Ahmed - 2008 - Journal of Symbolic Logic 73 (1):65-89.
    We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The Robinson property and amalgamations of higher arities.David Nyiri - 2016 - Mathematical Logic Quarterly 62 (4-5):427-433.
    In this article we discuss a version of the Robinson property studied recently by Gyenis in, and we present a solution to one of his open problems. We say that a first‐order structure satisfies the Robinson property whenever the union of two non‐trivial partial n‐types over different finite sets is realizable if and only if they are not explicitly contradictory. In his article, Gyenis showed that a universal, homogeneous structure over a language that consists of at most binary relation symbols (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation