[formula omitted] and induction principles in model theory

Autor: Belanger, David R.
Zdroj: In Annals of Pure and Applied Logic July-August 2015 166(7-8):767-799
Databáze: ScienceDirect