Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Alexis Bès

Undecidable Extensions of Skolem Arithmetic

Journal of Symbolic Logic
PhilosophyLogic
1998English

Decidability and Definability Results Related to the Elementary Theory of Ordinal Multiplication

Fundamenta Mathematicae
Number TheoryAlgebra
2002English

Related publications

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

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

Privacy PolicyRefund Policy