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 |
Büchi arithmetic of base k is the first-order theory of the natural numbers with addition and the function which is defined as the bigger power of k dividing x, named in honor of the Swiss mathematician Julius Richard Büchi.
Lacroix and Pirotte proposed domain calculus, which is closer to first-order logic and which showed that both of these calculi (as well as relational algebra) are equivalent in expressive power.