The following pages link to Unrecognizability of manifolds (Q2498916):
Displaying 5 items.
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Fans, decision problems and generators of free abelian \(\ell\)-groups (Q1683673) (← links)
- Frontiers of sphere recognition in practice (Q2098099) (← links)
- Complete and computable orbit invariants in the geometry of the affine group over the integers (Q2196663) (← links)
- PL Morse theory in low dimensions (Q2684910) (← links)