Results 131 to 137 of about 4,872 (137)

A note on undecidable extensions of monadic second order successor arithmetic

Archive for Mathematical Logic, 1975
Wolfgang Thomas, Thomas Wolfgang
exaly  

Uniform versions of some axioms of second order arithmetic

Mathematical Logic Quarterly, 2004
exaly  

Second-order statistics analysis and comparison between arithmetic and geometric average fusion: Application to multi-sensor target tracking

Information Fusion, 2019
Tiancheng Li, Juan Manuel Corchado, Hongqi Fan   +2 more
exaly  

Incompleteness for Higher-Order Arithmetic

SpringerBriefs in Mathematics, 2019
Yong Cheng
exaly  

Axiomatizations of arithmetic and the first-order/second-order divide

SynthÈse, 2014
Catarina Dutilh Novaes, Dutilh Novaes Catarina   +1 more
exaly  

Number order in addition affects cognitive effort: evidence from mental arithmetic tasks

Frontiers in Psychology
Hassan Banaruee, Farsani Danyal, Eskandari Zahra   +2 more
exaly  

Complete Determinacy and Subsystems of Second Order Arithmetic

2008
Takako Nemoto
exaly