Order of the British Empire | Order of Australia | Law & Order | Order of the Bath | Order of St Michael and St George | Dominican Order | Royal Victorian Order | Law & Order: Special Victims Unit | Distinguished Service Order | Order of Canada | Order of the Garter | New Order | Order of Saint Benedict | Order of Friars Minor Capuchin | Order of the Crown of Italy | order | Independent Order of Odd Fellows | Royal Guelphic Order | Law & Order: Criminal Intent | Order of St. Olav | Order of St. Gregory the Great | Venerable Order of Saint John | Order of the Star of India | Corinthian order | Order of the Indian Empire | Order of the Rising Sun | Order of St. Anna | Order of the Polar Star | Order of the Golden Fleece | Order in Council |
Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.