Categorical theories of a function

DOI10.1007/BF01366918zbMATH Open0241.02016MaRDI QIDQ2553358FDOQ2553358

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

• An application of games to the completeness problem for formalized theories
• Title not available (Why is that?)

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)