:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chapman, Nick Steven, Schürz, Johannes Philipp
Format:	Preprint
Published:	2019
Subjects:	Logic
Online Access:	https://arxiv.org/abs/1908.10718
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Galvin property at $κ^{++}$ and not at $κ^+$
by: Gitik, Moti, et al.
Published: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

The $κ$-Strongly Proper Forcing Axiom
by: Asperó, David, et al.
Published: (2019)

All you need is $\mathbf{A}_κ$
by: Bannister, Nathaniel
Published: (2025)

Cardinals of the $P_κ(λ)$-Filter Games
by: Benhamou, Tom, et al.
Published: (2025)

Existence of a Model of $o(κ)=κ^{++}$ from Failure of GCH at a Measurable Cardinal
by: Watson, Connor
Published: (2024)

Effective Versions of Strong Measure Zero
by: Rayman, Matthew
Published: (2025)

$κ$-Borel sets, $κ$-Baire spaces, and filtrations between topologies
by: Solecki, Sławomir
Published: (2024)

Full normalization for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2025)

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
by: Honzik, Radek, et al.
Published: (2023)

The initial segment condition for $κ^+$-supercompactness
by: Schlutzenberg, Farmer
Published: (2023)

The Axiom of Choice in the $κ$-Mantle
by: Lietz, Andreas
Published: (2024)

Universally Baire sets in $2^κ$
by: Ikegami, Daisuke, et al.
Published: (2024)

Symmetric Iterations with Countable and $<κ$-Support: A Framework for Choiceless ZF Extensions
by: Gilson, Frank
Published: (2025)

Ranked Forcing and the Length of Generalized Borel Hierarchies
by: Chapman, Nick
Published: (2026)

Higher stationarity and derived topologies on $\mathcal{P}_κ(A)$
by: Torres, M. Catalina
Published: (2024)

Generalized Borel Sets
by: Agostini, Claudio, et al.
Published: (2025)

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
by: Kolman, Oren, et al.
Published: (1996)

$κ$-barely independent families and Tukey types of ultrafilters
by: Chapital, Jorge Antonio Cruz
Published: (2025)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

Limit Groups and Automorphisms of $κ$-Existentially Closed Groups
by: Kaya, Burak, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
by: Mohamed, Mudathir, et al.
Published: (2025)

Strong negation in the theory of computable functionals TCF
by: Köpp, Nils, et al.
Published: (2022)

On the Computability of Measures of Regular Sets of Infinite Trees
by: Niwiński, Damian, et al.
Published: (2023)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Reasoning about Medical Triage Optimization with Logic Programming
by: Patil, Jaikrishna Manojkumar, et al.
Published: (2025)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Strong Projective Witnesses
by: Fischer, Vera, et al.
Published: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Logic of Sets with Atoms
by: Masters, Jake
Published: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

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

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

Interpolation for the two-way modal mu-calculus
by: Kloibhofer, Johannes, et al.
Published: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

Strong Rigidity and Elementary Embeddings
by: Mohammd, Marwan Salam
Published: (2025)