AN INTUITIONISTIC THEORY OF LAWLIKE, CHOICE AND LAWLESS SEQUENCES

摘要

In [12] we defined an extensional notion of relative lawlessness and gave a classical model for a theory of lawlike, arbitrary choice, and lawless sequences. Here we introduce a corresponding intuitionistic theory and give a realizability interpretation for it. Like the earlier classical model, this realizability model depends on the (classically consistent) set theoretic assumption that a particular Δ21 well ordered subclass of Baire space is countable.