Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
Displaying similar documents to “Meaningfulness and the Erlanger program of Felix Klein”
Quantifier-free axioms for constructive plane geometry
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
The interdependence of certain consequences of the axiom of choice
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
[unknown]
M. Jelić (1990)
Matematički Vesnik
Similarity:
On the axiom of choice for families of finite sets
K. Wiśniewski (1972)
Fundamenta Mathematicae
Similarity:
Internal and forcing models for the impredicative theory of classes
Rolando Chuaqui
Similarity:
CONTENTSIntroduction............................................................................................................ 5I. Axiom system and elementary consequences........................................... 61. Axioms........................................................................................................................ 62. Definitions and elementary consequences........................................................ 9II. Principles of definitions by recursion..............................................................
Set existence principles of Shoenfield, Ackermann, and Powell
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity:
Towards finishing off the axiom of reducibility
Philippe de Rouilhan (1996)
Philosophia Scientiae
Similarity: