Georg Kreisel FRS (September 15, 1923 – March 1, 2015) was an Austrian-born mathematical logician who studied and worked in the United Kingdom and America...
9 KB (915 words) - 17:44, 21 July 2024
Aquarium (redirect from Kreisel Tank)
aquarium is one of the last surefire ways to impress their peers." A kreisel tank (kreisel being German for "spinning top" or "gyroscope") is an aquarium shaped...
67 KB (7,730 words) - 13:14, 20 October 2024
Kreisel is a surname. Notable people with the surname include: Franz Kreisel (1890-1960), hockey Georg Kreisel (1923-2015), logician Henry Kreisel (1922-1991)...
558 bytes (97 words) - 00:46, 4 January 2024
Uwe Kreisel is a writer and textbook author in the fields of linguistics, ESL, and cross-cultural topics. 1992: English One. ISBN 3-499-19320-5 1993:...
1 KB (167 words) - 07:22, 6 June 2024
Rice–Shapiro theorem (redirect from Kreisel-Lacombe-Shoenfield theorem)
closely related theorem is the Kreisel-Lacombe-Shoenfield-Tseitin theorem, which was obtained independently by Georg Kreisel, Daniel Lacombe and Joseph R...
18 KB (2,355 words) - 11:02, 6 August 2024
Intermediate logic (redirect from Kreisel–Putnam logic)
(SL): = IPC + ((¬¬p → p) → (p ∨ ¬p)) → (¬¬p ∨ ¬p) (a conditional WPEM) Kreisel–Putnam logic (KP): = IPC + (¬p → (q ∨ r)) → ((¬p → q) ∨ (¬p → r)) (the...
12 KB (1,500 words) - 12:04, 4 August 2024
Franz Kreisel (January 6, 1890 – November 18, 1960) was a German ice hockey player who competed in the 1928 Winter Olympics. In 1928 he participated with...
1 KB (130 words) - 12:48, 24 May 2023
The Steglitzer Kreisel is a building complex with a high-rise building from the 1970s in the Berlin district of Steglitz in the southern area of Schloßstraße...
9 KB (1,260 words) - 04:47, 22 April 2024
Lutz Kreisel (born 1927) in Saxony, Germany, is a German set designer. He was the chief stage designer at the Mecklenburg State Theatre from 1971-2015...
8 KB (583 words) - 01:22, 28 March 2023
Henry Kreisel, OC (June 5, 1922 – April 22, 1991) was a Canadian writer of novels and essays and a professor of literature. Kreisel was born in Vienna...
6 KB (615 words) - 13:33, 30 July 2024
Britzelmayr in 1893, it was transferred to the genus Tricholoma in 1984 by Hanns Kreisel. Though it has been occasionally listed as a synonym of Tricholoma batschii...
4 KB (353 words) - 18:26, 10 January 2024
Hanns Kreisel (16 July 1931 – 18 January 2017) was a German mycologist and professor emeritus. He was born in Leipzig in 1931. Kreisel was a professor...
3 KB (254 words) - 23:30, 15 August 2023
work. Stropharia caerulea was officially described by mycologist Hanns Kreisel in 1979 from collections made near Woldegk, Germany. Machiel Noordeloos...
18 KB (1,834 words) - 01:00, 1 September 2024
described as Boletus mesentericus by Jacob Christian Schäffer in 1774. Hanns Kreisel transferred it to the genus Bondarzewia in 1984. The species is edible...
4 KB (206 words) - 16:34, 9 August 2024
Winge 1910 – Greenland C. argentea (Berk.) Kreisel 1992 C. bellii (Peck) M. Lange 1990 C. bicolor (Lév.) Kreisel 1992 C. boninensis S.Ito & S.Imai 1939 –...
12 KB (1,010 words) - 21:12, 18 June 2024
qui in Bavaria et Palatinatu Nascuntur Icones. Vol. 4. p. 128. Krüger D, Kreisel H. (2003). "Proposing Morganella subgen. Apioperdon subgen. nov. for the...
10 KB (931 words) - 16:03, 22 April 2024
premium tequila brand Padre Azul and E-mobility innovator Kreisel Electric. In 2022, Kreisel Electric was acquired by US based and New York Stock Exchange...
13 KB (1,083 words) - 17:56, 17 September 2024
Bovista, Lycoperdon, Calvatia, and Utraria. In 1989, German mycologist Hanns Kreisel described the genus Handkea to include species of Calvatia that had distinct...
7 KB (765 words) - 06:00, 19 April 2024
Belgian tourniquet (Belgischer kreisel)...
22 KB (2,661 words) - 01:39, 11 October 2024
Howard "Haim" Kreisel is a professor of medieval Jewish philosophy in the department of Jewish Thought at Ben-Gurion University of the Negev (emeritus)...
7 KB (1,043 words) - 00:40, 22 May 2024
Neoalbatrellus Polypus Scopulodontia Scytinostromella Xeroceps "Russulales Kreisel ex P.M. Kirk, P.F. Cannon & J.C. David 2001". MycoBank. International Mycological...
5 KB (344 words) - 16:18, 14 October 2023
has been called the "Bovista" type by Hanns Kreisel, who published a monograph on Bovista in 1967. Kreisel also defined the "Lycoperdon"-type (a capillitium...
22 KB (2,037 words) - 05:50, 5 May 2024
mushrooms in the family Agaricaceae. In 1989, German mycologist Hanns Kreisel described the genus Handkea to include species of Calvatia with distinct...
4 KB (316 words) - 04:51, 9 January 2024
31 December 2010. "Kreisel Electric and Arnold Schwarzenegger present the world's first electrified Hummer H1". Austria: Kreisel. Retrieved 24 January...
74 KB (7,701 words) - 07:49, 7 October 2024
Boletales order. The family was described by mycologist Hanns Kreisel in 1974. "Diplocystaceae Kreisel 1974". MycoBank. International Mycological Association...
2 KB (104 words) - 13:26, 9 February 2024
1859 by Miles Joseph Berkeley. Vascellum curtisii, published by Hanns Kreisel in 1963, is a synonym. Its fruit bodies (puffballs) have been recorded...
3 KB (152 words) - 16:25, 10 January 2024
in Costa Rica, it was described as new to science in 2005. Calonge FD, Kreisel H, Mata M (2005). "Phallus atrovolvatus, a new species from Costa Rica"...
928 bytes (57 words) - 17:29, 2 September 2024
significance. See, for example, the "Introduction" sub-chapter by Howard Kreisel to his overview article "Moses Maimonides", in History of Jewish Philosophy...
107 KB (11,733 words) - 13:36, 4 October 2024
university council. The current rector of the University of Luxembourg is Jens Kreisel. The university offers 18 bachelor's degrees, 46 master's degrees, and...
17 KB (1,250 words) - 19:45, 2 October 2024
Bovista, Lycoperdon, Calvatia, and Utraria. In 1989, German mycologist Hanns Kreisel described the genus Handkea to include species of Calvatia that had distinct...
14 KB (1,541 words) - 15:32, 13 May 2024