Is there an inconsistent primitive recursive relation
Bibliographic Data
| ID | 10814674 |
|---|---|
| Authors | Seungrak Choi (0000-0001-9087-6249, University of Seoul, corresponding author) |
| Year | 2022 |
| Volume | 200 |
| Issue | 5 |
| Publication date | 2022-10-07 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-022-03900-x |
| OpenAlex | W4303415891 |
| Language | EN |
| References cited | 16 |
Argument (complex analysis) · Congruence (geometry) · Discrete mathematics · Epistemology · Function (biology) · Identity (music) · Identity function · Metaphysics · Philosophy of language · Primitive recursive function · Pure mathematics · Recursive functions · Relation (database) · Computability, Logic, AI Algorithms · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy
| Highly cited | No |
|---|