ベレンガーリオは、一時的にヴィドー家が失脚していた間、スポレート公であった。836年の修道院の目録に「Berengarius dux」と書かれており、彼が後に修道士となったファルファ修道院の837年7月の奉納品リストにも「secondo Berangarii duci」とみられる。ベレンガーリオの約7年にわたるスポレート公時代の政治的活動は記録に見られず、843年9月4日にスポレート公位はグイード1世・ディ・スポレートの手に渡った。皇帝ロタール1世の娘ヒルトルードと結婚した。
単式1面1線ホームの地上駅である。無人駅で駅舎はないが、待合所とトイレがある。駅ホームは築堤上の斜面に建てられており、出入りはたびら平戸口寄りのホーム端に取り付けられた階段による。
2011年3月11日の東日本大震災（東北地方太平洋沖地震）に伴って発生した福島第一原子力発電所事故により避難指示がされた福島第一原子力発電所を中心とする半径20km以内の地域にあるため、福島県立喜多方高等学校に仮の事務所を設け福島県立福島南高等学校・福島県立あさか開成高等学校・福島県立葵高等学校・福島県立磐城高等学校・福島県立相馬高等学校の各校をサテライト協力校とするサテライト方式および通信の方式による対応がとられた。また、入試に関しては合否判定が不可能となったためII期選抜試験受験者全員を合格とする措置がとられた。
双葉高校は1923年に福島県立双葉中学校として創立した。戦後の学制改革により1948年福島県立双葉高等学校となり、その後1950年には女子生徒の入学を許可し共学校となって現在に至る。
福島県立双葉高校は旧制中学校以来の伝統を持つ学校である。文武両道の方針のもと部活動も盛んで、定員の20%程を目安に学業のほか部活動（運動および吹奏楽）を重視した特別選抜（I期選抜）を行っている。同じ相双地区に「相高」（福島県立相馬高等学校）が存在することもあり、のが一般的である。
東京成徳大学高校ではインターハイ、国体・ウィンターカップではいずれもベスト8まで進み、U-18アジアカップ日本代表にも選ばれ準優勝。卒業後、三菱電機に入社。2019年、女子日本代表候補に選出される。
これらの諸定理は形式的理論の計算可能性と密接に関係している。任意の無矛盾理論  はヘンキン構成の類似によって無矛盾かつ完全な理論に拡大することができる。それにはまず閉論理式の全体を  と並べる。 にこれらの閉論理式の肯定形または否定形を付け加えることによって無矛盾完全なものに拡大する。有限な拡大の仕方は幾つもあるので、それらひとつひとつの拡大に対して  の元を対応させる。その対応は 番目の閉論理式の肯定形と否定形のどちらを付け加えたかによって  項目の値を  または  にすることで与えられる。このとき  の無矛盾拡大に対応する  の元の全体は無限二分木を成す。もし無矛盾拡大の木が次数  の無限枝を持てば、それを用いて  の無矛盾拡大で次数  のものが得られる。 が計算可能であったとしても、対応する無矛盾拡大の木が計算可能とは限らないので、基底定理を使用できない。そこで無矛盾拡大の木を次のような木に置き換える。 の元  は、 を  で拡大した理論から複雑さ（例：証明図のゲーデル数）  未満で矛盾に至ることがないならば、その木に属すものとする。このように定義された木は計算可能であるから基底定理が使用できる。低基底定理を上記の木に適用することで  の無矛盾完全拡大で低次数を持つものが構成できる。
周波数変調 (FM：Frequency Modulation) によるので、「FM放送」、「FMラジオ」など振幅変調 (AM：Amplitude Modulation) による中波放送の「AM放送」、「AMラジオ」などと対比して呼ばれることも多い。国際電気通信連合 (ITU) は、地域によって異なるが47 - 108MHzの間の周波数を放送用を含めた用途に分配している。このうち、ラジオ放送用には、ロシアなど旧ソビエト連邦構成各諸国を含む東欧を除く欧米の大半では87.5 - 108MHz、東欧では68 - 74MHz（うち74 - 76MHzはガードバンドのため使用不可）、日本では76.1 - 94.9MHzが割り当てられている。周波数の特性上、送信所から到達する距離が短いため、国内放送、それもその中の一部の地域（日本での例は都道府県内、市区町村内など）を対象とした放送に用いられる。但し、VHFを反射するスポラディックE層（通称「Eスポ」）と呼ばれる特殊な電離層が、春から夏頃にかけての日中に突然出現し、普段聞くことの出来ない遠隔地の放送が受信できることはある。1チャンネルの搬送波周波数間隔が200kHzあり、伝送できる周波数帯域が広く（占有周波数帯幅の許容値は200kHz）、S/N比が高くノイズに強いことやAMに比べて高音質のため主に音楽番組等が放送されている。音声信号の最高周波数は15kHzである。また、多重技術を利用して音声多重放送（ステレオ放送）や補助通信業務 (SCA：Subsidiary Communications Authority) と呼ばれる文字多重放送（文字放送）、独立音声放送、ファクシミリ、無線呼出し（ページング、いわゆるポケベル）が実施できる。この内、ステレオ放送は標準的に実施される。欧米では無線呼出しに電気通信事業者が参入するなど放送事業者とは別の事業者がいわば相乗りする事例もある。ノイズや混信に弱い中波放送から転換する例も多い。ヨーロッパでは狭い地域に多数の局が林立することから、第二次世界大戦直後の早い時期に転換が進みFM放送の普及が促進された。また、中波放送をサイマル放送することもあり、日本ではFM補完中継局、韓国では「標準FM放送」がある。一部の国ではデジタル化対応が行われている。詳細はデジタルラジオ#放送技術の規格を参照。