stanford-oval/wikipedia huggingface dataset:
低煙無鹵
原理

第一個商品化，用於線材包裝的热塑性LSZH材料是由Richard Skipper在1979年發現，由
Raychem申請專利。此發明的困難點將足量的無機填充物氢氧化铝（ALTH）整合到適當的熱塑性基材中，以抑制起火以及碳的形成，以此來減少有毒含碳氣體、煙以及碳粒的產生，同時還要維持線材包裝需要的電氣絕緣特性以及物理特性。這種可以達到阻燃要求的理想無機埴充料是氢氧化铝（ALTH）。若起火時，此材料會產生吸熱的化學反應
2Al(OH)3 → Al2O3 + 3H2O (180 °C)
上述反應會吸熱，而且會產生水蒸氣。很重要的是上述反應要和塑料的分解在相近溫度發生。水蒸氣會中斷所產生氣體的燃燒，也會在剩下材料表面形成碳層，並且捕捉所釋放的粒子。所需要大量的無機填充料（≈ 60%）也使燃燒的塑料比例可以減少。
參考資料

^  MSS Fibre Glossary of Terms
^  Why Use Halogen Free Cable?（页面存档备份，存于）
外部連結

Videos showing flammability of cables, including LSZH cables, based on jacket rating
Click here to learn more on Low Smoke Zero Halogen
What does the term LSZH mean?（页面存档备份，存于）
BASF Elastollan thermoplastic urethane (TPU)[永久]
↑  United States Patent 4322575
人民路街道

人民路街道可以指：
人民路街道 (邯郸市)，中华人民共和国河北省邯郸市丛台区下辖的街道
人民路街道 (呼和浩特市)，中华人民共和国内蒙古自治区呼和浩特市赛罕区下辖的街道
人民路街道 (大连市)，中华人民共和国辽宁省大連市中山区下辖的街道
人民路街道 (淮北市)，中华人民共和国安徽省淮北市相山区下辖的街道
人民路街道 (安庆市)，中华人民共和国安徽省安庆市迎江区下辖的街道
人民路街道 (九江市)，中华人民共和国江西省九江市浔阳区下辖的街道
人民路街道 (郑州市)，中华人民共和国河南省郑州市金水区下辖的街道
人民路街道 (平顶山市)，中华人民共和国河南省平顶山市石龙区下辖的街道
人民路街道 (濮阳市)，中华人民共和国河南省濮阳市华龙区下辖的街道
人民路街道 (衡阳市)，中华人民共和国湖南省衡陽市石鼓区下辖的街道
人民路街道 (郴州市)，中华人民共和国湖南省郴州市北湖区下辖的街道
人民路街道 (海口市)，中华人民共和国海南省海口市美兰区下辖的街道
人民路街道 (咸阳市)，中华人民共和国陕西省咸陽市秦都区下辖的街道
人民路街道 (白银市)，中华人民共和国甘肃省白银市白银区下辖的街道
人民路街道 (石嘴山市)，中华人民共和国宁夏回族自治区石嘴山市大武口区下辖的街道
人民路街道 (五家渠市)，中华人民共和国新疆维吾尔自治区五家渠市下辖的街道
人民路
什锦菜 (歌曲)

什锦菜（英語：）是一首流行于世界的美国乡村音乐风格的歌曲，其作者是汉克·威廉姆斯，于1952年首次公开出版，其歌名来自于美国一道名菜什锦饭，这首歌后来被全世界众多歌手翻唱，曾被赵薇翻唱为歌曲《小冤家》。
亚硝基染料

亚硝基染料（Nitroso Dye）是含有亚硝基发色基的染料。品种较少，主要为媒染染料，具有邻亚硝基苯酚的结构，可用于印花。
主要染料

媒染绿B（Naphthol Green B）
亚硝酸正戊酯

| --- | --- |

臨床資料
其他名稱: n-Pentyl nitrate; n-Amyl nitrite; Nitramyl
识别
CAS号: 463-04-7
PubChem CID: 10026
ChemSpider: 9632
UNII: H2HUX79FYK
ChEMBL: ChEMBL3188202
CompTox Dashboard（英语：） (EPA): DTXSID4022606 
ECHA InfoCard: 100.003.429 
化学
化学式: C5H11NO2
摩尔质量: 117.15 g·mol−1
3D模型（JSmol（英语：））: 交互式图像
沸点: 104 °C（219 °F） 
 SMILES CCCCCON=O 
 InChI InChI=1S/C5H11NO2/c1-2-3-4-5-8-6-7/h2-5H2,1H3 Key:CSDTZUBPSYWZDX-UHFFFAOYSA-N 
亚硝酸正戊酯是一種亚硝酸烷基酯，用作降血压药。它也可用于治疗氰化物中毒。
它也是一种用作情慾芳香劑的休闲化學藥品。
参考資料

↑  Record  in the GESTIS Substance Database from the IFA（英语：）
↑  . Human Metabolome Database.   [2021-03-16]. （原始内容存档于2020-02-17）.
于省吾

| 于省吾 |
| --- | --- |
于省吾塑像，位於吉林大學内
字: 思泊
号: 双剑誃主人、泽螺居士、夙兴叟
性别: 男
出生: (1896-12-23)1896年12月23日  大清奉天省海城县
逝世: 1984年7月17日(1984歲—07—17)（87歲）  中华人民共和国吉林省长春市
国籍:  中华人民共和国
母校: 奉天高等师范学校（？—1919）
职业: 讲师、教授
政党: 九三学社
于省吾（1896年12月23日—1984年7月17日），字思泊，号双剑誃主人、泽螺居士、夙兴叟，汉族，中国奉天府海城县（今辽宁省海城市）人。中国古文字学家、训诂学家。九三学社中央顾问委员会委员。
生平

清朝光绪二十二年十一月十九日（12月23日），生于海城县中央堡村的私塾教师家庭。1919年，毕业于奉天高等师范学校（在今辽宁省沈阳市）。任安东县志编辑、奉天省教育厅科员兼临时视学等职。1928年，任奉天萃升书院院监。1931年“九一八事变”前移居北平，历任辅仁大学讲师、教授，北京大学教授，燕京大学名誉教授等职。
1952年，任故宫博物院专门委员，后任中国训诂学会顾问，国务院古籍整理出版规划小组顾问等职。1955年起任东北人民大学（今吉林大学）历史系教授，古文字研究室主任兼校学术委员会委员。1984年在吉林长春逝世。文字训诂学家胡朴安推举许于省吾为“新证派”代表 。
参考资料

1 2  . 责任编辑：贾国湘. 中国吉林网. 2009年11月3日  [2014-04-17]. （原始内容存档于2012年11月1日） （简体中文）.
伊利兹斯科耶农村居民点

| 伊利兹斯科耶农村居民点 Илезское сельское поселение |
| --- | --- |
农村居民点
伊利兹斯科耶农村居民点在歐洲俄羅斯的位置
坐标：60°42′N 43°54′E﻿ / ﻿60.7°N 43.9°E﻿ / 60.7; 43.9
国家:  俄羅斯
州: 沃洛格达州
区: 塔尔诺加区
行政中心: 伊利兹斯其波戈斯特
人口（2015）
 • 總計: 496人
