Pages that link to "Item:Q4729777"
From MaRDI portal
The following pages link to The Logically Simplest Form of the Infinity Axiom (Q4729777):
Displaying 5 items.
- The automation of syllogistic. II: Optimization and complexity issues (Q1813824) (← links)
- Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate (Q2252530) (← links)
- The Bernays-Schönfinkel-Ramsey class for set theory: decidability (Q2915897) (← links)
- Set-syllogistics meet combinatorics (Q2971068) (← links)
- Witnessing differences without redundancies (Q4332986) (← links)
