Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Periodic extensive measurement”
Quantifier-free axioms for constructive plane geometry
The interdependence of certain consequences of the axiom of choice
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
On well-ordered subsets of any set
Alfred Tarski (1939)
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:
Meaningfulness and the Erlanger program of Felix Klein
L. Narens (1988)
Mathématiques et Sciences Humaines
Similarity:
Some theorems on vector spaces and the axiom of choice
M. Bleicher (1964)
Fundamenta Mathematicae
Similarity:
Axioms of multiple choice
A. Lévy (1962)
Fundamenta Mathematicae
Similarity:
On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice
Horst Herrlich, Paul Howard, Eleftherios Tachtsis (2015)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
We study the deductive strength of properties under basic set-theoretical operations of the subclass E-Fin of the Dedekind finite sets in set theory without the Axiom of Choice ( AC ), which consists of all E-finite sets, where a set X is called E-finite if for no proper subset Y of X is there a surjection f:Y → X.