Sciweavers

2 search results - page 1 / 1
» Nonstandard arithmetic and recursive comprehension
Sort
View
APAL
2010
88views more  APAL 2010»
13 years 3 months ago
Nonstandard arithmetic and recursive comprehension
First order reasoning about hyperintegers can prove things about sets of integers. In the author's paper Nonstandard Arithmetic and Reverse Mathematics, Bulletin of Symbolic L...
H. Jerome Keisler
AML
2002
69views more  AML 2002»
13 years 3 months ago
Transfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
J. Avigad, Jeremy Helzner