Title: A Theory of Sets Author(s): Anthony P. Morse Pages: 213 Publisher: Academic Publication date: 1986 Language: English Format: PDF ISBN-10: 0125079524 ISBN-13: Description: Here in a formal inferential system is ensconced an axiomatic logic
and set theory. With rudiments and simple versatile prescriptions,
ground is prepared for shaping a wide selection of formal inferential
languages. Then upon this ground is fashioned a particular formal
inferential language that is lean, mechanical, vigorous, and more than
adequate for the purposes at hand. At the same time, within the
language, on axiomatic foundations broadly and deeply laid, logic and
set theory are deductively built in strikingly unified combination. The
axioms are amenable to replacement of schematic expressions by
almost any formula, guarantee a non-elemental universe, enable the set
of x such that . . . x.. . to be defined, and ensure the elementhood of
many sets. The set-theoretic structure is substantial, with numerous
interesting topics, including the most essential ones, taken up and dealt
with in efficient dependent order.’ The initial treatment of each is
thoroughgoing, and, on occasion, new results are introduced.’ kltogether
these topics provide a firm base and house a variety of useful
tools for far-reaching mathematical theories.
The system is described in spare and trenchant English which reflects
the author’s endeavor each time to hit the nail on the head and drive it
home with one stroke. Together with a scattering of similarly phrased
informal interpretive asides, suggestive headings, and stage directions,
the formal language then takes over the task of elucidating mathematical
ideas. A title given to a section, subsection, rule, definition, or
theorem hints at subjects entertained, roles played, historical origins, or
mathematical emphasis.
# Hardcover: 213pages
# Publisher: Academic Pr; 2nd edition (April 1986)
# Language: English
# ISBN-10: 0125079524
# ISBN-13: 978-0125079525
Title: A Theory of Sets