scientific article; zbMATH DE number 3110189

MaRDI QIDQ5848893zbMATH OpenFDO

Authors V. A. Uspenskiĭ

Publication date 1955

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(7)

• Computably separable models
• Topological spaces over algorithmic representations of universal algebras
• Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)
• PA RELATIVE TO AN ENUMERATION ORACLE
• Separable algorithmic representations of classical systems and their applications
• Finite logical specifications of effectively separable data models
• Remarks and problems about algorithmic descriptions of groups

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