Binary refinement implies discrete exponentiation
From MaRDI portal
Publication:861570
DOI10.1007/s11225-006-9014-9zbMath1112.03048OpenAlexW2100453004WikidataQ61835220 ScholiaQ61835220MaRDI QIDQ861570
Erik Palmgren, Peter Aczel, Hajime Ishihara, Laura Crosilla, Peter M. Schuster
Publication date: 29 January 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-9014-9
Related Items
Are there enough injective sets? ⋮ The Jacobson radical for an inconsistency predicate ⋮ The shrinking principle and the axiom of choice ⋮ Refinement is equivalent to Fullness ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Problems, solutions, and completions
Cites Work