Abstract

Понятие категоричности было введено в начале нынешнего столетия, чтобы охарактеризовать теории имеющие по замыслу своих основателей одну и только одну модель. Дальнейшее развитие металогических исследований касающихся моделей привело к наблюдению, что каждая математическая теория описывающая определенную бесконечную модель описывает в то же время много других моделей с ней не изоморфных. Таким образом первоначальное понятие категоричности потеряло отчасти свое значение. Вместо того появились исследования имеющие целью некоторую модификацию этого понятия. Настоящая работа обсуждает разные виды понятия категоричности, известные из логической литературы и предлагает некоторые новые