Karel Hrbáček

Karel Hrbáček (oft Karel Hrbacek; * 1944) ist ein tschechischer, in den Vereinigten Staaten lebender Mathematiker, der sich mit Mengenlehre und mathematischer Logik befasst.

Hrbacek wurde 1966 bei Petr Vopěnka an der Karls-Universität Prag promoviert. Er ist Professor am City College of New York (CUNY).

Hrbacek ist mit Thomas Jech Verfasser eines Standardwerks über axiomatische Mengenlehre. Von ihm stammt ein axiomatischer Zugang zur Nichtstandardanalysis und Nichtstandard-Mengenlehre, die Hrbacek-Mengenlehre (HST, Hrbacek Set Theory).

1980 erhielt er den Lester Randolph Ford Award für seinen Aufsatz Nonstandard set theory.[1]

Er ist Mitglied der American Mathematical Society, der Mathematical Association of America und der Association for Symbolic Logic.

Schriften

  • mit Thomas Jech, Introduction to set theory, Marcel Dekker, 1978, 3. Auflage 1999

Einzelnachweise

  1. American Mathematical Monthly, Band 86, 1979, S. 161–175

Read other articles:

Endau adalah sebuah kota kecil di Distrik Mersing, Johor, Malaysia. Kota ini terletak di ujung utara Johor timur, di perbatasan dengan Pahang. Iklim Endau memiliki iklim hutan hujan tropis (Af) dengan curah hujan lebat hingga sangat lebat sepanjang tahun dan dengan curah hujan lebat ekstrim pada Desember. Data iklim Endau Bulan Jan Feb Mar Apr Mei Jun Jul Agt Sep Okt Nov Des Tahun Rata-rata tertinggi °C (°F) 28.9 (84) 29.8 (85.6) 31.0 (87.8) 32.2 (90) 32.4 (90.3) 31.9 (89.4) 31.4 (88.5) 31....

 

ISCTE – Institut Universitas LisbonISCTE - Instituto Universitário de LisboaNama sebelumnyaISCTE - Instituto Superior de Ciências do Trabalho e da EmpresaDidirikan1972RektorMaria de Lurdes RodriguesStaf akademik780Staf administrasi270Jumlah mahasiswa11,000LokasiLisboa, PortugalKampusCidade Universitária de LisboaSitus webiscte-iul.pt ISCTE – Institut Universitas Lisboa adalah lembaga pendidikan tinggi negeri Portugal, kampus ini terletak di pusat kota Lisboa, di Cidade Universitária, ...

 

19th United States national census Nineteenth censusof the United States ← 1960 April 1, 1970 1980 → U.S. Census Bureau seal1970 U.S. census logoGeneral informationCountryUnited StatesResultsTotal population203,392,031 ( 13.4%)Most populous ​stateCalifornia19,953,134Least populous ​stateAlaska302,173 The 1970 United States census, conducted by the Census Bureau, determined the resident population of the United States to be 203,392,031, an...

American baseball player (born 1990) Baseball player Zack GodleyGodley with the Arizona DiamondbacksFree agent PitcherBorn: (1990-04-21) April 21, 1990 (age 33)Bamberg, South Carolina, U.S.Bats: RightThrows: RightMLB debutJuly 23, 2015, for the Arizona DiamondbacksMLB statistics (through 2021 season)Win–loss record37–35Earned run average4.92Strikeouts547 Teams Arizona Diamondbacks (2015–2019) Toronto Blue Jays (2019) Boston Red Sox (2020) Milwaukee Brewers (2021) Zac...

 

Series of fantasy novels The Elenium is a series of fantasy novels by American writer David Eddings. The series consists of three volumes: The Diamond Throne, The Ruby Knight, and The Sapphire Rose. The series is followed by The Tamuli. The Elenium is Eddings' third fantasy series. The Diamond Throne The Diamond Throne Cover of The Diamond ThroneAuthorDavid EddingsCountryUSALanguageEnglishSeriesThe EleniumGenreFantasyPublisherDel Rey BooksPublication date1989Media typePrint ( )Pages448 (...

 

Interpretation of probability Statistical probability redirects here. For the TV series episode, see Statistical Probabilities. John Venn, who provided a thorough exposition of frequentist probability in his book, The Logic of Chance.[1] Frequentist probability or frequentism is an interpretation of probability; it defines an event's probability as the limit of its relative frequency in many trials (the long-run probability).[2] Probabilities can be found (in principle) by a r...

Protected area in the United States Mount Baker–Snoqualmie National ForestGlacier Peak from Image LakeShow map of Washington (state)Show map of the United StatesLocationWashington, U.S.Coordinates47°45′58″N 121°22′41″W / 47.766°N 121.378°W / 47.766; -121.378[1]Area1,724,229 acres (6,977.71 km2)[2]Established1974; Mount Baker National Forest: January 21, 1924; Snoqualmie National Forest: July 1, 1908[3]Governing bodyU.S. F...

 

Запрос «Моторола» перенаправляется сюда; см. также другие значения. Motorola, Inc. Тип Публичная компания Листинг на бирже NYSE: MOT Основание 1928 Упразднена 2011 Причина упразднения разделение Преемник Motorola Solutions Основатели Пол Галвин, Джозеф Галвин Расположение  США: Шомберг (�...

 

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut...

Guidance and navigation computer used in Apollo spacecraft Apollo Guidance ComputerApollo Guidance Computer and DSKYInvented byCharles Stark Draper LaboratoryManufacturerRaytheonIntroducedAugust 1966; 57 years ago (1966-08)DiscontinuedJuly 1975; 48 years ago (1975-07)TypeAvionicsGuidance computerProcessorDiscrete silicon integrated circuit (IC) chips (RTL based)Frequency2.048 MHzMemory15-bit wordlength + 1-bit parity2048 words RAM (magnetic-core m...

 

Weightlifting competition at the Central American and Caribbean Games Weightlifting at the 2023 Central American and Caribbean GamesVenueGimnasio Nacional José Adolfo PinedaLocation San SalvadorDates24–27 June← 20182026 → The weightlifting competition at the 2023 Central American and Caribbean Games was held in San Salvador, El Salvador from 24 to 27 June at the Gimnasio Nacional José Adolfo Pineda.[1] Medal table   *   Host nati...

 

「楽園追放」はこの項目へ転送されています。本来の意味とそれに基づく文学作品については「失楽園」を、絵画作品については「楽園追放 (マサッチオ)」をご覧ください。 楽園追放-Expelled from Paradise-監督 水島精二脚本 虚淵玄原作 ニトロプラス東映アニメーション製作 野口光一出演者 釘宮理恵三木眞一郎神谷浩史音楽 NARASAKI主題歌 ELISA「EONIAN -イオニアン-」編集 吉...

14-я пехотная дивизия Годы существования 1806—1918 Страна Российская империя Входит в 8-й армейский корпус Тип Пехота Дислокация Кишинёв 14-я пехотная дивизия — пехотное соединение Русской императорской армии. Штаб дивизии: Вильна (1807), Кишинёв (1878—1914). С 1876 г. входила в 8-й а�...

 

Calcita Cristales de calcitaGeneralCategoría MineralClase V. Oxisales (carbonatos)Fórmula química CaCO3Propiedades físicasColor Variable según impurezas (blanco, caramelo)Raya BlancaLustre VítreoTransparencia TranslúcidoSistema cristalino RomboédricoExfoliación Perfecta en {1011} tres direcciones, con ángulo de 74° 55'[1]​Dureza 3Densidad 2,7 g/cm³Variedades principalesDiente de perro  Espato de Islandia  [editar datos en Wikidata] Estructura cristalina d...

 

Coppa Anglo-Italiana 1972 Competizione Coppa Anglo-Italiana Sport Calcio Edizione 3ª Organizzatore Gigi Peronace Date dal 1º giugno 1972al 24 giugno 1972 Luogo  Italia Inghilterra Partecipanti 12 Risultati Vincitore Roma(1º titolo) Secondo Blackpool Statistiche Incontri disputati 24 Gol segnati 92 (3,83 per incontro) I Giallorossi festeggiano il successo Cronologia della competizione 1971 1973 Manuale La Coppa Anglo-Italiana 1972 è stata la 3ª edizione del torneo ...

Small rigid plate that grows out of an animal's skin For other uses, see Scale. Keeled scales of a colubrid snake (banded water snake; Nerodia fasciata) In zoology, a scale (Ancient Greek: λεπίς, romanized: lepís; Latin: squāma) is a small rigid plate that grows out of an animal's skin to provide protection. In lepidopterans (butterflies and moths), scales are plates on the surface of the insect wing, and provide coloration. Scales are quite common and have evolved multiple times ...

 

Cette page contient des caractères spéciaux ou non latins. S’ils s’affichent mal (▯, ?, etc.), consultez la page d’aide Unicode. Pour les articles homonymes, voir Roupie. Roupie indienneUnité monétaire actuelle Pays officiellementutilisateurs Inde Autres paysutilisateurs Bhoutan Népal Banque centrale Banque de réserve de l'Inde Appellation locale रुपया, rupee Symbole local ₹ Code ISO 4217 INR Sous-unité 100 paisa Taux de change 1 € = 85,30 ₹...

 

Microsoft > Microsoft Windows > Windows NT系 > Windows 11 この記事は英語版の対応するページを翻訳することにより充実させることができます。(2021年6月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳...

Dutch Open 1998Sport Tennis Data3 agosto – 9 agosto Edizione41ª SuperficieTerra rossa LocalitàAmsterdam, Paesi Bassi CampioniSingolare Magnus Norman Doppio Jacco Eltingh / Paul Haarhuis 1997 1999 Il Dutch Open 1998 è stato un torneo di tennis giocato sulla terra rossa. È stata la 41ª edizione del Dutch Open, che fa parte della categoria ATP International Series nell'ambito dell'ATP Tour 1998. Si è giocato ad Amsterdam nei Paesi Bassi, dal 3 al 9 agosto 1998. Indice 1 Campioni 1.1 Sing...

 

Alpen Jungfrau, Bernese Oberland Countries Slovenia, Prancis, Jerman, Swiss, Italia, Austria, Liechtenstein, Monako Titik tertinggi Gunung Blanc  - elevasi 4.808 m (15.774 ft) Geology Bündner schist, flysch, molasse Orogeny Orogeni Alpen Period Tersier Relif Pegunungan Alpen Alpen adalah nama pegunungan besar di Eropa yang membentang dari Austria dan Slovenia di timur, melalui Italia, Swiss, Liechtenstein, dan Jerman, sampai ke pesisir Laut Tengah di Prancis dan Monako. Naman...