Karel Hrbáček (born 1944) is professor emeritus of mathematics at

City College of New York The City College of the City University of New York (also known as the City College of New York, or simply City College or CCNY) is a Public university, public research university within the City University of New York (CUNY) system in New York ...

. He specializes in

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

set theory Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...

, and

non-standard analysis The history of calculus is fraught with philosophical debates about the meaning and logical validity of fluxions or infinitesimal numbers. The standard way to resolve these debates is to define the operations of calculus using (ε, δ)-definitio ...

Early life and education

Karel studied at

Charles University Charles University (CUNI; , UK; ; ), or historically as the University of Prague (), is the largest university in the Czech Republic. It is one of the List of oldest universities in continuous operation, oldest universities in the world in conti ...

with

Petr Vopěnka Petr Vopěnka (16 May 1935 – 20 March 2015) was a Czech people, Czech mathematician. In the early seventies, he developed alternative set theory (i.e. alternative to the classical Cantor theory), which he subsequently developed in a series of ...

, looking at large

cardinal number In mathematics, a cardinal number, or cardinal for short, is what is commonly called the number of elements of a set. In the case of a finite set, its cardinal number, or cardinality is therefore a natural number. For dealing with the cas ...

s. He was awarded the degree RNDr. Before his appointment at CCNY he was an exchange fellow at

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California), is a Public university, public Land-grant university, land-grant research university in Berkeley, California, United States. Founded in 1868 and named after t ...

and a research associate at

Rockefeller University The Rockefeller University is a Private university, private Medical research, biomedical Research university, research and graduate-only university in New York City, New York. It focuses primarily on the biological and medical sciences and pro ...

. In 1980 he received an award from the

Mathematical Association of America The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university A university () is an educational institution, institution of tertiary edu ...

for his article on Non-standard Set Theory.

Selected publications

* 1999: (with

Thomas Jech Thomas J. Jech (, ; born 29 January 1944 in Prague) is a mathematician specializing in set theory who was at Penn State for more than 25 years. Life He was educated at Charles University (his advisor was Petr Vopěnka) and from 2000 is at thInst ...

) ''Introduction to Set Theory'', Third edition. Monographs and Textbooks in Pure and Applied Mathematics, 220.

Marcel Dekker Marcel Dekker was a journal and encyclopedia publishing company with editorial boards found in New York City. Dekker encyclopedias are now published by CRC Press, part of the Taylor and Francis publishing group. History Initially a textbook publ ...

J. M. Henle (1985), Review of ''Introduction to set theory'', 2nd ed., . * 1992: (with David Ballard) "Standard foundations for nonstandard analysis",

Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zent ...

57(2): 741–748 * 1979: "Nonstandard set theory",

American Mathematical Monthly ''The American Mathematical Monthly'' is a peer-reviewed scientific journal of mathematics. It was established by Benjamin Finkel in 1894 and is published by Taylor & Francis on behalf of the Mathematical Association of America. It is an exposi ...

86(8): 659–677 * 1978: "Axiomatic foundations for nonstandard analysis",

Fundamenta Mathematicae ''Fundamenta Mathematicae'' is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical sys ...

98(1): 1–19

References

{{DEFAULTSORT:Hrbacek, Karel Mathematical logicians Set theorists City College of New York faculty 1944 births Living people