The interdependence of certain consequences of the axiom of choice
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Quantifier-free axioms for constructive plane geometry”
The interdependence of certain consequences of the axiom of choice
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
[unknown]
M. Jelić (1990)
Matematički Vesnik
Similarity:
Meaningfulness and the Erlanger program of Felix Klein
L. Narens (1988)
Mathématiques et Sciences Humaines
Similarity:
On the axiom of choice for families of finite sets
K. Wiśniewski (1972)
Fundamenta Mathematicae
Similarity:
Three Propositions Equivalent To The Axiom Of Choice
Perry Smith (1982)
Publications de l'Institut Mathématique
Similarity:
Tarski Geometry Axioms
William Richter, Adam Grabowski, Jesse Alama (2014)
Formalized Mathematics
Similarity:
This is the translation of the Mizar article containing readable Mizar proofs of some axiomatic geometry theorems formulated by the great Polish mathematician Alfred Tarski [8], and we hope to continue this work. The article is an extension and upgrading of the source code written by the first author with the help of miz3 tool; his primary goal was to use proof checkers to help teach rigorous axiomatic geometry in high school using Hilbert’s axioms. This is largely a Mizar port of Julien...
Modified Mielnik's Axioms and Reflexivity
C. V. Stanojevic (1973)
Recherche Coopérative sur Programme n°25
Similarity:
On well-ordered subsets of any set
Alfred Tarski (1939)
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..............................................................