Imagen de Portada

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Livson, Ori, Prokopenko, Mikhail
Formato:	Preprint
Publicado:	2025
Materias:	Logic Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
por: Ma, Zhifeng, et al.
Publicado: (2024)

Arrow's Impossibility Theorem as a Generalisation of Condorcet's Paradox
por: Livson, Ori, et al.
Publicado: (2025)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
por: Grobner, Harald
Publicado: (2026)

Fixed Point Theorems in Computability Theory
por: Terwijn, Sebastiaan A.
Publicado: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Arrow-Type Impossibility for Genuinely Modal Judgments
por: Nagai, Yutaka, et al.
Publicado: (2026)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
por: Almeida, Rodrigo Nicolau
Publicado: (2023)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
por: de Groot, Jim, et al.
Publicado: (2021)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
por: Lyon, Tim S.
Publicado: (2024)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
por: Nechesov, Andrey
Publicado: (2024)

Advances in Algorithmic Meta Theorems
por: Siebertz, Sebastian, et al.
Publicado: (2024)

Incompleteness theorems via Turing category
por: Savelyev, Yasha
Publicado: (2024)

Incompleteness for stably computable formal systems
por: Savelyev, Yasha
Publicado: (2022)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
por: Koul, Prajval, et al.
Publicado: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Algorithmic Perspective on Toda's Theorem
por: Fried, Dror, et al.
Publicado: (2025)

Ruitenburg's Theorem Mechanized and Contextualized
por: Litak, Tadeusz
Publicado: (2024)

Lovász Theorems for Modal Languages
por: Comer, Jesse
Publicado: (2024)

Preservation Theorems in Semiring Semantics
por: Brinke, Sophie, et al.
Publicado: (2026)

Locality Theorems in Semiring Semantics
por: Bizière, Clotilde, et al.
Publicado: (2023)

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
por: Coquand, Thierry
Publicado: (2026)

Codd's Theorem for Databases over Semirings
por: Badia, Guillermo, et al.
Publicado: (2025)

Generating Theorems by Generating Proof Structures
por: Wernhard, Christoph
Publicado: (2026)

Modelling of logical systems by means of their fragments
por: Rybakov, Mikhail
Publicado: (2025)

A Dichotomy Theorem for Ordinal Ranks in MSO
por: Niwiński, Damian, et al.
Publicado: (2025)

A No-go Theorem for Coalgebraic Product Construction
por: Kori, Mayuko, et al.
Publicado: (2025)

Equational Theorem Proving for Clauses over Strings
por: Kim, Dohan
Publicado: (2023)

Formalizing Representation Theorems for a Logical Framework with Rewriting
por: Traversié, Thomas, et al.
Publicado: (2025)

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
por: Affeldt, Reynald, et al.
Publicado: (2024)

A General Completeness Theorem for Skip-free Star Algebras
por: Kappé, Tobias, et al.
Publicado: (2025)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
por: Qian, Yicheng, et al.
Publicado: (2025)

LLM-Powered Automatic Theorem Proving and Synthesis for Hybrid Systems and Game
por: Kabra, Aditi, et al.
Publicado: (2026)

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes
por: Jin, Xiangyu, et al.
Publicado: (2024)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
por: Di Guardia, Rémi, et al.
Publicado: (2026)

Theoremizing Yablo's Paradox
por: Karimi, Ahmad, et al.
Publicado: (2014)

Fagin's Theorem for Semiring Turing Machines
por: Badia, Guillermo, et al.
Publicado: (2025)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
por: Wałęga, Przemysław Andrzej, et al.
Publicado: (2026)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
por: Kirst, Dominik, et al.
Publicado: (2026)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
por: Dvorak, Martin, et al.
Publicado: (2025)