Hrbacek, K.

... The above-mentioned method of using model theory cannot superstandardize all of mathematics at once. Around 1977, E. Nelson and K. Hrbacek added new predicates or constants (the entire set of standard sets and the entire set of inner sets) to the usual set theory (Zermelo-Fraenkel theory) and added some axioms (including the principle of co-occurrence) to create superstandard set theory. This theory includes all of existing mathematics and is a convenient theory that can also develop superstandard analysis. ...

*Some of the terminology that mentions "Hrbacek, K." is listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…　モデル理論を使う上述のやりかたでは全数学を一挙に超準化することはできない。ネルソンE.NelsonとフルバチェックK.Hrbacekは，1977年ころ通常の集合論(ツェルメロ=フレンケル理論)に新しい述語または定項(標準集合の全体および内的集合の全体)を加え，いくつかの公理(共起性の原理を含む)を追加して超準集合論を作り出した。この理論は現存の数学をすべて含み，また超準解析をも展開しうるつごうのよい理論である。…

※「Hrbacek，K.」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報