Buchumschlag

A potentialist conception of ultrafinitism

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hamkins, Joel David
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Every countable model of arithmetic or set theory has a pointwise-definable end extension
von: Hamkins, Joel David
Veröffentlicht: (2022)

The modal logic of arithmetic potentialism and the universal algorithm
von: Hamkins, Joel David
Veröffentlicht: (2018)

How the continuum hypothesis could have been a fundamental axiom
von: Hamkins, Joel David
Veröffentlicht: (2024)

Did Turing prove the undecidability of the halting problem?
von: Hamkins, Joel David, et al.
Veröffentlicht: (2024)

Satisfaction is not absolute
von: Hamkins, Joel David, et al.
Veröffentlicht: (2013)

Class choice and the surprising weakness of Kelley-Morse set theory
von: Gitman, Victoria, et al.
Veröffentlicht: (2026)

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

Labelled calculi for the logics of rough concepts
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

A modular risk concept for complex systems
von: McGeorge, Dag, et al.
Veröffentlicht: (2025)

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

What aggregation rules can be classified as logical concepts?
von: Poliakov, Nikolay L.
Veröffentlicht: (2026)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

The iterative conception of function and the iterative conception of set
von: Button, Tim
Veröffentlicht: (2023)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

Dynamic Cantor Derivative Logic
von: Fernández-Duque, David, et al.
Veröffentlicht: (2021)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Syntax and semantics of multi-adjoint normal logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Extended multi-adjoint logic programming
von: Cornejo, M. Eugenia, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

An order-theoretic circuit syntax and characterisation of the concept lattice
von: van der Lugt, Tein
Veröffentlicht: (2025)

A note on the definability of genus for Zariski geometries
von: García, Darío, et al.
Veröffentlicht: (2021)

A walk with Goodstein
von: Fernández-Duque, David, et al.
Veröffentlicht: (2020)

Establishing tool support for a concept DSL
von: Jakobsen, Nikolaj Kühne
Veröffentlicht: (2025)

A Logic of Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

A modal approach towards substitutions
von: Tu, Yaxin, et al.
Veröffentlicht: (2025)

A logic for default deontic reasoning
von: Piazza, Mario, et al.
Veröffentlicht: (2025)

A Study on Actions for Atomic Logics
von: Espejo-Boix, Raül
Veröffentlicht: (2024)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

Categorical Proof-Theoretic Semantics
von: Pym, David, et al.
Veröffentlicht: (2023)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

Guarded Successor: A Novel Temporal Logic
von: Asor, Ohad
Veröffentlicht: (2024)

A proof-theoretic approach to abstract interpretation
von: D'Silva, Vijay, et al.
Veröffentlicht: (2026)