An Undecidable Arithmetical Statement

Fundamenta Mathematicae - Poland
doi 10.4064/fm-36-1-143-164
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Mathematics, Polish Academy of Sciences

Related search

TSO-to-TSO Linearizability Is Undecidable

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2017English

Arithmetical Tauberian Theorems

Acta Arithmetica
Number TheoryAlgebra
1964English

Author Correction: Learnability Can Be Undecidable

Nature Machine Intelligence
2019English

Our Lady, Queen of Undecidable Propositions

Journal of Humanistic Mathematics
2016English

Embeddability of Simplicial Complexes Is Undecidable

2020English

Low Dimensional Hybrid Systems – Decidable, Undecidable, Donʼt Know

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2012English

Minimal Covers and Arithmetical Sets

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1970English

Undecidable Extensions of Skolem Arithmetic

Journal of Symbolic Logic
PhilosophyLogic
1998English

Existential Heap Abstraction Entailment Is Undecidable

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy