«model-theory» 태그된 질문

적절한 위생 처리를 통해 계산 가능한 실수 만 고려할 때 실수 사용에 관한 가장 알려진 결과를 실제로 사용할 수 있다는 일반적인 정리가 있습니까? 또는 계산 가능한 실수 만 고려할 때 유효한 결과의 적절한 특성이 있습니까? 부수적 인 질문은 계산 가능한 실제에 관한 결과를 모든 실제 또는 계산할 수없는 것을 고려하지 …

16 computability  computing-over-reals  topology  model-theory 

Hindley-Milner 유형 시스템과 같이 종속 유형이없는 시스템의 경우 유형은 직관적 논리의 공식에 해당합니다. 거기에서 우리는 모델이 Heyting 대수라는 것을 알고 있으며, 특히 공식을 반증하기 위해 각 공식이 하위 집합으로 표현되는 하나의 Heyting 대수로 제한 할 수 있습니다 .아르 자형아르 자형\mathbb{R} 예를 들어, 에 거주하지 않음 을 표시하려면 다음을 정의 하여 …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions