scientific article; zbMATH DE number 3813598

MaRDI QIDQ3661557zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 1982

zbMATH Keywords

Ehrenfeucht-Fraisse gamesseparable 0-dimensional metric spacethe first-order theory of a topological space

Mathematics Subject Classification ID

Several topologies on one set (change of topology, comparison of topologies, lattices of topologies) (54A10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited in

(3)

• A uniform method for proving lower bounds on the computational complexity of logical theories
• Composition over the natural number ordering with an extra binary relation
• Moderate families in Boolean algebras

This page was built for publication:

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