Simple equations on real intervals

DOI10.1007/S00012-009-0011-5MaRDI QIDQ1042414zbMATH OpenOpenAlexFDO

Authors Walter Taylor

Publication date 14 December 2009

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-009-0011-5

zbMATH Keywords

absolute retractsimple equationtopological algebra

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other topological algebraic systems and their representations (22A30) Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55) Metric spaces, metrizability (54E35)

Review text

In contrast to a previous undecidability result of the author [\textit{W. Taylor}, ``Equations on real intervals, Algebra Univers. 55, No.~4, 409--456 (2006; Zbl 1108.03048)], decidability becomes trivial when the equations to be tested are simple, which means that there is at most one occurrence of some operation symbol on either side: If \(A\) is an absolute retract in the class of all metrizable topological spaces, and if \(S\) is a set of simple equations, then there are continuous operations on \(A\) that satisfy \(S\) if and only if \(S\) is consistent; the consistency of \(S\), however, is equivalent to the existence of a two-element model. The author asserts that some ``very small changes in his proof will suffice to obtain the analogous result for the class of all completely regular spaces.

Recommendations

• Equations on real intervals
• scientific article; zbMATH DE number 3945249
• Interval solutions of linear interval equations
• On real solutions of systems of equations
• Real solution isolation using interval arithmetic
• Systems of linear interval equations
• Real analysis on intervals
• scientific article; zbMATH DE number 1543275
• On solutions of real analytic equations

Cites work

• Equations on real intervals
• Fundamental Groups of Topological R-Modules
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3723495 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1547014 (Why is no real title available?)
• scientific article; zbMATH DE number 1746049 (Why is no real title available?)
• scientific article; zbMATH DE number 3996616 (Why is no real title available?)
• scientific article; zbMATH DE number 3235040 (Why is no real title available?)
• scientific article; zbMATH DE number 3246961 (Why is no real title available?)
• Identities in idempotent affine algebras
• Identities satisfied by convex linear forms
• Logical Approaches to Computational Barriers
• Median algebras
• Medians and Betweenness
• Mixers, the converse of a theorem of van Mill and van de Vel
• On an internal property of absolute retracts. II
• On convex linear forms
• The lattice of interpretability types of varieties
• Topologies in Free Algebras
• Varieties Obeying Homotopy Laws

Cited in

(7)

• The equational compatibility problem for the real line
• Compatibility of book-spaces with certain identities
• Testing for a semilattice term
• Taylor's modularity conjecture holds for linear idempotent varieties.
• Possible classification of finite-dimensional compact Hausdorff topological algebras
• Varieties defined by basic equations have the amalgamation property
• Equations on real intervals

This page was built for publication: Simple equations on real intervals

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