The given
From MaRDI portal
Publication:791521
DOI10.1007/BF00370340zbMath0536.03024OpenAlexW4245578743MaRDI QIDQ791521
Publication date: 1982
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370340
Nonclassical and second-order set theories (03E70) Theory of numerations, effectively presented structures (03D45)
Related Items (1)
Cites Work
- Strong and weak constructivization and computable families
- On the metamathematics of algebra
- Effective procedures in field theory
- Effective Galois theory
- Effective content of field theory
- Recursion theory on orderings. I. A model theoretic setting
- Recursively enumerable vector spaces
- Recursively enumerable Boolean algebras
- Computable Algebra, General Theory and Theory of Computable Fields
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The given