Sciweavers

13913 search results - page 73 / 2783
» models 2007
Sort
View
76
Voted
MLQ
2007
78views more  MLQ 2007»
14 years 11 months ago
Nonstandard models that are definable in models of Peano Arithmetic
Kazuma Ikeda, Akito Tsuboi