Forcing with random variables in bounded arithmetics and set theory
이 논문은 Krajicek 의 유계 산술에서 개발된 부울 값 무작위 강제법을 집합론적 강제법의 관점에서 분석하여, 비표준 -포화 모델에서 해당 강제법이 $2^{\omega_1}$에 대응하는 확률 대수와 동형임을 보임으로써 유계 산술의 강제법을 공리적 접근법 대신 집합론적 프레임워크로 해석하는 새로운 관점을 제시합니다.
🔢 Category
math.LO
79 편의 논문
A Formalization of Abstract Rewriting in Agda
이 논문은 Agda 증명 보조기를 사용하여 재귀적 추상 재작성 시스템 (ARS) 을 구성주의적으로 형식화하고, 고전 논리의 사용을 최소화하면서 종료성과 합류성에 대한 표준 결과를 정교화하고 일반화하며, 이를 람다 계산 형식화 예시를 통해 입증합니다.
Applications of the Gelfand--Naimark duality
이 논문은 스톤 이중성과 월먼 이중성을 넘어, 콤팩트 하우스도르프 공간과 가환 C*-대수 간의 겔판드-나임ark 이중성이 콤팩트 하우스도르프 공간, 특히 체흐-스톤 여집합과 그 자기동형사상에 대한 심층적인 통찰력을 제공한다고 주장합니다.
Independence questions in a finite axiom-schematization of first-order logic
이 논문은 노먼 메질 (Norman Megill) 이 제안한 유한 공리 스키마 체계의 독립성 결과를 검토하고, 모든 인스턴스가 다른 공리 스키마로부터 증명 가능함에도 불구하고 특정 공리 스키마 자체가 독립적임을 증명합니다.
Dp-finite and Noetherian NIP integral domains
이 논문은 NIP 성질을 가진 노에테르 정역과 유한 dp-계수를 가진 정역에 대한 주요 성질을 증명하고, 특히 dp-최소 노에테르 정역을 분류하며, NIP 가환체 가설을 전제로 하는 경우 이러한 정역이 henselian 국소환임을 보입니다.
Ideal Analytic sets
이 논문은 힐드먼 (Hindman) 이상과 이상을 포함한 이상 (ideals) 과 특정 유형의 트리를 포함하는 트리의 집합에 대한 자연스러운 -완전 및 -완전 집합의 예시를 제시하고, 이 두 주제 간의 연관성을 탐구합니다.
On a Question of Hamkins'
이 논문은 햄킨스 (Hamkins) 의 질문을 다루며 확장성 (Extensionality) 조건 하에서는 어떤 복잡도의 로서 (Rosser) 수식도 존재할 수 없음을 증명하고, 조건부 확장성 (Conditional Extensionality) 에 대해서는 긍정적 해답을 제시하지만 일관된 확장성 (Consistent Extensionality) 에 대한 문제는 여전히 미해결로 남긴다.
Classical Logic without Bivalance
이 논문은 두메트의 반실재론적 관점에서 고전 논리를 재해석한 산드퀴스트의 의미론을 메타수학에 적용하여, 초한 순서수나 초월적 진리 개념 없이도 자연수 귀납법만으로 페아노 산술의 일관성을 증명하고 -불완전성과 귀납법의 의미 구성적 성격을 설명합니다.
Constraint satisfaction problems, compactness and non-measurable sets
이 논문은 유한 관계 구조 A 의 폭이 1 일 때 ZFC 공리계 내에서 A 의 콤팩트성이 증명되지만, 그렇지 않은 경우에는 3 차원 공간에서 비가측 집합의 존재를 함의함을 보여줍니다.
On actions and split extensions in varieties of hoops: the case of strong section
이 논문은 후프 (hoops) 의 다양체 내에서 내부 작용과 분할 확장을 연구하여 강한 단면을 가진 분할 확장을 강한 외부 작용으로 특징짓고, 기본 후프와 그 부분 다양체들뿐만 아니라 L-대수에서의 램프 (Rump) 의 반직곱 구성과의 연결고리를 규명합니다.
A Topological Rewriting of Tarski's Mereogeometry
이 논문은 의존형 타입 이론과 Coq 증명 보조기를 기반으로 람다-MM 라이브러리를 확장하여 타르스키의 기하학을 단순한 질적 공간 모델이 아닌 위상 공간으로 재구성하고, 그 위상적 성질을 증명함으로써 이론의 표현력을 강화합니다.
-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
이 논문은 -강성 (-rigid) 집합의 다대일 차수 내부에서 유한-1 차수 구조를 분석하여, 거의 모든 집합과 범위적 (comeager) 집합에 대해 최소 유한-1 차수의 존재성과 무한히 많은 서로 비교 불가능한 유한-1 차수 및 엄격한 상승 사슬의 구성을 증명함으로써 Richter, Stephan, Zhang 의 열린 문제를 부분적으로 해결합니다.
On a Theorem by Bezboruah & Shepherdson
이 논문은 베조르후와 셰퍼드슨의 불완전성 정리를 논의하고 크라이젤의 반박이 타당하지 않음을 주장하며, 푸달의 제 2 불완전성 정리와의 비교를 통해 니엘슨과 마르코프의 통찰에 기반한 시퀀스 코딩을 이용해 해당 정리를 재증명합니다.
Homogeneity of the Lévy collapse from the perspective of Fraïssé theory
이 논문은 강한 접근 불가능 기수 하에서 크기가 인 모든 불 대수와 정규 매장으로 구성된 프라이슬 (Fraïssé) 급을 연구하여 그 극한이 레비 축소 (Lévy collapse) 와 동일한 완비를 가지며, 밀도 의 축소 불 대수가 밀도 인 정규 부분 불 대수들의 -사슬 합집합이 아님을 직접 증명합니다.
Countable models of weakly quasi-o-minimal theories II
이 논문은 약한 준-o-최적 (weakly quasi-o-minimal) 이론의 광범위한 하위 클래스에 대해 마틴의 추측을 입증합니다.
An observer-based approach to the sorites paradox and the logic derived from that
이 논문은 관찰자와 시간에 의존하는 '흐름 객체 의미론 (FOS)'을 통해 소피테스 역설을 해석하고, 관찰의 간헐성으로 인한 진리값 공백을 강 클라인 3 값 논리로 설명하여 역설의 모순성을 해소함을 제시합니다.
The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation
이 논문은 '마그마 우주'에서 순서쌍, 관계, 함수 및 수와 같은 기본 집합론적 대상의 유사체를 정의하려는 시도와 그 한계, 그리고 '마그마 분리 스키마'의 유효성과 치환 스키마의 실패를 규명합니다.
The number of measures on very large measurable cardinals
이 논문은 내적 모델 기법에 의존하지 않고 초곱 공리 (Ultrapower Axiom) 의 결과를 활용하여, 초강대기수 위의 첫 번째 측정 가능 기수나 초강대기수의 극한 위의 첫 번째 측정 가능 기수 등이 가질 수 있는 정규 측정의 수를 임의로 지정할 수 있음을 증명하고 기존 정리를 강화합니다.
On Contextuality as a Feature of Logic and Probability Theory
이 논문은 양자역학의 비국소성을 일반화한 '맥락성'을 특정 양자 이론의 고유한 현상이 아니라 확률론과 논리학의 보편적 특징으로 재해석하는 수학적 개요를 제시합니다.
Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
이 논문은 윤리적 민감도가 높은 AI 시스템의 해석 가능성과 정확성 간의 균형을 위해, 이산적 분할을 통해 정보 손실을 정량화하고 교육 및 XAI 분야에서의 적용 가능성을 제시하는 '거친 분할 (Coarse-Grained Partitions)' 프레임워크를 제안합니다.