Abstract
Some questions connected with the carry over of fundamental group theory to constructive mathematics, and with the relationship between classical and constructive group theories are considered herein. All the considerations are carried out within the scope of constructive mathematics.
The main results of this note were presented to the Leningrad Seminar on Constructive Mathematics on October 28, 1966.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literature Cited
Moschovakis, Y. N., “Notation systems and recursive ordered fields,” Compositio Math. 17(1): 40–71 (1965).
Rabin, M. O., “Computable algebra, general theory and theory of computable fields,” Trans. Am. Math. Soc., 95(2):341–360 (1960).
Shanin, N. A., “Constructive real numbers and constructive functional spaces,” Trudy Steklov Mat Inst. Akad. Nauk SSSR, 67:15–294 (1962).
Shanin, N. A., “On constructive comprehension of mathematical judgments,” Trudy Steklov Mat. Inst. Akad. Nauk SSSR, 52:226–311 (1958).
Editor information
Rights and permissions
Copyright information
© 1969 Consultants Bureau
About this chapter
Cite this chapter
Lifshits, V.A. (1969). On Constructive Groups. In: Slisenko, A.O. (eds) Studies in Constructive Mathematics and Mathematical Logic. Seminars in Mathematics, vol 4. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-8968-2_9
Download citation
DOI: https://doi.org/10.1007/978-1-4684-8968-2_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-8970-5
Online ISBN: 978-1-4684-8968-2
eBook Packages: Springer Book Archive