Objective number theory and the retract chain condition
From MaRDI portal
Publication:1588080
DOI10.1016/S0022-4049(99)00185-1zbMath0969.18002OpenAlexW2030760871MaRDI QIDQ1588080
Publication date: 1 May 2001
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0022-4049(99)00185-1
Related Items
Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category, Remarks on isomorphisms in typed lambda calculi with empty and sum types