Universal Induction and True Universal Arithmetic

Mathematical Logic Quarterly 40 (1):103-105 (1994)
  Copy   BIBTEX

Abstract

We prove that every finitely generated model for induction for universal formulas without parameters satisfies also all true universal sentences

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

There Are No Universal Rules for Induction.John D. Norton - 2010 - Philosophy of Science 77 (5):765-777.
The universal sentiment of daoist morality.Jianliang Xu - 2009 - Frontiers of Philosophy in China 4 (4):524-536.
The Automated Discovery of Universal Theories.Kevin T. Kelly - 1986 - Dissertation, University of Pittsburgh
Western 'sincerity' and confucian 'Cheng'.Yanming An - 2004 - Asian Philosophy 14 (2):155 – 169.
Hobbes, Universal Names, and Nominalism.Stewart Duncan - 2017 - In Stefano Di Bella & Tad M. Schmaltz (eds.), The Problem of Universals in Early Modern Philosophy. New York, NY: Oxford University Press.
Preservation theorems for bounded formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,187,161)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references