On a finitary version of mathematical analysis

Annals of Pure and Applied Logic 113 (1-3):261-295 (2001)
  Copy   BIBTEX

Abstract

An approach to constructing counterparts of some fields of mathematical analysis in the frames of Pilbert's “finitary standpoint” is sketched in this paper. This approach is based on certain results of functional spaces theory development in classical mathematics

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(01)00062-8

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

On Tao's “finitary” infinite pigeonhole principle.Jaime Gaspar & Ulrich Kohlenbach - 2010 - Journal of Symbolic Logic 75 (1):355-371.
A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.Arief Daynes - 2000 - Archive for Mathematical Logic 39 (8):581-598.
Finitary and infinitary mathematics, the possibility of possibilities and the definition of probabilities.Matthew J. Donald - unknown
Finitary Treatment of Operator Controlled Derivations.Wilfried Buchholz - 2001 - Mathematical Logic Quarterly 47 (3):363-396.
Categoricity transfer in simple finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2011 - Journal of Symbolic Logic 76 (3):759 - 806.
An algebra for finitary ontology or a functionally complete language for the finitary theory of types.François Lepage - 2000 - Logica Trianguli 4:41-51.
Finitary models of language users.George A. Miller & Noam Chomsky - 1963 - In D. Luce (ed.), Handbook of Mathematical Psychology. John Wiley & Sons.. pp. 2--419.
Fragment of nonstandard analysis with a finitary consistency proof.Michal Rössler & Emil Jeřábek - 2007 - Bulletin of Symbolic Logic 13 (1):54-70.
A computably stable structure with no Scott family of finitary formulas.Peter Cholak, Richard A. Shore & Reed Solomon - 2006 - Archive for Mathematical Logic 45 (5):519-538.
Finitary Algebraic Logic.Roger D. Maddux - 1989 - Mathematical Logic Quarterly 35 (4):321-332.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Quantum superposition justified in a new non-aristotelian finitary logic.Radhakrishnan Srinivasan - unknown
Towards collaborative content management and version control for structured mathematical knowledge.Michael Kohlhase - unknown
Ordinal analysis without proofs.Jeremy Avigad - manuscript
Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.

Analytics

Added to PP
2014-01-16

Downloads
11 (#1,110,001)

6 months
1 (#1,510,037)

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

Function Theory in an Axiom-free Equation Calculus.R. L. Goodstein - 1946 - Journal of Symbolic Logic 11 (1):24-26.
On Constructive Functions.A. A. Markov - 1966 - Journal of Symbolic Logic 31 (2):258-258.

Add more references