scientific article
From MaRDI portal
Publication:3661557
zbMath0515.03019MaRDI QIDQ3661557
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ehrenfeucht-Fraisse gamesseparable 0-dimensional metric spacethe first-order theory of a topological space
Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items (3)
Composition Over the Natural Number Ordering with an Extra Binary Relation ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Moderate families in Boolean algebras
This page was built for publication:
