Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Categorical theories of a function

From MaRDI portal
Publication:2553358
Jump to:navigation, search

DOI10.1007/BF01366918zbMATH Open0241.02016MaRDI QIDQ2553358FDOQ2553358


Authors: Yu. E. Shishmarev Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2553358&oldid=15301971"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 05:53. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki