Abstract
The online version contains supplementary material available at 10.1007/s13205-025-04656-0.
Keywords
Natural numberMathematicsReal numberSuccessor cardinalSecond-order arithmeticDiscrete mathematicsSymbol (formal)ArithmeticBinary numberPredicate (mathematical logic)CombinatoricsComputer sciencePeano axiomsMathematical analysis
Affiliated Institutions
Related Publications
Formal Verification vs. Quantum Uncertainty
Quantum programming is hard: Quantum programs are necessarily probabilistic and impossible to examine without disrupting the execution of a program. In response to this challeng...
On the approximability of minimizing nonzero variables or unsatisfied relations in linear systems
We investigate the computational complexity of two closely related classes of combinatorial optimization problems for linear systems which arise in various fields such as machin...
Publication Info
- Year
- 1990
- Type
- book-chapter
- Pages
- 425-435
- Citations
- 1277
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
1277
OpenAlex
48
Influential
44
CrossRef
Cite This
J Büchi
(1990).
On a Decision Method in Restricted Second Order Arithmetic.
The Collected Works of J. Richard Büchi
, 425-435.
https://doi.org/10.1007/978-1-4613-8928-6_23
Identifiers
- DOI
- 10.1007/978-1-4613-8928-6_23
- PMID
- 41376887
- PMCID
- PMC12686271