Booleanization. Cahiers de Topologie et Géométrie Différentielle Catégoriques, vol.37, pp.41-60, 1996. ,
Regular languages in N C 1, Journal of Computer and System Sciences, vol.44, issue.3, pp.478-499, 1992. ,
A note on powers of Boolean spaces with internal semigroups, 2018. ,
A survey on difference hierarchies of regular languages, Logical Methods in Computer Science, vol.14, issue.1, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02104436
Omitting Types in Incomplete Theories, The Journal of Symbolic Logic, vol.61, issue.1, pp.236-245, 1996. ,
Free Boolean extensions of distributive lattices, Nanta Math, vol.1, pp.1-14, 1966. ,
Introduction to Lattices and Order, 2002. ,
Topological Kripke models, Dokl. Akad. Nauk SSSR, vol.214, pp.298-301, 1974. ,
Heyting algebras: Duality theory, Metsniereba, 1985. ,
Canonical extensions, Esakia spaces, and universal models, Leo Esakia on duality in modal and intuitionistic logics, vol.4, pp.9-41, 2014. ,
Duality and equational theory of regular languages, Automata, languages and programming. Part II, vol.5126, pp.246-257, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00340803
Bounded distributive lattices expansions, Mathematica Scandinavica, vol.94, issue.2, pp.13-45, 2004. ,
Canonical extensions and completions of posets and lattices, Rep. Math. Logic, vol.43, pp.133-152, 2008. ,
Pro-aperiodic monoids and model theory, Israel Journal of Mathematics ,
Efficient algorithms for membership in Boolean hierarchies of regular languages, Theoret. Comput. Sci, vol.646, pp.86-108, 2016. ,
On the generalized Boolean algebra generated by a distributive lattice, Indag. Math, vol.20, pp.547-553, 1959. ,
Set theory, 1957. ,
Boolean algebras with operators I, Amer. J. Math, vol.73, pp.891-939, 1951. ,
Elements of finite model theory, 2004. ,
Programs over semigroups of dot-depth one, Semigroups and algebraic engineering, vol.245, pp.135-148, 1997. ,
Extension of a distributive lattice to a Boolean ring, Bull. Amer. Math. Soc, vol.45, issue.6, pp.452-455, 1939. ,
Some Stone spaces and recursion theory, Duke Math. J, vol.26, pp.397-406, 1959. ,
Embedding of a distributive lattice into a Boolean algebra, Indag. Math, vol.60, pp.73-81, 1957. ,
Going higher in first-order quantifier alternation hierarchies on words, Journal of the ACM, 2018. ,
Representation of distributive lattices by means of ordered stone spaces, Bull. London Math. Soc, vol.2, pp.186-190, 1970. ,
Introduction to the theory of computation, 2006. ,
Applications of the theory of Boolean rings to general topology, Trans. Amer. Math. Soc, vol.41, issue.3, pp.375-481, 1937. ,
Recognizable sets and power sets of finite semigroups, Semigroup Forum, vol.18, issue.4, pp.331-340, 1979. ,
Finite automata, formal logic, and circuit complexity, 1994. ,
Languages defined with modular counting quantifiers, Information and Computation, vol.166, issue.2, pp.112-132, 2001. ,