时区: MSK（UTC+3）
OKTMO编码: 19642420
伊利兹斯科耶农村居民点（俄语：）是俄罗斯联邦沃洛格达州塔尔诺加区所属的一个农村居民点。其下辖有19个居民点，行政中心为伊利兹斯其波戈斯特。据2015年统计，该农村居民点的人口为496人。
仓颉书

倉頡書是傳說中漢字最早的文字，相傳是漢字鼻祖倉頡所寫，總共只有28個字。
由於年代久遠，此書歷來被書法家懷疑為漢儒劉歆所作，而學者劉志一多年研究後認為，此書是用古彝文書寫的一段彝族先民祭祀的記錄。由於黃帝和彝族均出於西羌，所以這一說法有一定的根據。
學者劉志一將他它直譯為：「一妖來始，界轉臥鴉杈，祭神青腦，禍小馬念，師五除掃，幡齋解果，過鼠還魂。」意譯為：「一群妖魔剛來到，樹上烏鴉滿天飛；割青宰羊祭山神，念經消災騎馬歸；五位經師施法術，做齋完畢魂幡回；消滅鼠精魂歸位。」
出自

該文字出自宋淳化阁帖。
仑头-生物岛-大学城隧道

| 仑头-生物岛-大学城隧道> 概览 |
| --- | --- |
地点:  中国广东省广州市
状况: 使用中
起点: 科韵路
终点: 大学城中环西路

动工于: 2005年8月
贯通于: 2010年6月1日
启用于: 2010年9月1日
收费: 否
技术数据
长度: 2,448.568（1.52英里）
: 双向4车道
仑头-生物岛-大学城隧道，是广州市内一组隧道群，用于连接海珠区官洲街道的仑头村、官洲岛（广州国际生物岛）和番禺区小谷围岛的广州大学城，是大学城连接海珠区乃至市区的两条不收费的陆路之一（另一条为小洲便桥）。在正式命名中，仑头至生物岛一段被命名为仑头隧道，生物岛至大学城一段被命名为官洲隧道。
隧道于2005年8月动工建设，2010年9月1日建成通车，全长2.48公里，使用沉管法隧道穿越新造水道，双向四车道，西北出入口于仑头村接科韵路与南沙港快速，东南出入口接大学城中环西路，途中设出入口接官洲岛的螺旋大道。
建设期间，征用官洲村土地53019.41平方米，包括征用当地村民先人堂所在土地并迁移到新建的骨灰楼；2007年3月由于出入工地的建筑车辆撞伤当地村民，曾引发大规模的冲突，需派出防暴警察控制现场并封锁连接陆路。
隧道建成后，2013年1月小洲便桥禁止机动车使用，多条公交线路不再过江到达大学城或需绕道仑头、官洲来过江，4号线成为出入大学城的居民或师生的主要交通线路，使该线路段的载客量水涨船高。小洲便桥曾被检测为危桥而拟定拆除，在大学城师生的呼吁下改为维修加固，并于2014年8月20日恢复通行。
伊巴雷塔马

| 伊巴雷塔马 Ibaretama |
| --- | --- |
市镇
伊巴雷塔马在巴西的位置
坐标：4°48′14″S 38°45′10″W﻿ / ﻿4.8039°S 38.7528°W﻿ / -4.8039; -38.7528
国家: 巴西
州: 塞阿拉州
面积
 • 总计: 877.25 平方公里（338.71 平方英里）
海拔: 180 公尺（590 英尺）
人口（2007）
 • 總計: 12,591人
 • 密度: 14.4人/平方公里（37.2人/平方英里）
伊巴雷塔马（葡萄牙语：）是巴西塞阿拉州的一个市镇。总面积877.25平方公里，总人口12591人，人口密度14.4人/平方公里。
任天堂DS家族

| --- | --- |
2004: 任天堂DS
2005: 
2006: 任天堂DS Lite
2007: 
2008: 任天堂DSi
2009: 任天堂DSi XL
任天堂DS家族是任天堂开发，并於2004年起推出的掌上游戏机家族。前代機種為Game Boy家族，後續由任天堂3DS家族取代。
概要

DS家族最初作为附属Game Boy家族的实验性平台，但随后成为了任天堂旗舰掌机设备家族。其后继为任天堂3DS家族。
任天堂DS家族 > 任天堂DS

条目：任天堂DS
任天堂DS是日本電玩遊戲生產商，任天堂公司開發的攜帶型掌上遊樂器。DS是Dual Screen（雙螢幕）的縮寫。主要的特徵包括了雙螢幕顯示，其中下方的螢幕為觸控式螢幕；並配備有麥克風聲音輸入裝置和 Wi-Fi 無線網路功能。
北美地區在2004年11月21日發售任天堂DS，日本接著於12月2日上市。台灣於12月13日正式發售。而歐洲則在翌年2005年3月11日發售。中国大陆由任天堂合資廠商神遊科技使用「iQue DS（iDS）」的名稱推出，於2005年7月23日發售，定價為人民幣1,518元（包含GBA、NDS遊戲各一款）。
在2006年7月底，任天堂正式宣佈DS主機的日本銷量突破1000萬大關，為日本電玩史上銷售最快的主機。至2008年12月底，任天堂DS全球銷售量即將突破9700萬部，其中日本2561萬部，美國3217萬部，歐洲及其他地區3976萬部，即一星期平均銷售約40萬部。在2009年末，DS系列已經達到1.3億的主機銷量，打破先前自家Game Boy的銷量紀錄，成為全世界最高銷量的掌上遊戲機。
任天堂DS家族 > 任天堂DS Lite

条目：任天堂DS Lite
任天堂DS Lite是任天堂DS的上級機種位置。基本的性能上維持於原本的狀態，為了提高攜帶方便性而更加小型輕量化，外觀設計也換新。發售時原本是以「任天堂DS的上級機種」為由，和從來的DS並行販售，但因為DS爆發性熱潮的幫助，與相同發售過程的Game Boy Advance和Game Boy Advance SP同樣的，現在實際上以任天堂DS的後繼機進行生產、普及。
日本於2006年3月2日、澳洲於6月1日、美國於6月11日、歐洲於6月23日、中國大陸是以iQue DS Lite的名稱於6月29日、韓國於2007年1月18日發售。
售价方面，日本地區的建議售價為16800日圓（含稅）。中國大陸版“iQue DS Lite”(iDSL)建議售價1198元人民幣，台灣版建議售價為4800新台幣。北美地區版本建議售價為129.99美元。
任天堂DS家族 > 任天堂DSi

条目：任天堂DSi
任天堂DSi是任天堂DS及任天堂DS Lite的上級機種，也是任天堂DS系列的第三代機種。本機名稱任天堂DSi中所使用的小寫英文字母i是英語用作第一人稱的「I」，即「我」的意思，與另一任天堂家用遊戲機Wii所代表的「We」，即「我們」的意思相對，而DSi就是My DS，即「我的DS」，一人一機的意思。
本遊戲機於2008年11月1日於日本發售，2009年4月5日和2009年4月3日分别于美国及欧洲地区发售，神游科技在2009年12月17日于中国大陆发售“iQue DSi”。2010年4月15日于韩国发售。
任天堂DSi有衍生机型任天堂DSi LL/XL。最大特色為雙螢幕尺寸加大。解析度和功能上則無任何差異。任天堂DSi LL/XL將會與DSi並行發售，用戶可以自行決定購買何種版本。
何宏禧

