Categorical theories of a function

DOI10.1007/BF01366918MaRDI QIDQ2553358zbMATH OpenFDO

Authors Yu. E. Shishmarev

Publication date 1972

Published in Mathematical Notes (Search for Journal in Brave)

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)

Cites work

• scientific article; zbMATH DE number 3183991 (Why is no real title available?)
• An application of games to the completeness problem for formalized theories

Cited in

(2)

• Recursive unary algebras and trees
• On algebras of distributions of binary formulas for theories of unars

This page was built for publication: Categorical theories of a function

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