Problem of the number of non-self-equivalent constructivizations-Reference-Cited by-同舟云学术

Problem of the number of non-self-equivalent constructivizations

Published:1980-11 Issue:6 Volume:19 Page:401-414
ISSN:0002-5232
Container-title:Algebra and Logic
language:en
Short-container-title:Algebra and Logic

Author:

Goncharov S. S.

Publisher

Springer Science and Business Media LLC

Subject

Logic,Analysis

Link

http://link.springer.com/content/pdf/10.1007/BF01669323.pdf

Reference16 articles.

1. I. Bucur and A. Deleanu, Introduction to the Theory of Categories and Functors, Wiley-Interscience, New York (1968).

2. S. S. Goncharov, "Self-stability and computable Families of constructivizations," Algebra Logika,14, No. 6, 647–680 (1975).

3. S. S. Goncharov, "On the number of non-self-equivalent constructivizations," Algebra Logika,16, No. 3, 257–263 (1977).

4. S. S. Goncharov, "Non-self-equivalent constructivizations of Boolean algebras," Mat. Zametki,19, No. 6, 853–858 (1976).

5. V. P. Dobritsa, "On recursively enumerable classes of constructive extensions and self-stability of algebras," Sib. Mat. Zh.,16, No. 6, 1148–1156 (1975).

Cited by 77 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Σ-presentations of the additive group of the real numbers;Mathematics and Theoretical Computer Science;2024-04-15

2. Structures of Finite Punctual Dimension $$n>2$$;Lecture Notes in Computer Science;2024

3. Decidable Categoricity Spectra for Almost Prime Models;Algebra and Logic;2023-09

4. A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences;Notre Dame Journal of Formal Logic;2023-05-01

5. Computable Heyting Algebras with Distinguished Atoms and Coatoms;Journal of Logic, Language and Information;2022-07-27