:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chapman, Nick Steven, Schürz, Johannes Philipp
Format:	Preprint
Publié:	2019
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/1908.10718
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Galvin property at $κ^{++}$ and not at $κ^+$
par: Gitik, Moti, et autres
Publié: (2025)

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

The $κ$-Strongly Proper Forcing Axiom
par: Asperó, David, et autres
Publié: (2019)

All you need is $\mathbf{A}_κ$
par: Bannister, Nathaniel
Publié: (2025)

Cardinals of the $P_κ(λ)$-Filter Games
par: Benhamou, Tom, et autres
Publié: (2025)

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

Effective Versions of Strong Measure Zero
par: Rayman, Matthew
Publié: (2025)

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

Full normalization for $κ^+$-supercompactness
par: Schlutzenberg, Farmer
Publié: (2025)

Generalized cardinal invariants for an inaccessible $κ$ with compactness at $κ^{++}$
par: Honzik, Radek, et autres
Publié: (2023)

The initial segment condition for $κ^+$-supercompactness
par: Schlutzenberg, Farmer
Publié: (2023)

The Axiom of Choice in the $κ$-Mantle
par: Lietz, Andreas
Publié: (2024)

Universally Baire sets in $2^κ$
par: Ikegami, Daisuke, et autres
Publié: (2024)

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

Ranked Forcing and the Length of Generalized Borel Hierarchies
par: Chapman, Nick
Publié: (2026)

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

Generalized Borel Sets
par: Agostini, Claudio, et autres
Publié: (2025)

On $Σ_1$-Definable Closed Unbounded Sets
par: Ben-Neria, Omer, et autres
Publié: (2023)

Categoricity and amalgamation for AEC and $ κ$ measurable
par: Kolman, Oren, et autres
Publié: (1996)

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

Strong Equivalence in Answer Set Programming with Constraints
par: Cabalar, Pedro, et autres
Publié: (2025)

Limit Groups and Automorphisms of $κ$-Existentially Closed Groups
par: Kaya, Burak, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Solving Set Constraints with Comprehensions and Bounded Quantifiers
par: Mohamed, Mudathir, et autres
Publié: (2025)

Strong negation in the theory of computable functionals TCF
par: Köpp, Nils, et autres
Publié: (2022)

On the Computability of Measures of Regular Sets of Infinite Trees
par: Niwiński, Damian, et autres
Publié: (2023)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

Reasoning about Medical Triage Optimization with Logic Programming
par: Patil, Jaikrishna Manojkumar, et autres
Publié: (2025)

Modal Fragments
par: Bezhanishvili, Nick, et autres
Publié: (2026)

Strong Projective Witnesses
par: Fischer, Vera, et autres
Publié: (2026)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Logic of Sets with Atoms
par: Masters, Jake
Publié: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

Interpolation for the two-way modal mu-calculus
par: Kloibhofer, Johannes, et autres
Publié: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
par: Fandinno, Jorge, et autres
Publié: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
par: Bankosegger, Rafael, et autres
Publié: (2026)

Strong Rigidity and Elementary Embeddings
par: Mohammd, Marwan Salam
Publié: (2025)