Indiscernible Extraction in Theories with Bounded $k$-splitting JTND2BM263
| URI | m2://res/JTND2BM263 |
|---|---|
| Kind | preprint |
| Creators | Connor Watson |
| Date | 2026-10-15 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-15 |
| Ids | arXiv 2610.22002 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 52CS5TRWHF | definition | definition 1.2 | arxiv |
| 9A5MQYVBWY | statement | theorem 3.1 | arxiv |
| Shelah | statement | fact 1.1 | arxiv |
| A8JA5YCF30 | statement | lemma 4.3 | arxiv |
| AW48NMD5KV | statement | theorem 4.4 | arxiv |
| CF6QEG02AM | statement | theorem 2.1 | arxiv |
| D0B9A8RAM7 | statement | corollary 2.8 | arxiv |
| FHFHA8Q3ER | statement | theorem 0.2 | arxiv |
| G3RZKF96RD | statement | theorem 2.6 | arxiv |
| KY0TDCE7EW | statement | fact 1.4 | arxiv |
| N9JQYC3NJ7 | definition | definition 1.3 | arxiv |
| NW4N84RS0Y | statement | lemma 2.3 | arxiv |
| PS3X7CR2J5 | statement | fact 4.2 | arxiv |
| R7G1NRA0BS | statement | fact 2.2 | arxiv |
| S8QK0VPB56 | statement | lemma 2.5 | arxiv |
| VD72SKT86X | statement | lemma 2.4 | arxiv |
| X1KHKB70M3 | statement | fact 4.1 | arxiv |
| Hanson | statement | theorem 0.1 | arxiv |
| YVFY4CYAN6 | statement | lemma 2.7 | arxiv |
Catalogue records
- arxiv: 2610.22002 (work)
- arxiv_text: 2610.22002 (work)