scientific article

zbMath0473.03052MaRDI QIDQ3927242

Alexander Esenin-Volpin

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

finite modelsontologicalfragments of logical systems dealing with infinite processessemiconsistent

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items

On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, STRICT FINITISM, FEASIBILITY, AND THE SORITES, A theory of hyperfinite sets, Formal frameworks for approximate reasoning