Base-free formulas in the lattice-theoretic study of compacta

DOI10.1007/S00153-011-0230-2zbMath1220.03038OpenAlexW2015704516MaRDI QIDQ634768

Paul Bankston

Publication date: 16 August 2011

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-011-0230-2

zbMATH Keywords

inverse limitscompactacontinuabase-free formulasco-existential mapsexpansive sentenceslogic over bounded latticesnormal disjunctive latticespseudo-arcs

Mathematics Subject Classification ID

Continua and generalizations (54F15) Compactness (54D30) Applications of model theory (03C98) Other infinitary logic (03C75)

Related Items (2)

The pseudoarc is a co-existentially closed continuum ⋮ On continuous images of ultra-arcs

Cites Work

• On the first-order expressibility of lattice properties related to unicoherence in continua
• The pseudo-arc
• Chainability and Hemmingsen's theorem
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• The Chang-Łoś-Suszko theorem in a topological setting
• A concrete co-existential map that is not confluent
• On confluent mappings
• Open Mappings of the Universal Curve onto Continuous Curves
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Base-free formulas in the lattice-theoretic study of compacta