Pages that link to "Item:Q4968237"
From MaRDI portal
The following pages link to Recursive axiomatizations for representable posets (Q4968237):
Displaying 6 items.
- Axiomatisability problems for \(S\)-posets (Q535221) (← links)
- A representation of recursively enumerable sets through Horn formulas in higher recursion theory (Q1677584) (← links)
- Axiomatizability of free \(S\)-posets (Q2451484) (← links)
- Catalan recursion on externally ordered bases of unit interval positroids (Q2668143) (← links)
- RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES (Q5015731) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473749) (← links)
