Pages that link to "Item:Q2452679"
From MaRDI portal
The following pages link to Combinatorial unprovability proofs and their model-theoretic counterparts (Q2452679):
Displaying 5 items.
- Combinatorial versus decision-theoretic components of impossibility theorems (Q1915820) (← links)
- A simple combinatorial proof for the small model property of two-variable logic (Q2032164) (← links)
- (Q4011245) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- (Q5711939) (← links)