scientific article

zbMath0785.03023MaRDI QIDQ4026932

Mikhaĭl G. Peretyat'kin

Publication date: 21 February 1993

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

zbMATH Keywords

expressive possibilities of finitely axiomatizable theories

Mathematics Subject Classification ID

Models of other mathematical theories (03C65)

Related Items (1)

Analogues of Rice's theorem for semantic classes of propositions

This page was built for publication: