Two notes on formalized topology

DOI10.4064/FM-107-2-145-148zbMATH Open0362.54004OpenAlexW758799694MaRDI QIDQ4136157FDOQ4136157

Yuri Gurevich

Publication date: 1980

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211112

zbMATH Keywords

first order topological model theorymonadic second-order theory of a topological space

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Generalities in topology (54A99) Model theory (03C99)

This page was built for publication: Two notes on formalized topology

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