Pages that link to "Item:Q1812980"
From MaRDI portal
The following pages link to Quantifier elimination for infinite terms (Q1812980):
Displaying 5 items.
- Finite notations for infinite terms (Q1295405) (← links)
- \(\Sigma_ 1^ 1\)-completeness of a fragment of the theory of trees with subtree relation (Q1893143) (← links)
- Disquotation and infinite conjunctions (Q1990931) (← links)
- Theorem Proving in Higher Order Logics (Q5464659) (← links)
- (Q5552145) (← links)