Fundamenta Mathematicae

2026/07/22 by Affine Birman–wenzl–murakami Algebras · 25 citations
Mathematics · #History and Theory of Mathematics

paper · doi:10.4064/fm

Abstract

A rigid Boolean algebra that admits the elimination of Q21 by Heike Mi l d enbe r g e r (Bonn) Abstract. Using ♦, we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier Q21.

Cited by

• A Survey of Exact Arithmetic Implementations
• Wilfrid Hodges A short history of model theory
• The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [europepmc]
• Ceramide-transfer protein-mediated ceramide transfer is a structurally tunable flow-inducing mechanism with structural feed-forward loops. [europepmc]
• Through synapses to spatial memory maps via a topological model. [europepmc]
• Best match graphs. [europepmc]
• Concurrency and reachability in treelike temporal networks. [europepmc]
• Continuity of Channel Parameters and Operations under Various DMC Topologies. [europepmc]
• Topological Structures on DMC Spaces † . [europepmc]
• Generalizing Information to the Evolution of Rational Belief. [europepmc]
• What Is So Special about Quantum Clicks? [europepmc]
• Neural field models with transmission delays and diffusion. [europepmc]
• From Topological Analyses to Functional Modeling: The Case of Hippocampus. [europepmc]
• Enhancement of properties in Mizar. [europepmc]
• A Traditional Scientific Perspective on the Integrated Information Theory of Consciousness. [europepmc]
• Using HPLC-DAD and GC-MS Analysis Isolation and Identification of Anticandida Compounds from Gui Zhen Cao Herbs (Genus Bidens ): An Important Chinese Medicinal Formulation. [europepmc]
• Generalized fixed point results of rational type contractions in partially ordered metric spaces. [europepmc]
• Spatial representability of neuronal activity. [europepmc]
• Proof of Equivalence of Carnot Principle to II Law of Thermodynamics and Non-Equivalence to Clausius I and Kelvin Principles. [europepmc]
• Vertex Deletion into Bipartite Permutation Graphs. [europepmc]
• Fractal-Based Hybrid Cryptosystem: Enhancing Image Encryption with RSA, Homomorphic Encryption, and Chaotic Maps. [europepmc]
• Understanding Higher-Order Interactions in Information Space. [europepmc]
• Hierarchical neural processing in γ oscillations for syntactic and semantic operations accounts for first- and second-language epistemology. [europepmc]
• On escape criterion of an orbit with s-convexity and illustrations of the behavior shifts in Mandelbrot and Julia set fractals. [europepmc]
• Synthesis estimators for transportability with positivity violations by a continuous covariate. [europepmc]
• Transition graphs of interacting hysterons: structure, design, organization and statistics. [europepmc]
• The recipe similarity network: a new algorithm to extract relevant information from cookbooks. [europepmc]

Related

• A complete Boolean algebra that has no proper atomless complete subalgebra
• Ideal Independence, Free Sequences, and the Ultrafilter Number
• Complete sigma-centered Boolean algebra not adding Cohen reals
• Irredundant Sets in Atomic Boolean Algebras
• Superatomic Boolean Algebras: maximal rigidity