계산 가능한 메트릭 공간에서의 반계산 가능 그래프의 계산 가능 근사값
본 논문에서는 계산 가능한 메트릭 공간 내의 모든 반계산 가능 그래프는 계산 가능한 끝점을 갖는 계산 가능 부분 그래프에 의해 임의의 정밀도로 근사될 수 있음을 보여줍니다.
콤팩트 $T_1$-공간 클래스에 대한 이중성
본 논문에서는 Stone 이중성과 Isbell 이중성의 핵심 부분을 통합하는, 콤팩트 $T_1$-공간과 특정 분배 격자 클래스 사이의 반변 수반 관계를 제시합니다.
チョムスキー・シュッツェンバーガー表現定理の圏論的輪郭
本稿では、圏における文脈自由言語を、自由オペラッドからスプライシングされた矢印のオペラッドへの関手としてモデル化できることを示し、チョムスキー・シュッツェンバーガー表現定理を圏論的に再解釈することで、任意の圏における文脈自由言語の表現定理を導出しています。
직관주의 논리, 이중 직관주의 논리 및 양상 논리의 관계 탐구: 위상 공간과의 연관성을 중심으로
이 논문은 위상 공간과의 관계를 통해 직관주의 논리와 이중 직관주의 논리를 분석하고, 두 논리 모두 양상 논리 S4와 깊은 연관성을 지닌다는 것을 보여줍니다.
直観主義論理、双対直観主義論理、様相論理の関係性
トポロジー空間とハイティング代数の観点から、直観主義論理と双対直観主義論理の関係性を分析し、両者が様相論理S4と深く関連していることを示す。
무한 모자 문제와 큰 기수
플레이어 수가 무한하고 허용된 추측 횟수가 유한한 조합 모자 추측 게임에서 플레이어가 항상 이길 수 있는지 여부는 집합 이론의 큰 기수 속성과 관련이 있습니다.
마커-스타인호른 정리 증명: 오-미니멀 구조에서의 정의 가능성과 테임 확장에 대한 고찰
본 논문에서는 오-미니멀 구조에서 마커-스타인호른 정리에 대한 완전한 증명을 제시하며, 기존 증명에서 간과되었던 부분을 명확히 하고, 정의 가능성과 테임 확장의 개념을 심도 있게 논의합니다.
o-minimal構造におけるMarker-Steinhornの定理の証明に関する考察
本稿では、o-minimal構造におけるMarker-Steinhornの定理の証明における既存の証明のギャップを埋め、証明を簡略化する新しい証明方法を提示しています。
Context, Judgement, Deduction: A Categorical Framework for Deductive Systems
This research paper introduces a novel categorical framework called "judgemental theories" to unify and analyze various deductive systems, including dependent type theory and natural deduction.
分配半格與蘊涵半格的對偶性
本文發展出一種新的對偶性理論，用於描述分配半格和蘊涵半格，推廣並改進了先前針對分配格和 Heyting 代數的 Priestley 對偶性和 Esakia 對偶性。
© 2024 by Linnk AI