On cylindric algebraic model theory

2006 ◽  
pp. 37-75 ◽  
Author(s):  
István Németi
Keyword(s):  
Model Theory ◽  
Algebraic Model

scholarly journals Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology

2009 ◽  
Vol 6 (36) ◽  
pp. 575-597 ◽  
Author(s):  
Bud Mishra
Keyword(s):  
Systems Biology ◽  
Model Checking ◽  
Model Theory ◽  
Historical Context ◽  
Algebraic Model ◽  
The Subject ◽  
And Algebra

Systems biology, as a subject, has captured the imagination of both biologists and systems scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic view of the subject, but also aims to persuade young scientists to examine the possible evolution of this subject in a rich historical context. In particular, one may wish to read this review to envision a subject built out of a consilience of many interesting concepts from systems sciences, logic and model theory, and algebra, culminating in novel tools, techniques and theories that can reveal deep principles in biology—seen beyond mere observations. A particular focus in this review is on approaches embedded in an embryonic program, dubbed ‘algorithmic algebraic model checking’, and its powers and limitations.

Isomorphic but not lower base-isomorphic cylindric set algebras

1988 ◽  
Vol 53 (3) ◽  
pp. 846-853 ◽  
Author(s):  
B. Biró ◽  
S. Shelah
Keyword(s):  
Model Theory ◽  
Algebraic Logic ◽  
Algebraic Model ◽  
Locally Finite ◽  
Lower Base ◽  
Cylindric Set Algebras

AbstractThis paper belongs to cylindric-algebraic model theory understood in the sense of algebraic logic. We show the existence of isomorphic but not lower base-isomorphic cylindric set algebras. These algebras are regular and locally finite. This solves a problem raised in [N 83] which was implicitly present also in [HMTAN 81]. This result implies that a theorem of Vaught for prime models of countable languages does not continue to hold for languages of any greater power.

Sign in / Sign up

Export Citation Format

Share Document