** " Pedal stool " ( i. e., pedestal )-in The IT Crowd

** Grand Prize: Pedal Power-39 ft ( 11. 9 m )

** Tama IronCobra Power-Glide Single Pedal (× 2 )

** Pearl Eliminator Double Pedal

** " Pedal Power " ( with Andrew Currie, in 2000 AD # 1070, 1997 )

** Sonor GSP 3 Giant Step Bass Drum Pedal

** IBM PC keyboard

** Chorded keyboard, on which several keys are pressed together to enter a letter or command

** Electronic keyboard, a keyboard instrument in which key presses complete an electric circuit

** QWERTY-layout membrane keyboard

** Providing an alternative to keyboard entry ( e. g., spoken passwords, or biometric passwords ).

** Irvin Duguid, Scottish rock keyboard player ( Stiltskin )

** The common name for the 5-pin DIN keyboard connector

** Piano-vocal score, publishing format in which sung parts are given in full, but orchestral instruments are replaced by a keyboard arrangement

** 1 expansion parallel bus ( used for SK-1100 keyboard and FM Sound Unit ; ( SK-1100 ) SG-1000 and SG-1000 II and Sega MarkIII / ( FM Sound Unit ) Sega MarkIII only )

** 1 cassette ( SC-3000 and SK-1100 keyboard )

** 1 printer ( SC-3000 and SK-1100 keyboard )

** Graphical interface and extensive keyboard control

** VL1 ( 1994 ) — expensive keyboard ( about $ 10, 000 USD )

** VL1m, VL7 ( 1994 ) — tone module and less expensive keyboard, respectively

** EX5 ( 1999 ) — workstation keyboard that included a VL module

** Using the keyboard:

** ASUS Eee Keyboard, a computer within a keyboard

** Stenotype, a specialized chorded keyboard or typewriter used by stenographers for shorthand use

** DIN connector, one of a number of electrical ( audio / video / keyboard ) connectors following DIN standards.

** 2013 – Voice control replace keyboard / mouse interface for 30 % of routine tasks – TechCast

** Franz Anton Spitzeder, operatic tenor and keyboard teacher ( died 1796 )

He particularly liked, " Cigarette ", " Hello, Adam ", and " F ** k This S *! t ", commenting that they " blend chilling sounds with harsh percussion and deep-wound keyboard stabs ".

** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.

** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.

** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.

** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** The Cartesian product of any family of nonempty sets is nonempty.

** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** Tychonoff's theorem stating that every product of compact topological spaces is compact.

** In the product topology, the closure of a product of subsets is equal to the product of the closures.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Any union of countably many countable sets is itself countable.

** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** Every infinite game in which is a Borel subset of Baire space is determined.

** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.

** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.

** The Nielsen – Schreier theorem, that every subgroup of a free group is free.