Results 11 to 20 of about 15,999 (114)
Measure Recognition Problem [PDF]
, 2006 This is an article in mathematics, specifically in set theory. On the example of the Measure Recognition Problem (MRP) the article highlights the phenomenon of the utility of a multidisciplinary mathematical approach to a single mathematical problem, in ...
Cantor G +4 more
core +2 more sources
Enriched Stone-type dualities [PDF]
, 2017 A common feature of many duality results is that the involved equivalence functors are liftings of hom-functors into the two-element space resp. lattice.
Hofmann, Dirk, Nora, Pedro
core +2 more sources
THE GENERATIVE POWER OF FEATURE GEOMETRY [PDF]
, 1993 The paper presents a formalization of the common structure underlying different proposals concerning the geometry of phonological features. Using the concepts and tools of elementary set theory, lattice theory, and the theory of independent boolean ...
Kornai, András
core +3 more sources
, 2016 In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the ...
Cornejo, Juan M. +1 more
core +2 more sources
On the isomorphism problem of concept algebras [PDF]
, 2010 Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}.
B Ganter +9 more
core +4 more sources
The Isomorphism Relation Between Tree-Automatic Structures [PDF]
, 2010 An $\omega$-tree-automatic structure is a relational structure whose domain and relations are accepted by Muller or Rabin tree automata. We investigate in this paper the isomorphism problem for $\omega$-tree-automatic structures.
A. Blumensath +17 more
core +4 more sources
Generic absoluteness and boolean names for elements of a Polish space [PDF]
, 2016 It is common knowledge in the set theory community that there exists a duality relating the commutative $C^*$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$.
Vaccaro, Andrea, Viale, Matteo
core +2 more sources
Quantifiers on languages and codensity monads [PDF]
, 2017 This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one layer of various
Gehrke, Mai +2 more
core +2 more sources
No-Cloning Theorem on Quantum Logics
, 2009 This paper discusses the no-cloning theorem in a logico-algebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory.
Bennett C. H. +3 more
core +1 more source
Spectra of Tukey types of ultrafilters on Boolean algebras [PDF]
, 2015 Extending recent investigations on the structure of Tukey types of ultrafilters on $\mathcal{P}(\omega)$ to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval ...
Brown, Jennifer A., Dobrinen, Natasha
core +3 more sources