Model-theoretic conservative extension for definitional theories

From MaRDI portal
Publication:2333319