On the Gentzen theorem
H. Rasiowa, Roman Sikorski (1959)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Finite and infinite in intuitionistic mathematics”
On the Gentzen theorem
Correction to the paper "Some Impredicative Definitions in the Axiomatic Set-Theory" by Andrzej Mostowski (Fund. Math. 37, 1950, p. 118)
(1951)
Fundamenta Mathematicae
Similarity:
Association schemes. I
Luboš Bauer (1981)
Archivum Mathematicum
Similarity:
The elimination of descriptions from A. Bressan’s modal language on which the logical calculus is based
Eugenio Giovanni Omodeo (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
General numeration II. Division schemes.
D. W. Dubois (1982)
Revista Matemática Hispanoamericana
Similarity:
This is the second in a series of two papers on numeration schemes. Whereas the first paper emphasized grouping as exemplified in the partition of a number so as to obtain its base two numeral, the present paper takes at its point of departure the method of repeated divisions, as in the calculation of the base two numeral for a number by dividing it by two, then dividing the quotient by two, etc., and collecting the remainders. This method is a sort of classification scheme - odd or...
On nonmonotone inductive definability
Yiannis Moschovakis (1974)
Fundamenta Mathematicae
Similarity:
The equivalence of two definitions of elementary formal system
Haskell B. Curry (1968)
Compositio Mathematica
Similarity:
A note on a result of Buss concerning bounded theories and the collection scheme.
Ferreira, Fernando (1995)
Portugaliae Mathematica
Similarity: