scientific article
From MaRDI portal
Publication:3754621
zbMath0618.03035MaRDI QIDQ3754621
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
countable modelinitial segmentbounded inductiondefinable ultrafiltersmodels of bounded arithmeticn-extendiblen-Ramsey
Related Items (2)
Automorphisms of models of arithmetic: a unified view ⋮ On some formalized conservation results in arithmetic
This page was built for publication: