Work

On the (In)Dependence of the Peano Axioms for Natural Numbers

Year: 2021

Type: article

Source: History and Philosophy of Logic

DOI: 10.1080/01445340.2021.1971005

Authors: Márcia R. Cerioli, Hugo Nobrega, Guilherme Silveira, Petrucio Viana

Institutions: Universidade Federal do Rio de Janeiro, Universidade Federal Fluminense

Language: English

Topic: History and Theory of Mathematics

Subfield: Theoretical Computer Science

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

Funders: Conselho Nacional de Desenvolvimento Científico e Tecnológico, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do Rio de Janeiro

OpenAlex ID: W3206911194

FWCI: 3.335

Cites: 19

Cited by: 3

Related to: 10