Cover Image

On collection schemes and Gaifman's splitting theorem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kurahashi, Taishi, Minami, Yoshiaki
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Refinements of provability and consistency principles for the second incompleteness theorem
by: Kurahashi, Taishi
Published: (2025)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
by: Kurahashi, Taishi
Published: (2024)

A variety of partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2024)

Smullyan's truth and provability
by: Kurahashi, Taishi, et al.
Published: (2024)

Modal logical aspects of provability predicates and consistency statements
by: Kogure, Haruka, et al.
Published: (2025)

Finite Kripke models and provability interpretations in quantified modal logic
by: Kogure, Haruka, et al.
Published: (2026)

Certified $Σ_1$-sentences
by: Kurahashi, Taishi, et al.
Published: (2023)

The finite frame property of some extensions of the pure logic of necessitation
by: Kurahashi, Taishi, et al.
Published: (2023)

Doubly partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2025)

Stable amalgamation over a predicate and the Gaifman property
by: Shelah, Saharon, et al.
Published: (2025)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

Visser frames for sublogics of $\mathbf{IL}$
by: Okawa, Yuya, et al.
Published: (2022)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

Game-theoretic variants of splitting number
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2024)

Decidability of Being a Union-splitting
by: Takahashi, Tenyo
Published: (2025)

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

Measurable Vizing's theorem
by: Grebík, Jan
Published: (2023)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
by: Ikari, Hiroyuki, et al.
Published: (2026)

Partition theorems for expanded trees
by: Shelah, Saharon
Published: (2021)

The Ginsburg--Sands theorem and computability theory
by: Benham, Heidi, et al.
Published: (2024)

Partition genericity and pigeonhole basis theorems
by: Monin, Benoit, et al.
Published: (2022)

Foulis-Holland theorem for implicative-orthomodular lattices
by: Ciungu, Lavinia Corina
Published: (2024)

Cross-constraint basis theorems and products of partitions
by: Cervelle, Julien, et al.
Published: (2024)

Conservation of Ramsey's theorem for pairs and well-foundedness
by: Houérou, Quentin Le, et al.
Published: (2024)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

Michael's selection theorem in general d-minimal structures
by: Fujita, Masato
Published: (2024)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
by: Přenosil, Adam
Published: (2024)

Perfect set dichotomy theorem in generalized Solovay model
by: Sakai, Hiroshi, et al.
Published: (2025)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Towards a generic absoluteness theorem for Chang models
by: Müller, Sandra, et al.
Published: (2023)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
by: Herbelin, Hugo, et al.
Published: (2024)