Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings

DOI10.1007/BF02018738zbMath0803.03034OpenAlexW2013831160MaRDI QIDQ2366364

Vassily Lyubetsky

Publication date: 29 June 1993

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187588

zbMATH Keywords

deducibilityprimitive recursive functionclassical Zermelo-Fraenkel set theoryintuitionistic set theoriesproperties of the language of ring theory

Mathematics Subject Classification ID

Applications of set theory (03E75) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Applications of logic in associative algebras (16B70)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings