The given

DOI10.1007/BF00370340zbMath0536.03024OpenAlexW4245578743MaRDI QIDQ791521

John N. Crossley

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370340

zbMATH Keywords

setscharacterizationsalgebraic structureseffective algebraformal presentations

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Recursive categoricity and recursive stability

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