Generalized Quantifiers: Scope Dominance and Branching E8FP48FJMZ
| URI | m2://res/E8FP48FJMZ |
|---|---|
| Kind | preprint |
| Creators | Fredrik Engström |
| Date | 2026-09-25 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-25 |
| Ids | arXiv 2609.31243 |
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 |
|---|---|---|---|
| 4G42YAVXSG | statement | proposition 2.3 | arxiv |
| 5BAM6PN672 | statement | lemma 4.4 | arxiv |
| 6JEK120Z3A | definition | definition 2.1 | arxiv |
| 8ZTZMWHKRH | statement | theorem 7.2 | arxiv |
| A29WEDAE81 | statement | theorem 8.3 | arxiv |
| BPDEPVAHMP | statement | corollary 5.2 | arxiv |
| CDJJPH0KQ4 | definition | definition 2.2 | arxiv |
| DG4JDBE6XT | example | example 4.7 | arxiv |
| G4REVTYQB1 | statement | lemma 7.1 | arxiv |
| Goldberg | statement | theorem 3.1 | arxiv |
| KPMBE90CRD | statement | proposition 4.6 | arxiv |
| NYVPHB2X5H | statement | theorem 6.1 | arxiv |
| PD37QJBS6X | problem | problem 2.5 | arxiv |
| QW5V0T7RP3 | statement | corollary 8.4 | arxiv |
| SWCQ3D1QA2 | statement | theorem 8.2 | arxiv |
| T8FZ3J0145 | statement | lemma 4.2 | arxiv |
| TNXJ2MN6BA | definition | definition 4.1 | arxiv |
| X6DBS4FBGS | statement | lemma 4.3 | arxiv |
| X7GW5NPBRS | statement | proposition 2.4 | arxiv |
| GCH | statement | corollary 3.2 | arxiv |
| XM0AZCZRWC | statement | proposition 4.5 | arxiv |
| XNF05B5AVJ | statement | lemma 8.1 | arxiv |
| YZ9MBSXKNP | statement | theorem 5.1 | arxiv |
Catalogue records
- arxiv: 2609.31243 (work)
- arxiv_text: 2609.31243 (work)