Axiomatization of local-global principles for pp-formulas in spaces of orderings

From MaRDI portal
Publication:1765103