Mendoza Magaña, Carlos Alberto
(Universidad Michoacana de San Nicolás de Hidalgo, 2014-07)
We’ll build ultrapowers of natural numbers with ultrafilters over countable sets, equip them with a structure to interpret the saturated arithmetic’s language, then analyze the conditions for the existence of an elementary ...