Undecidable Extensions of Skolem Arithmetic

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2586837
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Partially Conservative Extensions of Arithmetic

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1979English

On Extensions of Models of Strong Fragments of Arithmetic

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1990English

Our Lady, Queen of Undecidable Propositions

Journal of Humanistic Mathematics
2016English

Embeddability of Simplicial Complexes Is Undecidable

2020English

An Undecidable Arithmetical Statement

Fundamenta Mathematicae
Number TheoryAlgebra
1949English

TSO-to-TSO Linearizability Is Undecidable

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2017English

Skolem Rings and Their Varieties

1990English

Author Correction: Learnability Can Be Undecidable

Nature Machine Intelligence
2019English

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

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy