The following pages link to (Q4864753):
Displayed 14 items.
- Groups of projective planes with differing numbers of point and line orbits (Q397913) (← links)
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras (Q904516) (← links)
- Axiomatizations of universal classes through infinitary logic (Q1652858) (← links)
- On the pointwise domination of a function by its maximal function (Q1660100) (← links)
- The tree alternative conjecture under the topological minor relation (Q2121772) (← links)
- Default consequence relations from topology and measure theory (Q2122773) (← links)
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties (Q3498479) (← links)
- There are exactly $\omega _1$ topological types of locally finite trees with countably many rays (Q5029032) (← links)
- Brezis-Browder Principles and Applications (Q5188749) (← links)
- On the nature of continuous physical quantities in classical and quantum mechanics (Q5935785) (← links)
- Multicriteria compensability analysis (Q5943567) (← links)
- Verbal covering properties of topological spaces (Q5963966) (← links)
- A proof of the tree alternative conjecture under the topological minor relation (Q6051052) (← links)