|
I0 (other)
I0 (the letter "I" followed by the digit "0", zero) may refer to: * rank-into-rank, Axiom I0: There is a nontrivial elementary embedding of L(V_) into itself with critical point below λ. This is a strong large cardinal axiom of set theory of rank-into-rank type. I-0 may refer to : * I-0 (video game), ''I-0'' (video game), a piece of interactive fiction written by Adam Cadre See also *Io (other), IO (other) (the letter "I" followed by the letter "O") *10 (other) (the digit "1" followed by the digit "0") *1O (other) (the digit "1" followed by the letter "O") {{Letter-NumberCombDisambig ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rank-into-rank
In set theory, a branch of mathematics, a rank-into-rank embedding is a large cardinal property defined by one of the following four axioms given in order of increasing consistency strength. (A set of rank < λ is one of the elements of the set Vλ of the .) *Axiom I3: There is a nontrivial of Vλ into itself. *Axiom I2: There is a nontrivial elementary embedding of V into a transitive class M that includes Vλ where λ is the first fixed point above the critical point. *Axiom I1: There is a nontrivial elementary embedd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Large Cardinal Axiom
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least α such that α=ωα). The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more". There is a rough convention that results provable from ZFC alone may be stated without hypotheses, but that if the proof requires other assumptions (such as the existence of large cardinals), these should be stated. Whether this is simply a linguistic convention, or something more, is a controversial point among distinct philo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
I-0 (video Game)
''I-0'', also known as Interstate Zero, is a piece of anonymous interactive fiction about the adventures of a teenage girl hitch-hiking on an Interstate Highway (in this case the nonexistent Interstate 0). The main character is Tracy Valencia, a 17 year old college student who is on her way home for Thanksgiving when her car breaks down, leaving her stranded in the middle of a scorching desert. It won the Best Game and Best Individual Player Character awards at the 1997 Xyzzy Awards The XYZZY Awards are the annual awards given to works of interactive fiction, serving a similar role to the Academy Awards for film. The awards were inaugurated in 1997 by Eileen Mullin, the editor of ''XYZZYnews''. Any game released during the year ..., and was a finalist for six other categories. The game was generally praised for its branching plot structure and multiple puzzle solutions. The game is available freely online. Notes ReferencesGame entry at Baf's guide [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Io (other)
Io, IO, iO, I/O, i/o, or i.o. may refer to: *Io (mythology), daughter of Inachus in Greek mythology, and lover of Zeus who was turned into a cow *Io (moon), a moon of Jupiter Arts and media Fictional elements *Scylla Io, one of Poseidon's Marine Generals in the ''Saint Seiya'' series *A ''Dungeons & Dragons'' dragon deity *Io Otonashi, a main character in the Japanese manga series ''Place to Place'' (''Acchi Kocchi'') Gaming *''iO'', a 2014 video game by Gamious *IO Interactive, a Danish computer game developer Music * IO (German band), a German band * Io (English band), an English band *I_o (musician), an American DJ and record producer (1990–2020) Theatre and opera * ''Io'' (opera), an unfinished ''acte de ballet'' (opera) by Jean-Philippe Rameau *iO Theater (ImprovOlympic), a theater in Chicago, Illinois, dedicated to improvisational comedy *IO West, a Los Angeles theater associated with the Chicago iO Other uses in arts and media * ''Io'' (film), a 2019 Netflix film ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
10 (other)
Ten, TEN or 10 may refer to: * 10, an even natural number following 9 and preceding 11 * one of the years 10 BC, AD 10, 1910 and 2010 * October, the tenth month of the year Places * Mount Ten, in Vietnam * Tongren Fenghuang Airport (IATA code), China * 10 (Los Angeles Railway) * TEN Atlantic City, Casino hotel resort in New Jersey People and characters * Tussenvoegsel prefix in Dutch surnames * Jeremy Ten (born 1989), Canadian competitive figure skater * Sergey Ten (born 1976), Russian politician * Vicente Ten (born 1966), Spanish politician * Ten Miyagi (born 2001), Japanese footballer ;Characters * Ten, a character from ''Urusei Yatsura'' * Tenshinhan, nicknamed "Ten", a character from ''Dragon Ball'' Art and entertainment Music * Ten (singer), a Thai Chinese singer and member of South Korean boy group NCT * Ten (band), a British melodic rock/hard rock band * ''Tenuto'' or ''Ten.'', a direction in musical notation * Ten, the runner-up contestant in the fourth seaso ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |