Cover Image

Some reflections on the relationship between logical incompleteness and concrete incompleteness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Cheng, Yong
Format:	Preprint
Published:	2024
Subjects:	Logic 03A05, 00A30, 03-02
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Strict potentialism in modal mirrors
by: Linnebo, Øystein
Published: (2026)

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

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

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

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

On humanization of mathematics: aesthetic mathematics
by: Inoué, Takao
Published: (2023)

History of Archimedean and non-Archimedean approaches to uniform processes: Uniformity, symmetry, regularity
by: Bottazzi, Emanuele, et al.
Published: (2025)

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)

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

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

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

Bilateralism with incompatible proofs and refutations
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
by: Inamdar, Tanmay, et al.
Published: (2024)

An almost strong relation
by: Garti, Shimon, et al.
Published: (2023)

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

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

Abstraction Principles and the Size of Reality
by: Yao, Bokai
Published: (2025)

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

Formalism 25
by: Katz, Mikhail G., et al.
Published: (2025)

On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)

Structural Infinite-Exponent Partition Relations and Weak Choice Principles
by: Gardiner, Lyra A., et al.
Published: (2026)

Axioms for Arbitrary Object Theory
by: Steinkrauss, Luca, et al.
Published: (2025)

Extension Monads: Some Structure Theorems
by: Bowerman, Danielle, et al.
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)

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)

The ZFC analogue of the Halpern-Levy theorem
by: Stefanović, Nedeljko
Published: (2023)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

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

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

On the relationships between some meta-mathematical properties of arithmetical theories
by: Cheng, Yong
Published: (2023)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

Hindman's Theorem in the hierarchy of Choice Principles
by: Fernández-Bretón, David J.
Published: (2022)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
by: Gardiner, Lyra A., et al.
Published: (2026)

Bolzano's Conjecture: Measuring the Numerosity of Infinite Sets
by: Jack, Julian
Published: (2024)

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