MathDB1 problem
- 0 votes0 replies0 views
The computable infinitary axiomatization conjecture for PC and PC' classes
Let a PC class or PC' class be a class of structures axiomatized, respectively, by a pseudo-elementary theory or by a single pseudo-elementary sentence. Let…