Cover Image

Strict potentialism in modal mirrors

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Linnebo, Øystein
Format:	Preprint
Published:	2026
Subjects:	Logic 00A30, 03A05, 03B45, 03C85
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Some reflections on the relationship between logical incompleteness and concrete incompleteness
by: Cheng, Yong
Published: (2024)

Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
by: Cheng, Yong
Published: (2019)

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)

On the limits of comparing subset sizes within $\mathbb{N}$
by: Wenmackers, Sylvia
Published: (2024)

A Reflection Principle for Potential Infinite Models of Type Theory
by: Eberl, Matthias
Published: (2024)

On the Model Theory of Second-Order Objects
by: Hyttinen, Tapani, et al.
Published: (2024)

Hilbert's Program and Infinity
by: Zach, Richard
Published: (2026)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

A Constructive Fragment of Physical Propositions
by: Rosko, Milan
Published: (2025)

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

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

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
by: Paolini, Gianluca, et al.
Published: (2024)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

Wand/set theories: A realization of Conway's mathematicians' liberation movement, with an application to Church's set theory with a universal set
by: Button, Tim
Published: (2023)

The iterative conception of function and the iterative conception of set
by: Button, Tim
Published: (2023)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)

Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

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

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
by: Colomina-Alminana, Juan J.
Published: (2026)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
by: Carlucci, Lorenzo, et al.
Published: (2025)

On the undefinability of pathological Banach spaces
by: Hamel, Clovis, et al.
Published: (2024)

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

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)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)