Quadratic Axioms

Abstract

We axiomatize EFA in strictly mathematical terms, involving only the ring operations, without extending the language by either exponentiation, finite sets of integers, or polynomials.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Quadratic forms in normal open induction.Margarita Otero - 1993 - Journal of Symbolic Logic 58 (2):456-476.
Finite reverse mathematics.Harvey Friedman - manuscript
Sub-Theory of Peano Arithmetic.Andrew Boucher - unknown
Comparing the Smooth and Dedekind Reals in Smooth Infinitesimal Analysis.John L. Bell - unknown
Does normal mathematics need new axioms?Harvey Friedman - manuscript
Unprovable theorems in discrete mathematics.Harvey Friedman - manuscript
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
Equational Boolean relation theory.Harvey Friedman - manuscript
The number of certain integral polynomials and nonrecursive sets of integers, part.Harvey Friedman - manuscript
Proving quadratic reciprocity.Andrew Boucher - manuscript
Why Axiomatize Arithmetic?Charles Sayward - 2005 - Sorites 16:54-61.
Proper scoring rules, dominated forecasts, and coherence.Teddy Seidenfeld - unknown
A theory of strong indiscernibles.Harvey Friedman - manuscript
Concrete Mathematical Incompleteness: Basic Emulation Theory.Harvey Friedman - 2018 - In Roy Cook & Geoffrey Hellman (eds.), Hilary Putnam on Logic and Mathematics. Springer Verlag.
First-order topological axioms.R. D. Kopperman - 1981 - Journal of Symbolic Logic 46 (3):475-489.

Analytics

Added to PP
2010-12-22

Downloads
152 (#118,812)

6 months
1 (#1,346,405)

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