Pages that link to "Item:Q598285"
From MaRDI portal
The following pages link to Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285):
Displaying 4 items.
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints (Q2841258) (← links)
- (Q3476809) (← links)
- Preservation theorems in finite model theory (Q6064296) (← links)