Bounded lattices (that is lattices that are both lower bounded and upper bounded) form a large class of lattices that include all distributive lattices, many nondistributive finite lattices such as ...

Adjust the colors to reduce glare and give your eyes a break. Use one of the services below to sign in to PBS: You've just tried to add this video to My List. But first, we need you to sign in to PBS ...

We give a sufficient condition for a countable model M of PA to be expandable to an ω-model of AST with absolute Ω-orderings. The condition is in terms of saturation schemes or, equivalently, in terms ...

AMONG the eighteen papers in the Rendiconti del Seminario Mathematico e Fisico di Milano (7, 1933), the longest, and, to the general reader, most interest ing, is an account of the scientific work of ...

Richard Elwes reports on Harvey Friedman’s fascinating work on incompleteness in Boolean relation theory, but it is quite a stretch to extend his work to ask “are the rules of arithmetic… unsound?” ...