精密化では不確定性は解消しない：再同定による回復の構造特徴付け

本稿は、記述の精密化によっても解消されない不確定性の形式的条件を与える。 入力記述写像と評価関係からなる評価構造を定め、値の排除のみを許す拡張の下で決定が成立しない状態を停止と定義する。 停止は支持集合族に対する Hall 条件の失敗として特徴付けられ、任意の許容精密化においても決定が回復しないことを示す。 したがって停止の解消は入力同一性の変更に限られる。 この結果から、不確定性には情報不足とは独立に同一性構造に由来する型が存在し、対象の成立条件は同一性を前提せず評価構造から特徴付けられる。