Glasnik matematički, Vol. 46 No. 1, 2011.
Original scientific paper
https://doi.org/10.3336/gm.46.1.02
A note on ultraproducts of Veltman models
Mladen Vuković
orcid.org/0000-0002-3829-9859
; Department of Mathematics, University of Zagreb, 10 000 Zagreb, Croatia
Abstract
We consider ultraproducts of Veltman models, and show that a version of Łos theorem is true.
Keywords
Interpretability logic; Veltman models; ultraproducts
Hrčak ID:
68858
URI
Publication date:
13.6.2011.
Visits: 1.043 *