건설적인 비표준 분석

Constructive nonstandard analysis

수학에서 건설적 비표준 해석은 모어다이크(1995), 팜그렌(1998), 루오콜라이넨(2004)에 의해 개발된 아브라함 로빈슨의 비표준 해석의 버전이다.Ruokolainen은 다음과 같이 썼다.

비표준 분석의 구성화 가능성은 팜그렌(1997, 1998, 2001)에 의해 연구되었다.거기서 연구된 건설적인 비표준 분석 모델은 건설적인 비표준 산술에 대한 Moerdijk(1995) 모델의 확장이다.

「 」를 참조해 주세요.

레퍼런스

  • Ieke Moerdik, 직관적 비표준 산술 모델, 순수 및 응용 논리 연보, vol. 73(1995), 페이지 37-51.
"개요:이 논문은 직관적인 비표준 산술 모델에 대한 명확한 설명을 제공하며, 이는 선택 공리 없이 건설적 메타 이론에서 공식화될 수 있다.[1]
"개요:우리는 비숍의 건설적인 분석을 아주 작은 방법으로 확장하면서 비숍의 건설적인 분석을 개발한다.[2]


Stub icon

이 수학논리 관련 기사는 스텁이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.