A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures 813JGZV08G
| URI | m2://res/813JGZV08G |
|---|---|
| Kind | preprint |
| Creators | Steffen van Bergerem, Martin Grohe, Charlotte Lenz, Nicole Schweikardt |
| Date | 2026-09-29 |
| MSC | 03-XX |
| Subjects | arxiv cs.LO, arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-29 |
| Ids | arXiv 2609.37337 |
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 |
|---|---|---|---|
| Grohe, Kreutzer, and Siebertz | statement | theorem E.1 | arxiv |
| 5HNF9A4HVZ | statement | theorem 5.1 | arxiv |
| 5Z22FQY689 | statement | lemma E.2 | arxiv |
| 67MV2HBXG0 | statement | theorem 5.3 | arxiv |
| 72JMJT45TP | statement | lemma 3.3 | arxiv |
| 7WWJSTK88Z | example | example 4.3 | arxiv |
| 8G7HA2NVMW | statement | lemma B.1 | arxiv |
| 9H5YYK3G1D | statement | corollary E.7 | arxiv |
| B6ADXEQHQB | statement | lemma C.2 | arxiv |
| E6B0JSHQRZ | statement | lemma E.4 | arxiv |
| FZW7D12YVF | statement | lemma 5.4 | arxiv |
| J5BJH20HGQ | example | example 6.1 | arxiv |
| JRABCR3E6M | statement | corollary 7.2 | arxiv |
| KB4QCM5GFB | statement | lemma D.3 | arxiv |
| KC0DA9BATE | definition | definition C.1 | arxiv |
| NGAVTWM1D1 | statement | lemma 5.2 | arxiv |
| R8H7FM41Z3 | statement | corollary 7.1 | arxiv |
| RV898TCN7P | example | example 4.2 | arxiv |
| TCCAJDJF95 | statement | lemma D.1 | arxiv |
| VEA87941W6 | example | example 4.4 | arxiv |
| Removal Lemma | statement | lemma E.6 | arxiv |
| YTJ5T4760J | example | example 3.2 | arxiv |
| Gaifman | statement | theorem 3.1 | arxiv |
| YZ0NBY3N3T | statement | lemma A.1 | arxiv |
| Z39ZNP4JXQ | statement | lemma E.8 | arxiv |
| ZD3KCN8P7T | example | example 4.1 | arxiv |
| ZQD25ZS1M8 | statement | lemma E.5 | arxiv |
Catalogue records
- arxiv: 2609.37337 (work)
- arxiv_text: 2609.37337 (work)