RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2013 Volume 10, Pages 38–40 (Mi semr392)

Mathematical logic, algebra and number theory

On the independence property and atomic formulas

K. Zh. Kudaibergenov

Department of General Education, KIMEP, Almaty

Abstract: It is proved that there exists a theory with the independence property the atomic formulas of which do not have the independence property.

Keywords: the independence property.

UDC: 510.67

MSC: 03C45

Received April 18, 2012, published January 21, 2013



© Steklov Math. Inst. of RAS, 2024