何宏禧 (Ivan W H Ho), 現任香港理工大學電機及電子工程學系副教授 。
生平

何宏禧分別於2004及2006年，獲得香港中文大學信息工程學系工程學學士及哲學碩士學位，及於2010年，獲得英國倫敦帝國學院電機及電子工程學系哲學博士學位。在修讀博士學位其間，他曾參與由英國工程和自然科學研究委員會及英國運輸局資助的MESSAGE項目，及由美國和英國政府資助的ITA項目。於2007年夏季，他到了位於美國紐約州的IBM T. J. Watson 研究所進行網絡管理研究工作。博士畢業後，他在倫敦帝國學院的系統工程推動小組任博士後研究員，進行智能交通運輸系統研究。於2010年九月，他與數位學者及科研人員於香港科學園共同創立了網進流動科技有限公司，並擔任首席研發工程師，從事無線網狀網絡研究。
參考資料

↑  .   [2018-09-03]. （原始内容存档于2013-02-21）.
↑  .   [2013-01-24]. （原始内容存档于2013-01-03）.
↑  .   [2013-01-24]. （原始内容存档于2013-01-03）.
↑  .   [2013-01-24]. （原始内容存档于2018-09-03）.
↑  .   [2020-09-29]. （原始内容存档于2019-01-28）.
相關條目

香港中文大學校友列表
外部連結

個人網頁（页面存档备份，存于）（英文）
代尔切沃市镇

代尔切沃市镇所在位置
代尔切沃市镇（馬其頓語：），北马其顿共和国的一个市镇。该市镇东北临保加利亚，西临馬其頓卡梅尼察市鎮、维尼察市镇，南邻贝罗沃市镇、佩赫切沃市鎮。行政中心为代尔切沃。总面积422.39 km2 (163.1 sq mi)，总人口17,505。
居民点

代尔切沃市镇包含1镇、21村。
伊斯法納

伊斯法納是吉爾吉斯的城鎮，由巴特肯州負責管轄，位於該國西南部，距離首府巴特肯150公里，始建於十六世紀，面積2.52平方公里，海拔高度1,320米，2005年人口26,915。
外部連結

MSN Map[永久]
The Official website of Isfana （页面存档备份，存于）
代薩鄉 (多爾日縣)

43°52′N 23°02′E﻿ / ﻿43.867°N 23.033°E﻿ / 43.867; 23.033
代薩鄉（羅馬尼亞語：），是羅馬尼亞的鄉份，位於該國西南部，由多爾日縣負責管轄，處於布加勒斯特以西250公里，每年平均降雨量919毫米，海拔高度36米，2007年人口4,912。
參考資料

Romanian census data, 2002 Retrieved on April 12, 2016.
二階超無限邊形鑲嵌

在幾何學中，二階超無限邊形鑲嵌又稱為二階偽多邊形鑲嵌（英語：）是一種雙曲鑲嵌，由二個超無限邊形組成，可以視為二階無限邊形鑲嵌在羅氏幾何中的一個類比。其具有偽多邊形群（英语：）（pseudogonal group）的對稱性，其考克斯特群為[iπ/λ,2]，在施萊夫利符號會用{∞, 2}表示，但有時會被記為{iπ/λ,2}以區別二階無限邊形鑲嵌。
相關鑲嵌

| 對稱群：[iπ/λ,2], (*∞22)>  | 對稱群：[iπ/λ,2], (*∞22)>  | 對稱群：[iπ/λ,2], (*∞22)>  | 對稱群：[iπ/λ,2], (*∞22)>  | 對稱群：[iπ/λ,2], (*∞22)>  | 對稱群：[iπ/λ,2], (*∞22)>  | 對稱群：[iπ/λ,2], (*∞22)>  | [iπ/λ,2]+, (∞22)>  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |

| {iπ/λ,2} | t{iπ/λ,2} | r{iπ/λ,2} | 2t{iπ/λ,2}=t{2,iπ/λ} | 2r{iπ/λ,2}={2,iπ/λ} | rr{iπ/λ,2} | tr{iπ/λ,2} | sr{iπ/λ,2} |  |  |  |
半正對偶


| V∞2 | V2.∞.∞ | V2.∞.2.∞ | V4.4.∞ | V2∞ | V2.4.∞.4 | V4.4.∞ | V3.3.2.3.∞ |  |  |  |
| 球面鑲嵌 | 球面鑲嵌 | 二面體 | 二面體 | 二面體 | 二面體 | 二面體 | 二面體 | 二面體 | 歐式鑲嵌 仿緊空間 | 雙曲鑲嵌 非緊空間 |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
|  {1,2}  |  {2,2}  |  {3,2}  |  {4,2}  |  {5,2}  |  {6,2}  |  {7,2}  |  {8,2}  | ...    |  {∞,2}  |  {iπ/λ,2}  |
參見

二階無限邊形鑲嵌
參考文獻

↑  Johnson, Norman W. . . Cambridge University Press. 2018: 141.
伊利克·玉素甫

伊利克·玉素甫（?—?），喀喇汗国阿里特勤的儿子。
阿里特勤去世后，伊利克·玉素甫继承了其父在中亚河中地区的基业。喀喇汗国阿里系对哈仑系（阿里特勤的兄弟们）占据河中不服，纳赛尔·阿里的两个儿子穆罕默德·艾因·道拉、伊卜拉欣·桃花石·博格拉汗先后起兵反对伊利克·玉素甫。伊利克·玉素甫后来放弃撒马尔罕，投奔东喀喇汗国。贝里特勤在河中建立西喀喇汗国。
参考资料

魏良弢《喀喇汗王朝史》
亨敦 (喬治亞州)

| 亨敦 |
| --- | --- |
非建制地區
亨敦亨敦在喬治亞州的位置
坐标：31°16′49″N 84°50′12″W﻿ / ﻿31.28028°N 84.83667°W﻿ / 31.28028; -84.83667
國家: 美国
州份: 喬治亞州
縣: 厄爾利縣
海拔: 59 公尺（194 英尺）
时区: 北美东部时区（UTC-5）
 • 夏时制: EDT（UTC-4）
電話區號: 229（英语：）
地名信息系统ID: 315334
亨敦（英語：）是位於美國喬治亞州厄爾利縣的一個非建制地區。該地的面積和人口皆未知。
地理

亨敦的座標為31°16′49″N 84°50′12″W﻿ / ﻿31.28028°N 84.83667°W﻿ / 31.28028; -84.83667，而該地的平均海拔高度為59米（即194英尺）。
參考文獻

1 2  . . United States Geological Survey.
伊斯梅特·阿特勒

| 伊斯梅特·阿特勒 |
| --- | --- |
出生: 1931年  科贊 
职业: 新聞工作者、业余摔跤手 
伊斯梅特·阿特勒（土耳其語：，1931年—2014年4月4日），土耳其男子摔跤运动员。他曾代表土耳其参加1952年、1956年和1960年夏季奥林匹克运动会摔跤比赛，其中1960年奥运会获得一枚金牌。
参考资料

