On an open problem of Amadio and Curien: The finite antichain condition

Abstract

More than a dozen years ago, Amadio [1] (see Amadio and Curien [2] as well) raised the question of whether the category of stable bifinite domains of Amadio-Droste [1,6,7] is the largest cartesian closed full sub-category of the category of ω-algebraic meet-cpos with stable functions. A solution to this problem has two major steps: (1) Show that for any… (More)
DOI: 10.1016/j.ic.2005.06.001

4 Figures and Tables