数理論理学（数学基礎論）　その14

317 ：１３２人目の素数さん：2021/05/21(金) 01:08:31.80 ID:i7zfJXgh.net

質問

竹内外史、Axiomatic set theory　60ページの定理6.4
b_i = Σ_{a∈A_i} b_{i,a}とかあるけど、
A_iは一体何？
Lの閉論理式Φについて、[[Φ]]を計算する過程で∀xψという部分論理式に対して、[[∀xψ]]を計算する時の話のことなんだろうけど、
定義上、この時はΠの添字は既述のB値構造Aだと思うんだが？
なぜ、一々A_iという新たなB値構造（？）が登場しているんだ？

分かる人教えて下さい