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,687 words) - 15:20, 27 September 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
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
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
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
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
Rice–Shapiro theorem (redirect from Kreisel-Lacombe-Shoenfield-Tseitin_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
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
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
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
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
Eduardo Wright in 1974. Mycobank currently holds that Calvatia pilula (Kreisel, 1992)—not C. pachyderma—is a synonym of G. fragilis. Further complicating...
16 KB (1,554 words) - 03:38, 6 May 2024
Belgian tourniquet (Belgischer kreisel)...
22 KB (2,661 words) - 00:33, 16 August 2024
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
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
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
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
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
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
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
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
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
cinnabarina, it was transferred to the genus Phallus in 1996 by Hanns Kreisel. It is found in Taiwan. Lee WS. (1957). "Two new phalloids from Taiwan"...
2 KB (101 words) - 21:08, 13 January 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) - 10:19, 27 August 2024
Horton Peck in 1878, from collections made in Sand Lake, New York. Hanns Kreisel transferred it to the genus Bovista by in 1964. The golden to orange-yellow...
2 KB (154 words) - 15:39, 15 April 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
Hypocreales. The family was first published in 1969 by mycologist Hanns Kreisel, but the naming was invalid according to the code of International Code...
6 KB (506 words) - 18:56, 23 June 2024
Morgan (1892) Calvatiella C.H.Chow (1936) Capillaria Velen. (1947) Handkea Kreisel (1989) Lycoperdon subgen. Bovistella (Morgan) Jeppson & E.Larss. (2008)...
5 KB (329 words) - 02:47, 10 August 2024