Reductions of arithmetic, whether to set theory or to a theory formulated in a higher-order logic, must prove the infinity of the sequence of natural numbers. In his Was sind und was sollen die Zahlen?, Dedekind attempted, in the notrious proof of Theorem 66 of that work, to demonstrate the existence of infinite systems by examining the contents of his own mind. The axioms of General Set Theory...

Firewalls are an excellent security mechanism to protect networks from intruders, and they can establish a relatively secure barrier between a system and the external environment. Firewall products are available with a variety of functionality and features, such as strong authentication, the ability to create VPNs, and easy-to-use interfaces. Selecting the appropriate firewall for an organizati...

Recent studies have shown that endurance overtraining could result from Abstract successive and cumulative alterations in metabolism, which become chronic during training. The onset of this process is a biochemical alteration in carbohydrate (saccharide) metabolism. During endurance exercises, the amount of saccharide chains from two blood glycoproteins (α2-macroglobulin and α1-acid glycoprotei...

Mononuclear phagocytes are undoubtedly the sine qua non of chronic inflammatory reactions. This is demonstrated by their unique ability to function as phagocytic, secretory, or effector cells during the course of an immune event. Although macrophages can perform a variety of immune tasks, their ability to function appropriately is dependent upon the mode of elicitation, the stimulus under inves...