Publication:3677761
From MaRDI portal
zbMath0564.03045MaRDI QIDQ3677761
Publication date: 1984
03F30: First-order arithmetic and fragments
03C50: Models with special properties (saturated, rigid, etc.)
zbMath0564.03045MaRDI QIDQ3677761
Publication date: 1984
03F30: First-order arithmetic and fragments
03C50: Models with special properties (saturated, rigid, etc.)