↑  . International Olympic Committee.   [2022-10-29].
仙踪镇

| 仙踪镇 |
| --- | --- |
镇
国家:  中华人民共和国
上级行政区: 含山县
村级区划单位数:  19 3社区 16行政村 
时区: 北京时间（UTC+8）
行政区划代码: 34 05 22 106
电话区号: +86 
仙踪镇，是中华人民共和国安徽省马鞍山市含山县下辖的一个乡镇级行政单位。
行政区划

仙踪镇下辖以下地区：
富民社区、​姚庙社区、​河刘社区、​八熊村、​江淮村、​五里村、​前卫村、​东洪村、​玉皇村、​石婆村、​六衖村、​长山村、​葛集村、​金洼村、​骆集村、​邵集村、​再安村、​岗胡村和张塘村。
参考资料

↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
↑  . 中华人民共和国国家统计局. 2023-06-30 （中文（中国大陆））.
人生學校

人生學校（）是一個教育組織，於2008年夏，由作家艾倫．狄波頓創立，主旨在透過人文教育緩解現代人心理壓力、提高情感智慧。以知識和文化為基礎，探討各種人生課題，例如自我、愛情、工作。不同於一班制式的解答，從哲學、心理學、文學和藝術等人文學科中，找尋意想不到的應證與觀點，拓展每一個人獨立思考和具體實踐的可能性。
人生學校目前遍佈世界12個城市，包含英國倫敦（總部）、荷蘭阿姆斯特丹、澳大利亞墨爾本、澳大利亞雪梨、法國巴黎、比利時安特衛普、土耳其伊斯坦堡、巴西聖保羅、德國柏林、韓國首爾、以色列特拉維夫，以及台灣台北。
2017年6月，人生學校在台北開幕。
人生學校的課程面相廣闊，例如：如何展開更好的對話、如何平衡生活與工作、如何讓愛情天長地久。也同時提供企業訓練，提升工作上的情緒成熟度，涵蓋領導、溝通、創新、生產力等主題系列課程。在YouTube頻道上每週發布三次影片，共有250萬訂閱者。內容涵蓋了和情感、文化相關的各種主題。
2017年韓國tvN電視台以此為基礎，開設了新的綜藝節目《人生學校》，由鄭埻夏、安貞煥、全慧彬、金勇萬、李洪基、郭東延等人共同主持。
相關書籍

以下系列書籍已翻譯成繁體中文出版：
《艾倫·狄波頓的人生學校》系列，由時報文化出版社出版。包含《關於變老這件事》、《開始享受獨處》、《擁抱逆境的生活練習》、《找回好情緒的日常練習》、《喚醒感官的大自然練習》、《運動鍛煉你的思考力》。
《人生學校話題新書》系列，由先覺出版社出版。包含《如何改變世界》、《如何找到滿意的工作》、《如何不為錢煩惱》、《如何維持情緒健康》、《如何在數位時代活得自在》、《如何思考性這回事》。
参考

↑  . The School of Life Taipei.   [2017-09-15]. （原始内容存档于2020-11-29） （中文（臺灣））.
↑  發自香港, 特約撰稿人 李寶怡. . 端傳媒 Initium Media.   [2017-09-15]. （原始内容存档于2020-10-31） （中文（香港））.
↑  . 獨立評論@天下：最混亂的時代 最清明的聲音 - 天下雜誌.   [2017-09-15]. （原始内容存档于2017-09-15）.
↑  . www.facebook.com.   [2017-09-15]. （原始内容存档于2019-02-22） （中文（简体））.
↑  . YouTube.   [2017-09-18]. （原始内容存档于2021-02-11） （中文）.
伊万·克拉皮奇

| 伊万·克拉皮奇 |
| --- | --- |
出生: 1989年2月14日  （35歲） 里耶卡 
职业: 水球运动员 
伊万·克拉皮奇（克羅埃西亞語：，1989年2月14日—），克罗地亚男子水球运动员。他曾代表克罗地亚国家队参加2016年夏季奥林匹克运动会水球比赛，获得一枚银牌。
参考资料

↑  . International Olympic Committee.   [2022-07-27]. （原始内容存档于2022-07-27）.
亚洲鳍趾䴘

| 亚洲鳍趾䴘 |
| --- | --- |

保护状况
 極危（IUCN 3.1）
科学分类 
界：: 动物界 Animalia
门：: 脊索动物门 Chordata
纲：: 鸟纲 Aves
目：: 鹤形目 Gruiformes
科：: 日鷉科 Heliornithidae
属：: 亚洲鳍趾䴘属 Heliopais
种：: 亚洲鳍趾䴘 H. personatus
二名法
Heliopais personatus (Gray, 1849)

（，学名：），是鹤形目日鷉科的一种鸟类。
特征

亚洲鳍趾䴘体重约510克，翼长约23.95厘米，喙宽度约6.6毫米，喙厚度约12.2毫米，嘴峰长约52.8毫米，跗蹠长约47.6毫米，尾长约108.2毫米。
亚洲鳍趾䴘是留鸟，栖息在湖泊、沼泽等湿地环境，它们是食肉动物，主要以鱼类、甲壳动物、软体动物等水生动物为食。它们分布在孟加拉国和印度东北部到印度支那；越冬于苏门答腊岛。
参考资料

↑  BirdLife International. . 6.0b. 2022  [2022-08-17]. （原始内容存档于2019-09-25）.
↑  International Ornithologists' Union. Gill, Frank; Donsker, David; Rasmussen, Pamela , 编. .   [2022-08-17]. （原始内容存档于2022-04-01） （英语）.
↑  Tobias, J. A.; Sheard, C.; Pigot, A. L.; Devenish, A. J. M.; Yang, J.; Sayol, F.; Neate‐Clegg, M. H. C.; Alioravainen, N.; Weeks, T. L.; Barber, R. A.; Walkden, P. A. . Ecology Letters. 2022, 25 (3)  [2022-08-17]. ISSN 1461-023X. doi:10.1111/ele.13898. （原始内容存档于2022-08-07） （英语）.
↑  Clements, J. F.; Schulenberg, T. S.; Iliff, M. J.; Billerman, S. M.; Fredericks, T. A.; Gerbracht, J. A.; Lepage, D.; Sullivan, B. L.; Wood, C. L. . 2021  [2022-08-17]. （原始内容存档于2022-03-12）.
传输结束字符

传输结束字符 (英：End-of-Transmission character，缩写：EOT) 是一个控制字符，用于表示传输的结束。
在ASCII与Unicode，该字符编码为U+0004 <control-0004> 。键盘输入方式为Ctrl+D，脱字符表示法为^D。Unicode提供字符U+2404 ␄ SYMBOL FOR END OF TRANSMISSION ，HTML：&#9220;，以供EOT的图形化显示时使用。此外，U+2301 ⌁ ELECTRIC ARROW也可用于图形化显示。在Unicode里，EOT被称为“symbol for End of Transmission”
在Unix

在Unix终端，用于标记文件结尾。
Unix中的EOT字符不同于DOS中的Control+Z。前者并不实际出现在文件中作为文件结尾；后者却是实际出现在文件中。
亨德里克森鎮區 (明尼蘇達州哈伯德縣)

