The shortest definition of a number in Peano arithmetic

The shortest definition of a number in Peano arithmetic Article

cited authors

Roy, DK

publication date

2003

webpage

Web of Science™

published in

MATHEMATICAL LOGIC QUARTERLY Journal

author keyword

1-complete Author Keyword
Peano arithmetic Author Keyword
recursive function Author Keyword

category

LOGIC Web of Science Category
MATHEMATICS Web of Science Category

Digital Object Identifier (DOI)

https://doi.org/10.1002/malq.200310006

volume

49

issue

1

research area

Mathematics Web of Science Research Area
Science & Technology - Other Topics Web of Science Research Area