Results 1 to 10 of about 16,012 (122)
Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras [PDF]
Nagoya Mathematical Journal, 1990 Recently, systematic applications of the Scott-Solovay Boolean valued set theory were done by several authors; Takeuti [25, 26, 27, 28, 29, 30], Nishimura [13, 14] Jech [8] and Ozawa [15, 16, 17, 18, 19, 20] in analysis and Smith [23], Eda [2, 3] in algebra.
Masanao Ozawa
openaire +3 more sources
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
Logical Methods in Computer Science, 2015 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs
doaj +6 more sources
On Neutrosophic Vague Binary BZMZ^dM Sub-algebra of BZMZ^dM-algebra in Neutrosophic Vague Binary Sets [PDF]
Neutrosophic Sets and Systems, 2021 In Model theory, common algebraic structures found are Lattices and Boolean Algebras. In the broad field of research, various algebraic structures can be introduced for a set. BCK, BCI, BCH, BH etc. are some of them.
P. B. Remya, A. Francina Shalini
doaj +1 more source
Partial categorification of Hopf algebras and representation theory of towers of \mathcalJ-trivial monoids [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 This paper considers the representation theory of towers of algebras of $\mathcal{J} -trivial$ monoids. Using a very general lemma on induction, we derive a combinatorial description of the algebra and coalgebra structure on the Grothendieck rings $G_0 ...
Aladin Virmaux
doaj +1 more source
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
Independence-friendly cylindric set algebras [PDF]
, 2007 Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic.
Mann, Allen L.
core +1 more source
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
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