Form equivalence class Howard-Rubin Number: 43
Statement: The ultraproduct of a well founded structure by acountably complete ultrafilter is well founded. Spector [1980]and Note 54.
Howard-Rubin number: 43 P
Citations (articles):
Connections (notes):
References (books):
Back