| 亨德里克森鎮區 Hendrickson Township |
| --- | --- |
行政鎮區
亨德里克森鎮區亨德里克森鎮區在明尼蘇達州的位置
坐标：47°12′34″N 94°49′33″W﻿ / ﻿47.20944°N 94.82583°W﻿ / 47.20944; -94.82583
國家: 美国
州份: 明尼蘇達州
縣: 哈伯德縣
面积
 • 总计: 92.78 平方公里（35.82 平方英里）
 • 陸地: 90.79 平方公里（35.05 平方英里）
 • 水域: 0.99 平方公里（0.38 平方英里）
海拔: 432 公尺（1,417 英尺）
人口（2020）
 • 總計: 307人
 • 密度: 3.31人/平方公里（8.57人/平方英里）
时区: CST（UTC-6）
 • 夏时制: CDT（UTC-5）
電話區號: 218（英语：）
GNIS ID: 664450
亨德里克森鎮區（英語：）是位於美國明尼蘇達州哈伯德縣的一個行政鎮區。
地方資料

亨德里克森鎮區的面積為92.78平方千米，當中陸地面積為90.79平方千米，而水域面積為0.99平方千米。根據2020年美國人口普查的數據，當地共有人口307人，而人口密度為每平方千米3.31人。
參考文獻

1 2  . 2020 United States Census. United States Census Bureau.   [2021-09-14].
↑  . . United States Geological Survey.
普羅維傑尼亞灣

64°25′00″N 173°24′00″W﻿ / ﻿64.41667°N 173.40000°W﻿ / 64.41667; -173.40000
普羅維傑尼亞灣（俄语：），是俄羅斯的海灣，位於該國東部楚科奇半島，屬於白令海中阿納德爾灣的一部分，該海灣寬34公里，平均水深150米。
參考資料

East coast of Plover Bay showing the part protected by a spit from ocean waves, the end of which appears at the right.
East coast of Plover Bay showing the change in character at the point where the spit leaves the shore.
Eskimos in umiak alongside the George W. Elder.
Eskimo woman and children in camp dressed in reindeer-skin parkas and sealskin boots.
Eskimo summer houses, or topeks, constructed of reindeer skins stretched over poles. View looking toward sea.
Eskimo village at Plover Bay. Skin house for summer use on the left. Turf wall of a winter house on the right.
Frame of winter house of Eskimo at Plover Bay. The posts are jaw bones of whales. The filling between them is turf.
Provideniya on Wikimapia（页面存档备份，存于）
Provideniya photos
Lake Istikhed （页面存档备份，存于）
Provideniya Bay （页面存档备份，存于）
Provideniya Bay looking toward the sea （页面存档备份，存于）
Ureliki on Wikimapia （页面存档备份，存于）
Ureliki photo gallery （页面存档备份，存于）
More photos of Ureliki
伊赫桑·毛拉纳·穆斯托法

| --- | --- |

个人资料
出生:  (1995-11-18) 1995年11月18日（28歲）
身高: 
体重: 
运动
国家／地区:  印度尼西亞

主項：男子單打
職業戰績: 116勝–70負（男單）
最高世界排名: 第17位（男單） （2016年9月15日）
現時世界排名: 第41位（男單） （2018年1月25日）
 

BWF id: 74154
官方檔案: BWF Tournamentsoftware BWF Fansites
 
最近更新于：2018年1月25日
| 獎牌記錄> 男子羽毛球 | 獎牌記錄> 男子羽毛球 | 獎牌記錄> 男子羽毛球 | 男子羽毛球 |
| --- | --- | --- | --- |
| 代表  印度尼西亞 | 代表  印度尼西亞 | 代表  印度尼西亞 |  |
| 汤姆斯杯 | 汤姆斯杯 | 汤姆斯杯 |  |
|  |  2014年 新德里  | 男子團體 |  |
|  |  2016年 崑山  | 男子團體 |  |
|  |  2018年 曼谷  | 男子團體 |  |
| 亞洲運動會 | 亞洲運動會 | 亞洲運動會 |  |
|  |  2018年 雅加達  | 男子團體 |  |
| 亞洲羽毛球團體錦標賽 | 亞洲羽毛球團體錦標賽 | 亞洲羽毛球團體錦標賽 |  |
|  |  2016年 海得拉巴  | 男子團體 |  |
|  |  2018年 亞羅士打  | 男子團體 |  |
| 亞洲羽毛球混合團體錦標賽 | 亞洲羽毛球混合團體錦標賽 | 亞洲羽毛球混合團體錦標賽 |  |
|  |  2019年 香港  | 混合團體 |  |
| 东南亚运动会 | 东南亚运动会 | 东南亚运动会 |  |
|  |  2015年 新加坡  | 男子團體 |  |
|  |  2017年 吉隆坡  | 男子團體 |  |
|  |  2017年 吉隆坡  | 男子單打 |  |
| 世界青年羽毛球錦標賽 | 世界青年羽毛球錦標賽 | 世界青年羽毛球錦標賽 |  |
|  |  2013年 曼谷  | 混合團體 |  |
|  |  2013年 曼谷  | 男子單打 |  |
| 亞洲青年羽毛球錦標賽 | 亞洲青年羽毛球錦標賽 | 亞洲青年羽毛球錦標賽 |  |
|  |  2013年 亞庇  | 混合團體 |  |
伊赫桑·毛拉纳·穆斯托法（印尼語：，1995年11月18日—），印尼男子羽毛球單打運動員。
簡歷

2013年7月，伊赫桑·毛拉纳·穆斯托法代表印尼隊出戰马来西亚沙巴州亞庇市舉行的亞洲青年羽毛球錦標賽，在率先進行的混合团体赛中，印尼队以2比3不敌韩国队，获得团体赛亚军。
同年10月，伊赫桑·毛拉纳·穆斯托法代表印尼隊出戰泰国曼谷舉行的世界青年羽毛球錦標賽。在率先進行的混合团体赛中，印尼队以2比3不敌韩国队，获得团体赛亚军；而在個人賽事中，伊赫桑·毛拉纳·穆斯托法則在準決賽以1比2（18-21、21-13、16-21）不敌韩国的許侊熙，最後僅奪季軍。
2014年10月，伊赫桑·毛拉纳·穆斯托法出戰荷蘭羽毛球大獎賽，在男單决赛中激战5局以2比3（11-10、6-11、7-11、11-1、9-11）不敌赛会13号种子、印度名将的阿贾伊·贾亚拉姆，赢得亚军。
2015年9月，伊赫桑·毛拉纳·穆斯托法出戰泰國羽毛球黃金大獎賽，在男單决赛中与韩国前一哥的李炫一展开双方之间的较量，以1比2（17-21、24-22、8-21）不敌对手。
2017年11月，伊赫桑·毛拉纳·穆斯托法出戰澳門羽毛球黃金大獎賽，在男單决赛中以0比2（16-21、10-21）不敌日本一哥的桃田賢斗，赢得亚军。
簡歷 > 首闯四强

