Imagen de Portada

Properties of Selector Proofs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Gadsby, Elijah
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03F40
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Serial Properties, Selector Proofs, and the Provability of Consistency
por: Artemov, Sergei
Publicado: (2024)

Extensional Independence
por: Kurahashi, Taishi, et al.
Publicado: (2025)

On a Question of Hamkins'
por: Visser, Albert
Publicado: (2025)

Incompleteness of boundedly axiomatizable theories
por: Enayat, Ali, et al.
Publicado: (2023)

Completions of Restricted Complexity I, Weak Arithmetical Theories
por: Enayat, Ali, et al.
Publicado: (2025)

From Numbers to Container Strings
por: Visser, Albert
Publicado: (2024)

On Rosser theories
por: Cheng, Yong
Publicado: (2024)

Pour-El's Landscape
por: Kurahashi, Taishi, et al.
Publicado: (2023)

There are no minimal effectively inseparable theories
por: Cheng, Yong
Publicado: (2022)

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

Effective inseparability and some applications in meta-mathematics
por: Cheng, Yong
Publicado: (2022)

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

The limitless First Incompleteness Theorem
por: Cheng, Yong
Publicado: (2021)

On a Theorem by Bezboruah & Shepherdson
por: Visser, Albert
Publicado: (2026)

On the hierarchy of natural theories
por: Walsh, James
Publicado: (2021)

Different Theories of Parts
por: Pietruszczak, Andrzej
Publicado: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
por: Wilken, Gunnar
Publicado: (2025)

Fundamental sequences based on localization
por: Wilken, Gunnar
Publicado: (2024)

Herbrandized modified realizability
por: Ferreira, Gilda, et al.
Publicado: (2024)

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

A Guide to Krivine Realizability for Set Theory
por: Matthews, Richard
Publicado: (2023)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
por: Cerda, Rémy, et al.
Publicado: (2022)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Proof-theoretic dilator and intermediate pointclasses
por: Jeon, Hanul
Publicado: (2025)

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

Y is a least fixed point combinator
por: Helfer, Joseph
Publicado: (2025)

Internal Effectful Forcing in System T
por: Escardo, Martin H., et al.
Publicado: (2025)

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

A proof complexity conjecture and the Incompleteness theorem
por: Krajicek, Jan
Publicado: (2023)

A meta-modal logic for bisimulations
por: Burrieza, Alfredo, et al.
Publicado: (2025)

The Syllogistic with Unity
por: Pratt-Hartmann, Ian
Publicado: (2011)

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

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
por: Mancosu, Paolo, et al.
Publicado: (2023)

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
por: Fukumoto, Yusei
Publicado: (2025)

Proof-theoretic methods in quantifier-free definability
por: Kocsis, Zoltan A.
Publicado: (2023)

Proof Compression via Subatomic Logic and Guarded Substitutions
por: Barrett, Victoria, et al.
Publicado: (2025)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
por: Rahnama, Moses
Publicado: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
por: Grotenhuis, Lide, et al.
Publicado: (2026)

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
por: Semenov, Stanislav
Publicado: (2025)

Semi-Algebraic Proof Systems for QBF
por: Beyersdorff, Olaf, et al.
Publicado: (2025)