80 편의 논문
이 논문은 윤리적 민감도가 높은 AI 시스템의 해석 가능성과 정확성 간의 균형을 위해, 이산적 분할을 통해 정보 손실을 정량화하고 교육 및 XAI 분야에서의 적용 가능성을 제시하는 '거친 분할 (Coarse-Grained Partitions)' 프레임워크를 제안합니다.
이 논문은 포지트에서 한 턴에 단일 조건 대신 가산 집합을 선택하는 Banach-Mazur 게임의 변형을 통해 정의된 새로운 성질을 제시하고, 이 성질을 가진 포지트 위의 강제법으로 PFA 가 보존됨을 증명하며 Magidor 의 정리를 재증명하고 기존 연구와의 차이점을 분석합니다.
이 논문은 일반화된 멱급수의 맥락에서 무한 선형 결합을 갖는 벡터 공간의 범주인 '합리적 강벡터 공간'을 정의하고, 이를 의 직교 부분 범주 및 초유한 가산성 공간과 동치인 범주로 규명하며, 자연스러운 텐서 곱 구조 하에서의 폐쇄성 문제를 분석합니다.
이 논문은 오-최소 구조의 -볼록 확장에 대해 카플란스키의 정리를 일반화하여, -유계 약한 즉시 타입을 통해 생성되는 확장들의 성질을 규명하고, 이를 통해 모든 모델이 -구면 완비적인 --구면 완비화를 갖는다는 결과를 증명합니다.
이 논문은 제 2 저자가 제네슨의 스쿼어 원리에서 도입한 집합적 등반성 (setwise climbability) 속성의 두 가지 변형을 소개하고, 첫 번째 변형은 PFA 와 일관되지만 두 번째 변형은 새로운 일반화된 반-바나흐-마주르 게임을 통해 마틴 유형 공리로 특징지어져 PFA 와 모순됨을 보이며 PFA 의 어느 정도까지가 이들 원리와 일관되는지 연구합니다.
이 논문은 스텝-복제 재귀자를 갖는 1 차원 재작성 시스템에서 직접적 구성적 측정의 불가능성을 기계적으로 검증하고, 투영 기반 방법이 이를 우회하는 방식을 규명하며, 안전한 부분 집합에 대해 기계화된 종료성 증명과 인증 체인을 제시합니다.
이 논문은 테넨바움의 정리가 PA 의 중간 강도 단편들에 대해서도 정의 동등한 이론을 통해 깨질 수 있음을 보여주는 이론 열 을 구성하고, 이를 위해 강력한 점프 역전 정리를 개발하여 기존 연구 결과들을 통합적으로 설명합니다.
이 논문은 의 자유 작용에 대한 연속 및 보렐 직사각형 분할의 조합론을 연구하여, 일 때 조절 수가 3 임을 보이고 일 때는 와 $3 \cdot 2^{n-2}n=3$ 일 때 5 로 개선함으로써 2 차원과 3 차원 이상 사이의 보렐 조합론적 성질의 뚜렷한 차이를 규명했습니다.
이 논문은 기술적 집합론의 관점에서 한쪽 방향 서브시프트의 켤레 관계를 연구하여, 알파벳 집합이 인 경우 해당 관계가 비-트리형 (non-treeable) 이고 비-아멘 (non-amenable) 임을 증명합니다.
이 논문은 포스트의 격자 (Post's lattice) 를 기반으로 명제 논리 및 모달 논리의 연산자 제한 조각들을 체계적으로 조사하여 표현력과 계산 복잡성 간의 관계를 규명하고, 학습 가능성에 대한 기존 결과를 확장하며 미해결 문제들을 제시합니다.
이 논문은 구성적 마스터 모달리티 논리 와 를 도입하고 이를 의 단편과 번역하여 두 논리가 모두 EXPTIME-완전하며 지수 크기 유한 모델 성질을 가진다는 것을 증명하고, 이를 통해 아프샤리 (Afshari) 등이 제기한 다이아몬드-프리 단편에 대한 추측을 해결하며 와 를 이 논리에 내포시켜 그 유효성 문제가 EXPTIME 에 속함을 보여줍니다.
이 논문은 포함 원자 (inclusion atom) 의 변형을 활용하여 (준) 하향 및 상향 폐쇄적 속성을 문법적으로 이중적으로 포착하는 명제 팀 기반 논리를 제안하고, 이에 대한 자연 연역 시스템을 제시합니다.
이 논문은 선형 순서와 같은 복잡한 모델 클래스에서 보편적 군의 부재를 보이는 새로운 충분 조건인 '올리브 속성'을 제시하고, 군의 클래스가 이 조건을 만족함을 증명하여 기존 SOP₄ 조건을 넘어서는 결과를 도출합니다.
이 논문은 초합성 대수학 구조의 공리 체계가 독립성이 부족함을 증명하고, 필요한 공리 집합을 최소화하는 새로운 정의와 공리 기반을 제시합니다.
이 논문은 ACF 의 아름다운 쌍 () 에 대해 실수 튜플의 SU-랭크와 일치하면서 상상의 원소 (imaginaries) 에 대해 정의된 기하학적 랭크를 도입하여, 에서의 포킹 (forking) 을 특징짓고 명시적 독립성 판정 기준을 제시합니다.
이 논문은 모델 이론적 방법을 활용하여 매개변수화된 D-토르소와 일반화된 강한 정규 확장의 관계를 규명하고, 콜친의 미분 코호몰로지 정리를 확장하여 대수적 조건을 제시합니다.
이 논문은 을 만족하는 모델에서 로빈슨 분할 정리의 약화된 버전이 성립함을 증명하며, 여기서 저차성 (lowness) 은 초저차성 (superlowness) 으로 대체됩니다.
이 논문은 P2 체계에서 파라메트릭 몫 타입이 정의 불가능하며, 스트림 타입에 대한 강한 코인덕션 원리가 성립하지 않고 자연수에 대한 인덕션 원리를 증명하려면 함수 확장성이 필수적임을 반모델을 통해 규명합니다.
이 논문은 최소 또는 멱등 초필터 없이 의 초필터 대수를 활용하여 반 데르 바르덴 정리에 대한 새로운 짧은 증명을 제시합니다.
이 논문은 대수 다양체 내 자유 대상의 초안정성과 Eklof-Mekler-Shelah 구성 원리 사이의 관계를 연구하여, 강한 구성 원리가 성립할 경우 자유 대상의 거의 모든 AEC-커버링이 초안정하지 않음을 증명하고 이를 -모듈 및 군 다양체에 적용합니다.