ヘルマン・ブロッホ（Hermann Broch, 1886年11月1日 - 1951年5月31日）は、オーストリアの作家。ウィーンの富裕なユダヤ系の家庭に生まれた。長く織物工業に携わり、のちに作家となった。ロベルト・ムージルとならんでオーストリア＝ハンガリー帝国の生んだ二大巨匠との評価がある。1938年、ナチスの迫害を避けるため、アメリカに亡命し東部に在住、大作『ウェルギリウスの死』はアメリカで出版された。
座標時は測定することができないが、式2に示されている時間の遅れの関係（またはその代替あるいは洗練された形式）を用いて、実際の時計による（固有時の）読み取り値からのみ計算される。説明のために、時計の固有時が座標時と一致する仮想の観測者と軌道を考える。そのような観測者と時計は、選択された参照系に対して静止しており（式2において v = 0）、かつ、重力的な質量から無限の距離に離れている（式2において U = 0）と考える必要がある。座標時は参照系内のどこでも定義されているので、そのような説明でさえ限られた使用であるが、それを説明するために選択された仮想の観測者と時計は軌道の選択肢が限られている。
座標時の概念の完全な説明は、固有時と時計の同期との関係から生じる。古典力学と古典的な時空間に固有の仮定の多くを取り除かなければならないため、同期は、同時性の関連概念とともに、一般相対性理論の枠組みにおいて慎重な定義を受けなければならない。時計の同期手順（アインシュタイン同期）はアインシュタインによって定義され、これは同時性の限定された概念を生じさせる。2つの事象は、選択した座標時が両方とも同じ値である場合かつその場合にのみ、選択された参照系において「同時である」と言う。この条件において、別の参照系から見ると同時ではないという可能性もある。しかし、座標時は、参照系を名目上規定する場所に位置する時計によって測定することはできない。例えば、太陽系の重心にある時計は重心参照系の座標時を測定せず、地球の中心にある時計は地心座標系の座標時を計測しない。
パイロットフィッシュは帰国後、1946年7月1日付の指令でクロスロード作戦の標的艦を命じられる。1946年7月25日のBAKER実験に供用されたパイロットフィッシュは1946年8月29日に退役し、1947年2月25日に除籍された。その後浮揚され、1948年10月16日に標的艦としてエニウェトク環礁沖で海没処分された。パイロットフィッシュは第二次世界大戦の戦功で5個の従軍星章を受章した。
超準解析には2つの非常に異なったアプローチがある：ひとつは意味論的あるいはモデル論的アプローチであり、もうひとつは構文論的アプローチ（公理論的アプローチ）である。これらのアプローチはどちらも、解析学以外にも、数論、代数やトポロジーを含む、他の数学の領域に適用される。ロビンソンによる超準解析の元々の定式化は「意味論的アプローチ」のカテゴリーに分類される。彼が一連の論文で行ったように、これは理論のモデル（とくに飽和モデル）の研究に基づく。ロビンソンの仕事が最初に現れてから、Elias Zakonは上部構造と呼ばれる純粋に集合論的な対象を用いたより単純な意味論的アプローチを開発した。このアプローチでは、「理論のモデル」は集合 の「上部構造」  と呼ばれる対象で置き換えられる。上部構造  に超冪構成を適用することで、写像  を伴い移行原理を満たす別の対象  を構成することができる。写像  は  と  の形式的性質を関連付ける。さらに、飽和性のより簡素な形である可算飽和性を考えることもできる。この簡素化されたアプローチはモデル理論やロジックの専門家ではない数学者が超準解析を使用する場合により適している。なぜなら、可算飽和性を満たすモデルは前述したフレシェ超フィルターによる超冪によって構成でき、各々の超準的対象は「標準的対象の可算列の同値類」という具体的な描像を持つからである。（一方、より飽和性の高いモデルの構成には、善良超フィルターや初等鎖の極限など、より高度な集合論的・モデル論的な道具立てを必要とする。）「構文論的アプローチ」は数理論理学とモデル理論に関して遥かに少ない理解と使用を要する。このアプローチは1970年代半ばに数学者エドワード・ネルソンによって開発せられた。ネルソンは内的集合論（IST）と彼が呼ぶ完全に公理的な超準解析の定式化を導入した。ISTは二項帰属関係  に関するツェルメロ＝フレンケル集合論（ZFC）に新しい単項述語「標準的」を追加する。この新しい述語は、集合論的宇宙の要素達に適用可能なものであって、それに関する推論の為の幾つかの公理を伴う。この方向からのアプローチはフルバチェックらによって進展された。構文論的な超準解析は数学者が通常当たり前と考える集合構成原理（形式的には内包原理として知られる）の適用において細心の注意を要する。ネルソンが指摘するように、IST内の推論における誤りは「非合法な集合構成」によるものである。例えば、ちょうど標準的自然数からなる集合はISTにおいては存在しない（ここで「標準的」は新たに導入した述語の意味に解する）。非合法な集合構成を回避するために、部分集合の定義（内包性公理の適用）にはZFCの論理式だけを使用しなければならない。構文論的アプローチの別の例としてはヴォピェンカによって導入された代替集合論がある。これはZF公理系よりもより超準解析と両立的な集合論的公理を探るものである。その他の構文論的アプローチとして  と呼ばれる特殊な定数記号（これはある固定した無限大超自然数と思える）を公理的に導入する Alpha Theory がある。