Categorical theories of a function

DOI10.1007/BF01366918zbMath0241.02016MaRDI QIDQ2553358

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)

Related Items (2)

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

Cites Work

• An application of games to the completeness problem for formalized theories
• Unnamed Item

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