Copertina

Mitchell rank for supercompactness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Carmody, Erin
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Axiom $\mathcal{A}$ and supercompactness
di: Poveda, Alejandro
Pubblicazione: (2024)

Chang models over derived models with supercompact measures
di: Gappo, Takehiko, et al.
Pubblicazione: (2023)

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

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

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
di: Cheng, Yong
Pubblicazione: (2018)

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal
di: Hamkins, Joel David, et al.
Pubblicazione: (2022)

On matrix rank function over bounded arithmetics
di: Ken, Eitetsu, et al.
Pubblicazione: (2023)

A rank function for Fra\"ıssé classes and the rank property
di: López-Callejas, Carlos, et al.
Pubblicazione: (2026)

Definability and Scott rank in separable Metric structures
di: Bejarano, Diego
Pubblicazione: (2024)

Low rank MSO
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2025)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
di: Ho, Meng-Che "Turbo", et al.
Pubblicazione: (2024)

Sharply 2-transitive groups of finite Morley rank
di: Altinel, Tuna, et al.
Pubblicazione: (2018)

An analogue of U-rank for atomic classes
di: Baldwin, John T., et al.
Pubblicazione: (2025)

Primitive pseudo-finite permutation groups of finite SU-rank
di: Karhumäki, Ulla, et al.
Pubblicazione: (2025)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
di: Higuchi, Joaquim Reizi
Pubblicazione: (2026)

Toeplitz subshifts of finite rank
di: Gao, Su, et al.
Pubblicazione: (2025)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

Uniform interpolation with constructive diamond
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

Intentic Semantics for Potentialist Truthmaking
di: Gorbow, Paul
Pubblicazione: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
di: Becker, Justus, et al.
Pubblicazione: (2026)

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

Support is Search
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Bringing closure to theory combination properties
di: Toledo, Guilherme V., et al.
Pubblicazione: (2026)

Convex algebras on an interval with semicontinuous monotone operations
di: Sokolova, Ana, et al.
Pubblicazione: (2026)

Modal Fragments
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2026)

A proof-theoretic approach to abstract interpretation
di: D'Silva, Vijay, et al.
Pubblicazione: (2026)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
di: Férée, Hugo, et al.
Pubblicazione: (2026)