scientific article; zbMATH DE number 3967423

MaRDI QIDQ3733772zbMATH OpenFDO

Authors Mariko Yasugi

Publication date 1984

zbMATH Keywords

compactnessdefinitions by definable inductiondefinable interpretationsmetric separabilityuniform closure of an algebra of continuous functions

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Other constructive mathematics (03F65) Generalities in topology (54A99) Inductive definability (03D70)

Recommendations

• scientific article; zbMATH DE number 3924775
• Publication:3035281
• Effective topological spaces. I: A definability theory
• Compactness in metric spaces
• scientific article; zbMATH DE number 6984345

Cited in

(5)

• An approximate Herbrand's theorem and definable functions in metric structures
• Interpreting the C -metric
• scientific article; zbMATH DE number 5667216 (Why is no real title available?)
• Recursively defined metric spaces without contraction
• scientific article; zbMATH DE number 4134040 (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 Q3733772)