论文信息 - A Fractal which violates the Axiom of Determinacy

A Fractal which violates the Axiom of Determinacy

By use of the axiom of choice I construct a symmetrical and self-similar subset A \subseteq [0,1] \subseteq R. Then by an elementary strategy stealing argument it is shown that A is not determined. The (possible) existence of fractals like A clarifies the status of the controversial Axiom of Determinacy.

Søren Riis

[1] Glynn Winskel,et al. Petri Nets and Bisimulations , 1994 .

[2] Allan Cheng,et al. Local Model Checking and Traces , 1994 .

[3] Peter D. Mosses,et al. An Action Semantics for ML Concurrency Primitives , 1994, FME.

[4] Nils Klarlund. The Limit View of Infinite Computations , 1994 .

[5] Lars Arge,et al. External-Storage Data Structures for Plane-Sweep Algorithms , 1994 .

[6] Arne Skou,et al. Automatic Verification of Real-Timed Systems Using , 1994 .

[7] Søren Riis. Finitisation in Bounded Arithmetic , 1994 .

[8] R. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable* , 1970 .

[9] Sten Agerholm. LCF Examples in HOL , 1994 .

[10] J. Mycielski. On the axiom of determinateness , 1964 .