Karel Hrbáček
   HOME





Karel Hrbáček
Karel Hrbáček (born 1944) is professor emeritus of mathematics at City College of New York. He specializes in mathematical logic, set theory, and non-standard analysis. Early life and education Karel studied at Charles University with Petr Vopěnka, looking at large cardinal numbers. He was awarded the degree RNDr. Before his appointment at CCNY he was an exchange fellow at University of California, Berkeley and a research associate at Rockefeller University. In 1980 he received an award from the Mathematical Association of America for his article on Non-standard Set Theory. Selected publications * 1999: (with Thomas Jech) ''Introduction to Set Theory'', Third edition. Monographs and Textbooks in Pure and Applied Mathematics, 220. Marcel Dekker 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 57(2): 741–748 * 1979: "Nonstandard set theory", Americ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 City. Founded in 1847, City College was the first free public institution of higher education in the United States. It is the oldest of CUNY's 25 institutions of higher learning and is considered its flagship institution. The main campus is located in the Hamilton Heights, Manhattan, Hamilton Heights neighborhood. City College's 35-acre (14 ha) campus spans Convent Avenue from 130th to 141st Streets. It was initially designed by an architect George B. Post. City College's satellite campus, City College Downtown in the Cunard Building (New York City), Cunard Building has been in operation since 1981, offering degree programs for working adults. Other primacies at City College that helped shape the culture of American higher education ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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 publisher, the company added journal publishing in the 1970s, and encyclopedia publishing in the early 1980s. Serving mathematics, it published a series of ''Lecture Notes in Pure and Applied Mathematics''. The company was purchased by Taylor and Francis in 2003. At that time, it published 78 journals and 300 new books annually. The imprint closed in 2005. As of 2008, they have a total of 26 encyclopedias available.dekker.com
These encyclopedias deal with scientific issues such as agricult ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

City College Of New York Faculty
A city is a human settlement of a substantial size. The term "city" has different meanings around the world and in some places the settlement can be very small. Even where the term is limited to larger settlements, there is no universally agreed definition of the lower boundary for their size. In a narrower sense, a city can be defined as a permanent and Urban density, densely populated place with administratively defined boundaries whose members work primarily on non-agricultural tasks. Cities generally have extensive systems for housing, transportation, sanitation, Public utilities, utilities, land use, Manufacturing, production of goods, and communication. Their density facilitates interaction between people, government organisations, government organizations, and businesses, sometimes benefiting different parties in the process, such as improving the efficiency of goods and service distribution. Historically, city dwellers have been a small proportion of humanity overall, bu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Set Theorists
Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electronics and computing *Set (abstract data type), a data type in computer science that is a collection of unique values ** Set (C++), a set implementation in the C++ Standard Library * Set (command), a command for setting values of environment variables in Unix and Microsoft operating-systems * Secure Electronic Transaction, a standard protocol for securing credit card transactions over insecure networks * Single-electron transistor, a device to amplify currents in nanoelectronics * Single-ended triode, a type of electronic amplifier * Set!, a programming syntax in the scheme programming language Biology and psychology * Set (psychology), a set of expectations which shapes perception or thought *Set or sett, a badger's den *Set, a small ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematical Logicians
Mathematics is a field of study that discovers and organizes methods, theories and theorems that are developed and proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of abstract objects that consist of either abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to prove properties of objects, a ''proof'' consisting of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstractio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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 systems. The first specialized journal in the field of mathematics, originally it covered only topology, set theory, and foundations of mathematics..... It is published by the Mathematics Institute of the Polish Academy of Sciences. History The journal was conceived by Zygmunt Janiszewski as a means to foster mathematical research in Poland.According to and to the introduction to the 100th volume of the journal (1978, pp=1–2). These two sources cite an article written by Janiszewski himself in 1918 and titled "''On the needs of Mathematics in Poland''". Janiszewski posited that, to achieve its goal, the journal should not compel Polish mathematicians to submit articles written exclusively in Polish, and should be devoted only to a sp ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




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 expository journal intended for a wide audience of mathematicians, from undergraduate students to research professionals. Articles are chosen on the basis of their broad interest and reviewed and edited for quality of exposition as well as content. The editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The editor-in-chief heads all departments of the organization and is held accoun ... is Vadim Ponomarenko ( San Diego State University). The journal gives the Lester R. Ford Award annually to "authors of articles of expository excellence" published in the journal. Editors-in-chief The following persons are or have ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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'', Zentralblatt MATH, and Scopus. Its 2009 MCQ was 0.28, and its 2009 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ranking. Journals with higher impact factor values are considered more prestigious or important within their field. The Impact Factor of a journa ... was 0.631. External links * Mathematical logic journals Academic journals established in 1936 Multilingual journals Quarterly journals Association for Symbolic Logic academic journals Logic journals Cambridge University Press academic journals {{math-journal-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Advances In Mathematics
''Advances in Mathematics'' is a peer-reviewed scientific journal covering research on pure mathematics. It was established in 1961 by Gian-Carlo Rota. The journal publishes 18 issues each year, in three volumes. At the origin, the journal aimed at publishing articles addressed to a broader "mathematical community", and not only to mathematicians in the author's field. Herbert Busemann writes, in the preface of the first issue, "The need for expository articles addressing either all mathematicians or only those in somewhat related fields has long been felt, but little has been done outside of the USSR. The serial publication ''Advances in Mathematics'' was created in response to this demand." Abstracting and indexing The journal is abstracted and indexed in:Abstracting and Indexing
*
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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 thInstitute of Mathematicsof the Academy of Sciences of the Czech Republic. Work Jech's research also includes mathematical logic, algebra, analysis, topology, and measure theory. Jech gave the first published proof of the consistency of the existence of a Suslin line. With Karel Prikry, he introduced the notion of precipitous ideal. He gave several models where the axiom of choice failed, for example one with ω1 measurable. The concept of a Jech–Kunen tree is named after him and Kenneth Kunen Herbert Kenneth Kunen (August 2, 1943August 14, 2020) was a professor of mathematics at the University of Wisconsin–Madison who worked in set theory and its applications to various areas of mathematics, such as set-theoretic topology a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




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 commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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 education and research which awards academic degrees in several Discipline (academia), academic disciplines. ''University'' is derived from the Latin phrase , which roughly ..., college, and high school teachers; graduate and undergraduate students; pure and applied mathematicians; computer scientists; statisticians; and many others in academia, government, business, and industry. The MAA was founded in 1915 and is headquartered at 11 Dupont in the Dupont Circle, Washington, D.C., Dupont Circle neighborhood of Washington, D.C. The organization publishes mathematics journals and books, including the ''American Mathematical Monthly'' (established in 1894 by Benjamin Finkel), the most widely read mathematics journal in the world according to re ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]