Fragments de l'arithmétique et fonctions de couplage

DOI10.1016/S0764-4442(01)02151-6zbMath0989.03067MaRDI QIDQ2765865

Yerzhan Baisalov

Publication date: 22 July 2002

Published in: Comptes Rendus de l'Académie des Sciences - Series I - Mathematics (Search for Journal in Brave)

zbMATH Keywords

decidabilityfragments of arithmeticpairing function

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items (1)

Unnamed Item

This page was built for publication: Fragments de l'arithmétique et fonctions de couplage