Opentopia Directory Encyclopedia Tools

Encyclopedia: VOP...

Encyclopedia : V : VO : VOP (19 articles)


Vopěnka's principle
In mathematics, Vopěnka's principle, named after Petr Vopěnka, is a large cardinal axiom. Vopěnka's principle asserts that for every proper class of binary relations (with set-sized domain), there is one elementarily embeddable into another. Equivalently, for every predicate P and proper class S..
Voplex
Voplex Corporation was a company originally founded in Rochester, New York as Vogt Manufacturing and Coach Lace Company in the late 19th or early 20th century. The name was changed to Voplex, from "Vogt" and "plastic" in the 1970's, the company having been in the business of supplying custom plasti..
Voplex building
The Voplex building is a remarkable office building located in Pittsford, New York close to Interstate 490 approaching the city of Rochester, New York from the east. The name is a local one, not formally conferred on the building. Instead it refers to the fact that the building was occupied by off..
Vopli Vidopliassova
Vopli Vidopliassova is a Ukrainian musical band playing jazz, folk, hardcore, and other genres. Their song "Den Narodzhennya" is featured in both Brother movies by director Balabanov. Band member Oleh Skrypka has also put out several solo albums. Discography (incomplete and possibly needing be..
Vopnafjörður
Vopnafjörður is a village in the north-eastern part of Iceland, situated in a fjord with the same name. The main industry is fishing. Population (December 31 2005): 726 One of the Icelandic landvættir, the dragon, dwelled in Vopnafjörður according to Heimskringla ..
V (operating system)
The V operating system (sometimes written V-System) is a microkernel operating system that was developed by faculty and students in the Distributed Systems Group at Stanford University in the 1980s, led primarily by Prof. David Cheriton. V was the successor to the Thoth (computing) and Verax operati..

 


From Wikipedia, the Free Encyclopedia. Article contents subject to the GNU Free Documentation License.

Search Titles
0123456789
ABCDEFGHIJ
KLMNOPQRST
UVWXYZ?