О МИНИМАЛЬНЫХ С ТОЧНОСТЬЮ ДО СТРУКТУРАХ
| dc.contributor.author | В.В. Вербовский | |
| dc.date.accessioned | 2023-10-30T05:33:58Z | |
| dc.date.available | 2023-10-30T05:33:58Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | Аннотация. Известно, что о-минимальность эквивалентна тому, что каждое сечение имеет единственное расширение до полного типа над рассматриваемой структурой. То есть то, что любая формула от одной свободной переменной эквивалентна булевой комбинации равенств и неравенств, эквивалентно тому, что каждое сечение, которое так же является и полным -типом, где , имеет единственное расширение до полного типа. Как было доказано Б. Кулпешовым, любое сечение в слабо оминимальной структуре может иметь максимум два расширения до полных типов, причем множества всех реализаций этих типов являются выпуклыми в любых элементарных расширениях. В статье дается обобщение этого факта — модель минимальна с точностью до тогда и только тогда, когда любое формульное подмножество декартовой степени является булевой комбинацией формул вида. | |
| dc.identifier.citation | В.В. Вербовский / О МИНИМАЛЬНЫХ С ТОЧНОСТЬЮ ДО СТРУКТУРАХ / СДУ хабаршысы - 2017 | |
| dc.identifier.issn | 2415-8135 | |
| dc.identifier.uri | https://repository.sdu.edu.kz/handle/123456789/629 | |
| dc.language.iso | other | |
| dc.publisher | СДУ хабаршысы - 2017 | |
| dc.subject | Математическая логика, теория моделей, оминимальность, частичный тип. | |
| dc.subject | СДУ хабаршысы - 2017 | |
| dc.subject | №4 | |
| dc.title | О МИНИМАЛЬНЫХ С ТОЧНОСТЬЮ ДО СТРУКТУРАХ | |
| dc.type | Article | |
| dspace.entity.type |