scientific article; zbMATH DE number 519815

MaRDI QIDQ4283634zbMATH OpenFDO

Authors Wanjun Hu

Publication date 28 August 1994

zbMATH Keywords

Hausdorff separation axiomstable theoriestopological structure on model of first-order logic

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory (03C99) Lower separation axioms ((T_0)--(T_3), etc.) (54D10)

Recommendations

• First order topological structures and theories
• Stability theory for topological logic, with applications to topological modules
• scientific article; zbMATH DE number 1163937
• scientific article; zbMATH DE number 761285
• A generalization of abstract model theory

Cited in

(25)

• Elementary extensions of topological models in \(L_ t\) language
• Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps
• Topological models for classical configurations
• Topologies of pointwise convergence in the first order languages and in affine spaces
• The Chang-Łoś-Suszko theorem in a topological setting
• Two applications of topology to model theory
• The indiscernible topology: A mock Zariski topology
• Stability theory for topological logic, with applications to topological modules
• scientific article; zbMATH DE number 5862929 (Why is no real title available?)
• scientific article; zbMATH DE number 3855060 (Why is no real title available?)
• Some local definability results on countable topological structures
• Taxonomies of model-theoretically defined topological properties
• scientific article; zbMATH DE number 3933987 (Why is no real title available?)
• First order topological structures and theories
• scientific article; zbMATH DE number 1163936 (Why is no real title available?)
• scientific article; zbMATH DE number 1163937 (Why is no real title available?)
• scientific article; zbMATH DE number 1180548 (Why is no real title available?)
• scientific article; zbMATH DE number 1907123 (Why is no real title available?)
• scientific article; zbMATH DE number 2119963 (Why is no real title available?)
• On topological form in structures
• An arithmetical view to first-order logic
• Modelltheorie - topologische Modelltheorie
• A topological characterization of (,)^*-compactness
• Completeness theorem for topological class models
• The axiomatizability of topological prevarieties

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 Q4283634)