On the strength of some topological lattices

DOI10.1090/CONM/697/14060zbMATH Open1437.03133arXiv1609.07519OpenAlexW2527378594MaRDI QIDQ4635374FDOQ4635374

Authors: Marcus Tressl 

Publication date: 16 April 2018

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

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'.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Undecidable theories
• Counterexamples in topology
• Title not available (Why is that?)
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Handbook of Spatial Logics
• Undecidability of Some Topological Theories
• The monadic theory of order
• Undecidable Rings
• Title not available (Why is that?)
• The expressive power of first-order topological languages
• Polynomial rings and weak second-order logic
• An undecidability theorem for lattices over group rings

Cited In (4)

• Defining integer-valued functions in rings of continuous definable functions over a topological field
• Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets
• Title not available (Why is that?)
• A model theoretic perspective on matrix rings

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)