scientific article; zbMATH DE number 3813598

zbMATH Open0515.03019MaRDI QIDQ3661557FDOQ3661557

Yuri Gurevich

Publication date: 1982

Title of this publication is not available (Why is that?)

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)