Universality Results for Models in Locally Boolean Domains

DOI10.1007/11874683_30MaRDI QIDQ3613357zbMATH OpenOpenAlexFDO

Authors Tobias Löw, Thomas Streicher

Publication date 12 March 2009

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11874683_30

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55)

Recommendations

• Boolean universes above Boolean models
• Universality and almost decidability
• On the specific area of inhomogeneous Boolean models. Existence results and applications
• Locally Boolean domains and universal models for infinitary sequential languages.
• Local affinity of Boolean mappings
• Uniqueness of unbounded occupied and vacant components in Boolean models
• Universally axiomatizable subclasses of locally finite classes of models
• Lower estimate for the cardinality of the domain of universal functions for the class of linear Boolean functions

Cited in

(2)

• A synthetic theory of sequential domains
• Locally Boolean domains and universal models for infinitary sequential languages.

This page was built for publication: Universality Results for Models in Locally Boolean Domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613357)