Bo Sea Pearl class roll-on/roll-off ship (current) Mackey–Arens theorem International Radiotelegraph Convention (1906) Philosophical logic Arthur T. Benjamin Minkowski's theorem Civil Service of the Republic of Ireland Ursa Major (constellation)