2016年5月，伊赫桑·毛拉纳·穆斯托法出戰。首圈，表现强势以2比1（21-16、21-10）横扫法国的布里斯·利弗德斯。次圈，以2比0（21-18、21-15）轻取中国的黄宇翔。八强中，陷入苦战以2比1（17-21、21-12、21-12）打败了英格兰的拉吉夫·欧斯夫。四强中，面对赛会2号种子、马来西亚一哥的李宗伟，以0比2（9-21、18-21）落败，创下个人首次最佳的超级赛战绩。
主要比賽成績

只列出曾進入準決賽的國際賽事成績：
| 年份 | 賽事 | 公開賽級別 | 項目 | 成績 |
| --- | --- | --- | --- | --- |
| 2013年 | 亞洲青年羽毛球錦標賽 | 其他 | 混合團體 | 準決賽 |
| 2013年 | 世界青年羽毛球錦標賽 | 其他 | 混合團體 | 亞軍 |
| 2013年 | 世界青年羽毛球錦標賽 | 其他 | 男子單打 | 準決賽 |
| 2014年 | 荷蘭羽毛球大獎賽 | 大獎賽  | 男子單打 | 亞軍 |
| 2015年 | 波蘭羽毛球公開賽 | 國際挑戰賽  | 男子單打 | 準決賽 |
| 2015年 | 東南亞運動會羽毛球比賽 | 其他 | 男子團體 | 金牌 |
| 2015年 | 泰國羽毛球黃金大獎賽 | 黃金大獎賽  | 男子單打 | 亞軍 |
| 2015年 | 中華台北羽毛球大獎賽 | 大獎賽  | 男子單打 | 準決賽 |
| 2015年 | 澳門羽毛球黃金大獎賽 | 黃金大獎賽  | 男子單打 | 準決賽 |
| 2016年 | 亞洲羽毛球團體錦標賽 | 其他 | 男子團體 | 冠軍 |
| 2016年 | 湯姆斯盃 | 其他 | 男子團體 | 亞軍 |
| 2016年 | 印尼羽毛球首要超級賽 | 首要超級賽  | 男子單打 | 準決賽 |
| 2017年 | 東南亞運動會羽毛球比賽 | 其他 | 男子團體 | 金牌 |
| 2017年 | 東南亞運動會羽毛球比賽 | 其他 | 男子單打 | 銅牌 |
| 2017年 | 澳門羽毛球黃金大獎賽 | 黃金大獎賽  | 男子單打 | 亞軍 |
| 2018年 | 亞洲羽毛球團體錦標賽 | 其他 | 男子團體 | 冠軍 |
| 2018年 | 湯姆斯盃 | 其他 | 男子團體 | 季軍 |
| 2018年 | 秋田羽毛球大師賽 | 超級100賽 | 男子單打 | 亞軍 |
| 2018年 | 亞洲運動會羽毛球比賽 | 其他 | 男子團體 | 银牌 |
| 2018年 | 印尼邦加勿里洞羽球大師賽 | 超級100賽 | 男子單打 | 冠軍 |
| 2019年 | 亞洲羽毛球混合團體錦標賽 | 其他 | 混合團體 | 季軍 |
| 2019年 | 俄羅斯羽毛球公開賽 | 超級100賽 | 男子單打 | 準決賽 |
| 2021年 | 奧地利羽毛球公開賽 | 國際系列賽  | 男子單打 | 準決賽 |
主要對賽紀錄

伊赫桑·毛拉纳·穆斯托法與主要對手的對賽成績如下（只列出對賽三次或以上對手，截至2018年4月25日）：
參考資料

1 2  . 2015 SEA Games Singapore. （原始内容存档于2015-06-16）. （英文）
↑  BWF World Ranking - Ranking of Ihsan Maulana MUSTOFA (74154)（英文）
↑  BWF World Ranking - BWF世界排名榜 (1/25/2018) - Men's singles（英文）
↑  . Persatuan Bulutangkis Seluruh Indonesia.   [2019-12-30]. （原始内容存档于2017-06-23）.
↑  . BWF content.   [2018-04-25]. [永久]
云台寺

| 云台寺> 山东省文物保护单位 |
| --- | --- |
地址: 山东省济南市历城区港沟街道
分类: 石窟寺及石刻
时代: 明、清
编号: 4-415-4-005
认定时间: 2013年10月10日
云台寺，位于山东省济南市历城区港沟街道。是中华人民共和国山东省省级文物保护单位之一。
2013年，列入第四批山东省文物保护单位，该文物保护单位是一座石窟寺及石刻。
参考

↑  山东省人民政府. . sd.dzwww.com. 大众日报. 2013-11-15  [2018-12-06]. （原始内容存档于2018-12-06）.
二階邏輯

在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。
一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想法。论域是可以在其上量化的个体元素的集合。一阶逻辑只包括取值为论域的个体元素的变量和量词。例如在一阶句子∀x(x ≠ x + 1)中变量x被用来表示一个任意的个体。二阶逻辑扩展了一阶逻辑，通过增加取值在个体的集合上变量和量词。例如，二阶句子 \forall S\forall x{\Big (}x\in S\vee x\notin S{\Big )}声称对于所有个体的集合S和所有的个体x，要么x在S中要么不在（这是二值原理）。最一般的二阶逻辑还包括量化在函数上的变量，和在下面语法章节解说的变量。
二阶逻辑的表达能力

二阶逻辑比一阶逻辑更有表达力。例如，如果论域是所有实数的集合，我们可以在一阶逻辑中断言每个实数都有一个加法逆元：∀x ∃y(x + y = 0)，但是需要二阶逻辑来断言实数的集合的上确界性质，它声称实数的所有有界的、非空集合都有上确界。如果论域是所有实数的集合，下列二阶逻辑句子表达了最小上界性质：
在二阶逻辑中，有可能写出声称“论域是有限的”或“论域有可数势的”这样的形式句子。要说论域是有限的，可使用声称从论域到自身的所有单射函数都是满射的句子。要声称论域有可数势，可以使用声称在所有的论域的两个無限子集之间存在双射的句子。从向上勒文海姆–斯科伦定理得出在一阶逻辑内不可能特征化有限性或可数性。
语形

二阶逻辑的语法规定那些表达式是合式公式。除了一阶逻辑的语形之外，二阶逻辑包括了很多新「种类」（有时叫做「类型」）的变量。包括：
取值在个体的集合上的一类变量。如果S是此类变量而t是一阶项，则表达式t ∈ S（也写为S(t)或 St）是原子公式。个体的集合还可以写为论域上的一元关系。
对于所有自然数k，有取值在所有在个体上的k元关系的一类变量。如果R是这样的k元关系变量而t1,..., tk是一阶项，则表达式R(t1,...,tk)是原子公式。
对于所有自然数k，存在取值在接受论域的k个元素并返回这个论域的一个元素的函数上一类变量。如果f是这样的k元函数符号而t1,...,tk是一阶项，则表达式f(t1,...,tk)是一阶项。
对于刚才定义的每类变量，允许使用全称和/或存在量词来建造公式。所以有很多种类的量词，每类变量两个。
在二阶逻辑中的「句子」同一阶逻辑一样也是没有（任何种类的）自由变量的合式公式。
在「一元二阶逻辑」中，只增加了给论域的子集的变量。有所有种类的变量的二阶逻辑有时叫做「完全二阶逻辑」来区别于一元（monadic）二阶逻辑。
同于一阶逻辑，二阶逻辑可以在特定二阶语言中包含非逻辑符号。但是它们是受限制于它们形成的所有项必须要么是一阶项（它可以代换一阶变量）要么是二阶项（它可以代换适当种类的二阶变量）。
语义

