Bernoulli automorphisms of finitely generated free MV-algebras
From MaRDI portal
Publication:860428
Ergodicity, mixing, rates of mixing (37A25) Many-valued logic (03B50) Dynamical aspects of measure-preserving transformations (37A05) Combinatorics and topology in relation with holomorphic dynamical systems (37F20) Invariant measures for infinite-dimensional dissipative dynamical systems (37L40) MV-algebras (06D35)
Abstract: MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class, and the free n-generated free MV-algebra is representable as an algebra of piecewise-linear continuous functions with integer coefficients over the unit n-dimensional cube. In this paper we show that the automorphism group of such a free algebra contains elements having strongly chaotic behaviour, is the sense that their duals are measure-theoretically isomorphic to a Bernoulli shift. This fact is noteworthy from the viewpoint of algebraic logic, since it gives a distinguished status to Lebesgue measure as an averaging measure on the space of valuations. As an ergodic theory fact, it provides explicit examples of volume-preserving homeomorphisms of the unit cube which are piecewise-linear with integer coefficients, preserve the denominators of rational points, and enjoy the Bernoulli property.
Recommendations
- States in Łukasiewicz logic correspond to probabilities of rational polyhedra
- A geometric proof of the completeness of the Łukasiewicz calculus
- Dynamical properties of logical substitutions
- Invariant Measures in Free MV-Algebras
- Advanced Łukasiewicz calculus and MV-algebras
- The Automorphism Group of Falsum-Free Product Logic
- Fuzzy logic as a logic of the expressive strength of information
- scientific article; zbMATH DE number 1522819
- Substitution dynamical systems on infinite alphabets
- Mixing sets and relative entropies for higher-dimensional Markov shifts
Cites work
- scientific article; zbMATH DE number 3705565 (Why is no real title available?)
- scientific article; zbMATH DE number 3746110 (Why is no real title available?)
- scientific article; zbMATH DE number 3775877 (Why is no real title available?)
- scientific article; zbMATH DE number 3470744 (Why is no real title available?)
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A constructive proof of McNaughton's theorem in infinite-valued logic
- A geometric proof of the completeness of the Łukasiewicz calculus
- A theorem about infinite-valued sentential logic
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Averaging the truth-value in Łukasiewicz logic
- Bernoulli diffeomorphisms on surfaces
- CHARACTERISTIC LYAPUNOV EXPONENTS AND SMOOTH ERGODIC THEORY
- Chaotic group actions
- Ergodicity of toral linked twist mappings
- Explicit Transitive Automorphisms of the Closed Unit Square
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Introduction to the ergodic theory of chaotic billiards
- Invariant families of cones and Lyapunov exponents
- Typical dynamics of volume preserving homeomorphisms
Cited in
(7)- Finitely generated free MV-algebras and their automorphism groups
- Finite axiomatizability in Łukasiewicz logic
- Automorphisms of the Bernoulli endomorphism and a class of skew-products
- The Automorphism Group of Falsum-Free Product Logic
- Denominator-preserving maps
- The Lebesgue state of a unital abelian lattice-ordered group
- Invariant Measures in Free MV-Algebras
This page was built for publication: Bernoulli automorphisms of finitely generated free MV-algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q860428)
