:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bauer, Andrej, Hanson, James E.
Format:	Preprint
Published:	2024
Subjects:	Logic 03B99, 03F55
Online Access:	https://arxiv.org/abs/2404.01256
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Problems with fixpoints of polynomials of polynomials
by: Pradic, Cécilia, et al.
Published: (2026)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

Generalized Von Neumann Universe and Non-Well-Founded Sets
by: Zhang, Eugene
Published: (2023)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Paradox on the Countable Axiom of Choice
by: Nezhad, Babak Jabbar
Published: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
by: Bezhanishvili, Nick, et al.
Published: (2022)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Dismantling the Surprise Test "Paradox"
by: Dietzfelbinger, Martin
Published: (2026)

Sheaves as oracle computations
by: Ahman, Danel, et al.
Published: (2026)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

On the downward Löwenheim-Skolem Theorem for elementary submodels
by: Kunik, Matthias
Published: (2024)

On a new theory of models for formal mathematical systems
by: Kunik, Matthias
Published: (2026)

Total Failure of Approachability at Successors of Singulars of Countable Cofinality
by: Jakob, Hannes
Published: (2025)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

An ordinal analysis of a single stable ordinal
by: Arai, Toshiyasu
Published: (2022)

An ordinal analysis of $Π_{N}$-Collection
by: Arai, Toshiyasu
Published: (2023)

An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)

Synthetic Homotopy Theory
by: Wei, Yuhang
Published: (2024)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Cofinal families of finite VC-dimension
by: Ben-Neria, Omer, et al.
Published: (2025)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
by: Lücke, Philipp
Published: (2024)

Failure of Esakia's theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

The Second-order Version of Morley's Theorem on the Number of Countable Models does not Require Large Cardinals
by: Tall, Franklin D., et al.
Published: (2024)

The Logic of Correct Models
by: Aguilera, Juan Pablo, et al.
Published: (2024)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

An equiconsistency proof for $\mathrm{CZF} + V = L$
by: Wang, Shuwei
Published: (2026)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Countable Ordered Groups and Weihrauch Reducibility
by: Li, Ang
Published: (2024)

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

Almost Kurepa Suslin trees and destructibility of the Guessing Model Property
by: Lambie-Hanson, Chris, et al.
Published: (2026)

Martin's measurable dilator
by: Jeon, Hanul
Published: (2025)