Non-forking independence in stable theories
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866929540515758080 |
|---|---|
| author | Martin-Pizarro, Amador |
| author_facet | Martin-Pizarro, Amador |
| contents | We observe that a simple condition suffices to describes non-forking independence over models in a stable theory.
Under mild assumptions, this description can be extended to non-forking independence over algebraically closed subsets, without having to use the full strength of the work of the seminal work of Kim and Pillay. The results in this note (which are surely well-known among most model theorists) essentially use that types over models in a stable theory are stationary. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_09887 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Non-forking independence in stable theories Martin-Pizarro, Amador Logic 03C45 We observe that a simple condition suffices to describes non-forking independence over models in a stable theory. Under mild assumptions, this description can be extended to non-forking independence over algebraically closed subsets, without having to use the full strength of the work of the seminal work of Kim and Pillay. The results in this note (which are surely well-known among most model theorists) essentially use that types over models in a stable theory are stationary. |
| title | Non-forking independence in stable theories |
| topic | Logic 03C45 |
| url | https://arxiv.org/abs/2410.09887 |