An alternative proof of the ultralimits theorem.
Revista Colombiana de Matemáticas (2009)
- Volume: 43, Issue: 2, page 115-138
- ISSN: 0034-7426
Access Full Article
top
How to cite
topForero Cuervo, Andrés. "An alternative proof of the ultralimits theorem.." Revista Colombiana de Matemáticas 43.2 (2009): 115-138. <http://eudml.org/doc/228519>.
@article{ForeroCuervo2009,
author = {Forero Cuervo, Andrés},
journal = {Revista Colombiana de Matemáticas},
keywords = {ultrapowers; intuitionism; ultralimits theorem; generic constant models; limits of Kripke models},
language = {eng},
number = {2},
pages = {115-138},
publisher = {Sociedad Colombiana de Matemáticas},
title = {An alternative proof of the ultralimits theorem.},
url = {http://eudml.org/doc/228519},
volume = {43},
year = {2009},
}
TY - JOUR
AU - Forero Cuervo, Andrés
TI - An alternative proof of the ultralimits theorem.
JO - Revista Colombiana de Matemáticas
PY - 2009
PB - Sociedad Colombiana de Matemáticas
VL - 43
IS - 2
SP - 115
EP - 138
LA - eng
KW - ultrapowers; intuitionism; ultralimits theorem; generic constant models; limits of Kripke models
UR - http://eudml.org/doc/228519
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.