zbMath0564.26006MaRDI QIDQ3677954
A. I. Tokarenko
Publication date: 1984
zbMATH Keywords
nonstandard modelscompactness theoremconcurrent relations
Mathematics Subject Classification ID
Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)