scientific article
From MaRDI portal
Publication:3691675
zbMath0574.03053MaRDI QIDQ3691675
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
collectioninductionultrafiltermodels of arithmeticRamsey's theoremlow basis theoremfast growing Ramsey functions
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Ultraproducts and related constructions (03C20)
Related Items