The collapse theorem for theories ofI-reducible algebraic systems

DOI10.1070/IM2004v068n05ABEH000503zbMath1080.03021OpenAlexW1988863152MaRDI QIDQ4674660

Sergey M. Dudakov

Publication date: 17 May 2005

Published in: Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/im2004v068n05abeh000503

zbMATH Keywords

locally generic queryPresburger arithmetictranslation theorem\(I\)-reducible algebraic system

Mathematics Subject Classification ID

Logic in computer science (03B70) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Model theory of ordered structures; o-minimality (03C64)

Related Items (2)

On inflationary fix-point operators safety ⋮ Pseudofinite homogeneity, isolation, and reducibility

This page was built for publication: The collapse theorem for theories ofI-reducible algebraic systems