The effective content of surreal algebra
From MaRDI portal
Publication:4212906
DOI10.2307/2586835zbMath0911.03019OpenAlexW2016478900MaRDI QIDQ4212906
Publication date: 27 April 1999
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586835
Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (1)
Cites Work
This page was built for publication: The effective content of surreal algebra