Infinite Forcing for Boolean valued Models

@article{GeorgeLoullis1978,
author = {George Loullis},
journal = {Δελτίο της Ελληνικής Μαθηματικής Εταιρίας},
keywords = {Boolean-valued models; forcing in an elementary topos; infinite model theoretic forcing; topoi of Boolean valued sets},
language = {eng},
number = {19B},
pages = {155-182},
title = {Infinite Forcing for Boolean valued Models},
url = {http://eudml.org/doc/239014},
volume = {19},
year = {1978},
}

TY - JOUR
AU - George Loullis
TI - Infinite Forcing for Boolean valued Models
JO - Δελτίο της Ελληνικής Μαθηματικής Εταιρίας
PY - 1978
VL - 19
IS - 19B
SP - 155
EP - 182
LA - eng
KW - Boolean-valued models; forcing in an elementary topos; infinite model theoretic forcing; topoi of Boolean valued sets
UR - http://eudml.org/doc/239014
ER -