Transference theorems and intuitionistic set theory
From MaRDI portal
Publication:1595703
zbMath0958.03040MaRDI QIDQ1595703
Publication date: 13 February 2001
Published in: Doklady Mathematics (Search for Journal in Brave)
Infinite-dimensional and general division rings (16K40) Connections between field theory and logic (12L99) Nonclassical and second-order set theories (03E70) Ordered rings, algebras, modules (06F25) Intuitionistic mathematics (03F55) von Neumann regular rings and generalizations (associative algebraic aspects) (16E50) Ordered fields (12J15) Applications of logic in associative algebras (16B70)
This page was built for publication: Transference theorems and intuitionistic set theory
