On the strength of some topological lattices

DOI10.1090/CONM/697/14060MaRDI QIDQ4635374zbMATH OpenOpenAlexFDO

Authors Marcus Tressl

Publication date 16 April 2018

Published in Ordered Algebraic Structures and Related Topics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.07519

zbMATH Keywords

topologylatticesinterpretationdecidabilitymodel theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model theory of ordered structures; o-minimality (03C64) Logical aspects of lattices and related structures (03G10) Lattices (06B99)

Abstract: We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by Grzegorczyk. We also answers a question of Grzegorczyk on the 'algebra of convex sets'.

Recommendations

• A topological representation theorem of strongly algebra lattices.
• First order theories of some lattices of open sets
• Topological geometric lattices
• On lattices of convex sets in \(\mathbb R^n\)
• scientific article; zbMATH DE number 2148466

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3290311 (Why is no real title available?)
• An undecidability theorem for lattices over group rings
• Counterexamples in topology
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Handbook of Spatial Logics
• Polynomial rings and weak second-order logic
• The expressive power of first-order topological languages
• The monadic theory of order
• Undecidability of Some Topological Theories
• Undecidable Rings
• Undecidable theories

Cited in

(5)

• Defining integer-valued functions in rings of continuous definable functions over a topological field
• First order theories of some lattices of open sets
• scientific article; zbMATH DE number 91239 (Why is no real title available?)
• A model theoretic perspective on matrix rings
• Model completion of scaled lattices and co-Heyting algebras of \(p\)-adic semi-algebraic sets

This page was built for publication: On the strength of some topological lattices

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