On the Validation of the Sets of Axioms in Mathematical Theories

Journal of Symbolic Logic 30 (3):387-387 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269663

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

Review: Andrzej Grzegorczyk, On the Validation of the Sets of Axioms in Mathematical Theories. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-387.
A method for finding new sets of axioms for classes of semigroups.João Araújo & Janusz Konieczny - 2012 - Archive for Mathematical Logic 51 (5):461-474.
Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
Freiling's axioms of symmetry in a general setting and some applications.Athanassios Tzouvaras - 2001 - Archive for Mathematical Logic 40 (2):131-145.
An axiom schema of comprehension of zermelo–fraenkel–skolem set theory.Johannes Heidema - 1990 - History and Philosophy of Logic 11 (1):59-65.
Some theorems on the axioms of choice for finite sets.Martin M. Zuckerman - 1969 - Mathematical Logic Quarterly 15 (25):385-399.
Philosophical and methodological problem of consistency of mathematical theories.N. V. Michailova - 2013 - Liberal Arts in Russia 2 (6):552--560.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
A Non-Well-Founded Set Theory.Stephen Hostetler Harnish - 1996 - Dissertation, University of Illinois at Urbana-Champaign
Mathematics, the empirical facts, and logical necessity.John C. Harsanyi - 1983 - Erkenntnis 19 (1-3):167 - 192.
Sets and Functions in Theoretical Physics.Adonai S. Sant’Anna & Otávio Bueno - 2014 - Erkenntnis 79 (2):257-281.
Czy matematyka jest niezbędna w nauce?Krzysztof Wójtowicz - 1994 - Filozofia Nauki 3.
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.
An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.

Analytics

Added to PP
2015-02-05

Downloads
1 (#1,884,204)

6 months
1 (#1,533,009)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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