二阶逻辑的语义建立每个句子的意义。不像只有一个标准语义的一阶逻辑，二阶逻辑有两个常用的不同语义：「标准语义」和「Henkin语义」。在这些语义中，一阶量词和逻辑连结词的解释是同于一阶逻辑的。只有在二阶量词变量的新量词需要定义语义。
在标准语义中，量词取值于适当种类的“所有”集合或函数上。所以一旦确立了一阶变量的论域，余下的量词的意义就固定了。这种语义给予了二阶逻辑强大的表达能力，本文采用了这种语义。
在Henkin语义中，每个二阶变量种类都有它自己取值的特定论域，它可以是所有此类的所有集合或函数的真子集。Leon Henkin（1950）定义了这种语义并证明了对一阶逻辑成立的哥德尔完全性定理和紧致性定理，在有Henkin语义的二阶逻辑中继续有效。这是因为Henkin语义几乎等同于多种类一阶语义，它通过增加额外的变量种类来模拟二阶逻辑的新变量。带有Henkin语义的二阶逻辑不比一阶逻辑有更大表达能力。Henkin语义经常用在二阶算术的研究中。
演绎系统

逻辑的演绎系统是确定哪些公式序列构成有效证明的一组推理规则和逻辑公理。很多演绎系统可以用于二阶逻辑，尽管它们都不能针对标准语义（见後）是完备的。每个这种系统都是可靠的，这以为它们可以证明的任何句子在适当的语义中都是逻辑有效的。
可用的最弱的演绎系统由标准的一阶逻辑演绎系统（比如自然演绎）扩充上对二阶项的代换规则。这种演绎系统常用于二阶算术的研究中。
Shapiro (1991)和Henkin（1950）考虑的演绎系统想扩充的一阶演绎系统增加了内涵公理和选择公理二者。这些公理对于二阶语义是可靠的。它们对于Henkin语义是可靠的，只要考虑的是满足内涵和选择公理的Henkin模型。
为什么二阶逻辑不能归约成一阶逻辑

一个乐观的人可能尝试按下述方法把二阶逻辑归约成一阶逻辑。把论域从所有实数的集合扩展为所有实数集合的集合。向语言增加一个新的二元谓词：成员资格关系。这样，二阶的句子就成为一阶的了。
但要注意这个论域被断言为包括实数的「所有」集合。这个需求没有被简约到到一阶句子! 真有某种方式来完成这种简约吗?经典的Löwenheim-Skolem定理蕴含了这是没有的。这个定理蕴含了有某个「R」的可数无限子集，它的成员我们称为“内在数”，和某个内在数集合的可数无限搜集，它的成员我们称为“内在集合”，而由内在数和内在集合组成的这个论域满足实数和实数集合所满足的所有一阶句子。特别是，它有效的满足一种最小上界公理：
所有内在数的集合的可数性（联合上这些形成稠密的有序集合的事实）必然的蕴含了这个集合不满足完全的最小上界公理。所有“内在”集合的集合的可数性必然的蕴含了它不是所有“内在”数的集合的“所有”子集的集合（因为康托尔定理蕴含了可数无限集合的所有子集的集合是不可数无限集合）。这个构造密切关联于斯科伦悖论。
所以实数和实数的集合的一阶理论可以有很多模型，其中一些是可数的。但是实数的二阶理论只有一个模型。这可以从只有一个阿基米德完备有序域的经典定理，和所有阿基米德完备有序域的在二阶逻辑中可表达的事实得出。这证实了实数的二阶理论不能简约到一阶理论，在实数的二阶理论之後一个模型但对应的一阶理论有很多模型的意义上。
有很多极端例子证实带有标准语义的二阶逻辑要比一阶逻辑表达能力强。有一个有限二阶理论其唯一的模型是实数的，如果连续统假设成立，而它没有模型如果连续统假设不成立。这个理论由把实数刻画为完备阿基米德有序域加上声称这个域是第一个不可数势的公理的所有有限理论构成，这个例子展示了二阶逻辑中的一个句子是否是相容的是非常微妙的问题。
下一节中描述二阶逻辑的另外的限制。
二阶逻辑和元逻辑结论

作为哥德尔不完全性定理的必然结果，你不要打算让二阶公式的“可证明性”能给出同时满足下面三个想要的特性的语言的标准释义（或简化的一个标准语义）:
（可靠性）每个可证明的二阶逻辑句子是普遍有效的，就是在所有域上有效。
（完备性）每个普遍有效的二阶公式是可证明的。
（实效性）有一个证明检验算法。（这第三个条件经常被接纳不过它没有被明确的规定。）
有时候这表达为二阶逻辑不容许完备的证明论。
在这方面二阶逻辑不同于一阶逻辑，至少这是逻辑学家避免使用它的一个理由。（确切的说，蒯因有时以此作为不把二阶逻辑作为逻辑看待的理由）。按照George Boolos所指出的，虽然这种不完备性只进入了多元二阶逻辑中：在n-元谓词上量化的逻辑，这裡的n > 1。但是限制于一元谓词的一元二阶逻辑不只是完备的和相容的（consistent）而且是可判定性的--就是说，每个真定理的证明不只是可能的而且可以通过机械方法确定的达到。在这方面，一元二阶逻辑比多元一阶逻辑更加进步：一元二阶逻辑是完备的，相容的和可判定的，但多元一阶逻辑，尽管是相容的和完备的，它不再是可判定的（参见停机问题）。
在1950年Leon Henkin用Henkin语义给出对二阶逻辑的充分的（就是说完备的和可靠的）和简洁的证明。在标准和Henkin语义之间唯一区别是，在Henkin语义中谓词变量的域是（这个域的）个体的集合的一个任意集合，而不是（这个域的）个体的所有集合的集合。他的这个证明同对一阶函数演算做的证明在一起进行的。这两个结论包含在他的学位论文中。
二阶逻辑的历史和有争议的价值

