Kinds of preservations for properties
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916971336957952 |
|---|---|
| author | Rajabov, Temurboy E. Sudoplatov, Sergey V. |
| author_facet | Rajabov, Temurboy E. Sudoplatov, Sergey V. |
| contents | We study possibilities of preservations for properties, their links and related connections between semantic and syntactic ones, both in general and as characterizations for subalgebras, congruence relations, Henkin construction, Tarski-Vaught test, some graphs, and graded structures. Traces for types and related objects are studied, too. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_21876 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Kinds of preservations for properties Rajabov, Temurboy E. Sudoplatov, Sergey V. Logic 03C30, 03C50 We study possibilities of preservations for properties, their links and related connections between semantic and syntactic ones, both in general and as characterizations for subalgebras, congruence relations, Henkin construction, Tarski-Vaught test, some graphs, and graded structures. Traces for types and related objects are studied, too. |
| title | Kinds of preservations for properties |
| topic | Logic 03C30, 03C50 |
| url | https://arxiv.org/abs/2509.21876 |