Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They

First Page		Document Content
Date: 2015-08-29 00:40:53		Jason M Rute* (), University Park, PAApplication of computable continuous model theory to a question in proof theory. There are many ways to express that a sequence converges. They Add to Reading List Source URL: www.ams.org Download Document from Source Website File Size: 42,50 KB Share Document on Facebook