scientific article; zbMATH DE number 3924775

MaRDI QIDQ3699689zbMATH OpenFDO

Authors Mariko Yasugi

Publication date 1985

zbMATH Keywords

compactnessdefinability in analysisdefinable comprehensiondefinitions by definable inductionelementary topologyrelative soundness

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Generalities in topology (54A99)

Recommendations

• scientific article; zbMATH DE number 41225
• scientific article; zbMATH DE number 1537947
• scientific article; zbMATH DE number 2154581
• scientific article; zbMATH DE number 3933070
• Topological reasoning and the logic of knowledge
• Topology, connectedness, and modal logic
• scientific article; zbMATH DE number 949397
• Topological separation principles and logical theories
• Elementary computable topology
• scientific article; zbMATH DE number 130897

Cited in

(6)

• Effective topological spaces. I: A definability theory
• Determinability of semirings of continuous nonnegative functions with max-plus by the lattices of their subalgebras
• scientific article; zbMATH DE number 5610455 (Why is no real title available?)
• The topology of justification
• scientific article; zbMATH DE number 3967423 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)

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