Reference16 articles.
1. A solution to identities problem in 2-element HSI-algebras
2. A note on HSI-algebra of cardinal numbers and on 3-element models of exponentiation. Submitted to Notes of Scientific Seminars of St. Petersburg.
3. Generalized arithmetic
4. SMALL MODELS OF THE HIGH SCHOOL IDENTITIES
5. The saga of the High School Identities
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Axioms and decidability for type isomorphism in the presence of sums;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14