Pages that link to "Item:Q1220926"
From MaRDI portal
The following pages link to Undecidability of the homogeneous formulas of degree 3 of the predicate calculus (Q1220926):
Displaying 4 items.
- The relational model of data and cylindric algebras (Q761801) (← links)
- On the logic of event-causation. Jaśkowski-style systems of causal logic (Q1338482) (← links)
- The equational theory of <i>CA</i><sub>3</sub> is undecidable (Q3874171) (← links)
- Provability with Finitely Many Variables (Q5619082) (← links)