当谓词逻辑被弗雷格（独立的和更有影响力的皮尔士，他提出了术语“二阶逻辑”）介绍给数学社区的时候，他确实使用不同的变量来区分在物体上量化和在属性和集合上的量化；但是他自己没有去区分出两类不同的逻辑。在发现罗素悖论之後，认识到了他的系统有些毛病。最终逻辑学家建立了以各种方式做限制的弗雷格逻辑—现在叫做一阶逻辑—除去了这个问题：集合和谓词在一阶逻辑中不能被单独量化。现在标准的逻辑的阶数等级就是从那时开始的。
发现了集合论可以在一阶逻辑的设施内公式化为公理化系统（损失了某种完备性，但是不至于象罗素悖论那么糟糕），并且真就这么做了（参见Zermelo-Fraenkel集合论），因为集合是数学的关键。算术、分体论和各种其他强力逻辑理论可以被公理化的公式化，而不用使用比一阶量化更多的逻辑设施，随着哥德尔和Skolem忠于一阶逻辑，导致了对二（或更高）阶逻辑的工作的普遍放弃。
这种舍弃由一些逻辑学家活跃的推动着，最著名的是蒯因。蒯因推进了这种观点，在谓词语言句子比如Fx中，x被认为是一个变量或指称一个物体的名字，所以可以被量化，如“对于所有的东西，情况是. . .”。但是F被认为是一个不完整句子的“一个缩写”，不是一个物体（甚至不是抽象的物体如性质）的名字。例如，它可能意味着“ . . .是个狗”，认为在这种事物上可以做量化是没有什么意义的。（这种立场同弗雷格自己对概念-物体区别的讨论是非常一致的）。所以要使用一个谓词作为变量就要让它占据只有个别的变量可以占据的一个名字的位置。这种推理被Boolos拒绝了。
近年来二阶逻辑有某种程度的恢复，由George Boolos把二阶量化解释为在同一阶量化一样的域上的复数量化所支持。Boolos进一步指出句子的非一阶可表达性，比如“有些罪犯只相互倾慕”和“有些Fianchetto人进入仓库而没有任何别人陪同”。这用二阶量化的完全力量来表达。（实际上这不是真的，因为一般性的量化和偏序的（或分支的）量化同样足以表达特定类的非一阶可表达的句子而不使用二阶量化)。
但是，已经说过在有些数学分支中比如拓扑学中，需要二阶逻辑的能力来做完整的表达。这方面的工作已经由Stephen G. Simpson在逆数学的名义下完成了。已经证明了二阶逻辑不只对达经典数学的某些重要部分是必须的，而且它也可以用做模型论和数学基础的工具。
存在性片段在有限结构上的能力

单类二阶逻辑（MSO）的存在性片段（EMSO）是没有全称量词的二阶逻辑。在词 w\in \Sigma ^{*}之上，所有的MSO公式都可以转换成确定的有穷自动机。它可以再转换成EMSO公式。所以EMSO和MSO在这种词上是等价的。对于树作为输入，这个结果同样成立。但是，在有限网格 \Sigma ^{++}之上，这个性质不再成立，因为瓦片系统识别的语言不闭合于补集之下。因为全称量词等价于否定的存在量词，它不能被表达，全称和存在量词的交替生成了在 \Sigma ^{++}上的更大的一类语言。
应用于复杂性理论

二阶逻辑的各种形式的表达力密切的连系于计算复杂性理论。特别是：
NP是用存在性二阶逻辑可表达的语言集合。
co-NP是用全称二阶逻辑可表达的语言的集合。
PH是用二阶逻辑可表达的语言的集合。
PSPACE是用带有增加的传递闭包算子的二阶逻辑可表达的语言的集合。
EXPTIME是用带有增加的最小不动点算子的二阶逻辑可表达的语言的集合。
在这些语言类之间的联系直接影响了逻辑的相对的表达力；例如，如果PH=PSPACE，则向二阶逻辑增加的传递闭包算子不使它更有表现力。
1950年土耳其大選

1950年土耳其大選举行于1950年5月14日，采用全票制。在此次选举成立仅4年由杰拉勒·拜亚尔领导的土耳其民主党击败伊诺努领导，执政超过20年的共和人民党，实现土耳其历史上首次和平民主的政党轮替。
保塞县

保塞县，中国古县名。
宋太宗太平兴国六年（981年）北宋改清苑县置保塞县，治今河北省保定市，为保州治。宋徽宗政和三年（1113年）升定州为中山府，金太宗天会六年（1128年），金朝攻克中山府保塞县，次年改中山府为保州。金世宗大定十六年（1176年） 复改保塞县名为清苑县。
维吉尼亚·维亚德

| 维吉尼亚·维亚德 |
| --- | --- |
出生: 1962年（61—62歲）  法國勃艮第-弗朗什-孔泰大区科多尔省第戎
职业: 艺术总监
活跃时期: 1987年至今
机构: 香奈儿
维吉尼亚·维亚德（法語：；1962年—）是法国知名女性知名时装品牌香奈儿的艺术总监。
生平

1962年，维吉尼亚·维亚德出生在勃艮第-弗朗什-孔泰大区科多尔省第戎。
维吉尼·维亚德的职业生涯始于剧装设计师多米尼克·博格的助手。1987年，她加入知名女性知名时装品牌香奈儿，在刺绣部门工作。随后，她追随卡尔·拉格斐加入，之后又回到香奈儿出任时装设计工作室主任。2019年，卡尔·拉格斐去世后，她被任命为香奈儿的艺术总监。
家庭

维吉尼亚·维亚德有四个兄弟姐妹，分别是：阿诺（）、弗朗索瓦（）、玛丽安（）和本杰明（）。
罗讷河畔卢瓦尔

| 罗讷河畔卢瓦尔 Loire-sur-Rhône |
| --- | --- |
 法國市镇

罗讷河畔卢瓦尔的位置  
罗讷河畔卢瓦尔显示法国的地图罗讷河畔卢瓦尔显示罗讷省的地图
坐标：45°33′38″N 4°48′22″E﻿ / ﻿45.5606°N 4.8061°E﻿ / 45.5606; 4.8061
国家:  法國
大区:  
省:  
面积1
 • 市镇: 16.6 平方公里（6.4 平方英里）
人口（2021年）
 • 市镇: 2,698人
 • 密度: 163人/平方公里（421人/平方英里）
时区: CET（UTC+01:00）
 • 夏时制: CEST（UTC+02:00）
邮政编码: 69700
INSEE: 69118 
省级选区: 莫尔南县（英语：）
海拔: 145—548（476—1,798英尺） （平均：283.33333333333米）
網站: https://www.loire-sur-rhone.fr/
1法國統計部門在計算土地面積時，不計算面積大於1平方公里的湖泊、池塘、冰川和河口。 2「人口不重複計算」：擁有多重居住地的居民（如：學生和軍人）僅計算一次。
罗讷河畔卢瓦尔（法語：，法语发音：[lwaʁ syʁ ʁon]）是法国罗讷省的一个市镇，属于里昂区。
地理

罗讷河畔卢瓦尔（45°33'38"N, 4°48'22"E）面积16.6 平方千米，位于法国奥弗涅-罗讷-阿尔卑斯大区罗讷省，该省份为法国中东部省份，北起顺时针与索恩-卢瓦尔省、安省、里昂大都会、伊泽尔省和卢瓦尔省接壤。
与罗讷河畔卢瓦尔接壤的市镇（或旧市镇、城区）包括：罗讷河畔沙斯、昂皮、罗讷河畔圣西尔、圣罗曼昂加勒、塞叙埃勒、埃沙拉、日沃尔。
罗讷河畔卢瓦尔的时区为UTC+01:00、UTC+02:00（夏令时）。
行政

罗讷河畔卢瓦尔的邮政编码为69700，INSEE市镇编码为69118。
政治

罗讷河畔卢瓦尔所属的省级选区为莫尔南县（英语：）。
人口

罗讷河畔卢瓦尔于2021年1月1日时的人口数量为2698人。
罗讷河畔卢瓦尔的OSM定位图
1962-2008年间罗讷河畔卢瓦尔人口变化图示