Publication:3870874
From MaRDI portal
zbMath0433.03015MaRDI QIDQ3870874
Publication date: 1977
03C15: Model theory of denumerable and separable structures
11U99: Connections of number theory and logic
Related Items
Independence results in computer science?, Correction to: Each regular number structure is biregular