A note on a result of Buss concerning bounded theories and the collection scheme.
Ferreira, Fernando (1995)
Portugaliae Mathematica
Similarity:
Displaying similar documents to “Correction to the paper 'Some Impredicative Definitions in the Axiomatic Set-Theory' by Andrzej Mostowski (Fund. Math. 37, 1950, p. 118)”
A note on a result of Buss concerning bounded theories and the collection scheme.
Construction of the class FN
Jiří Sgall (1986)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On the Gentzen theorem
H. Rasiowa, Roman Sikorski (1959)
Fundamenta Mathematicae
Similarity:
Association schemes. I
Luboš Bauer (1981)
Archivum Mathematicum
Similarity:
A new 4-point quaternary approximating subdivision scheme.
Mustafa, Ghulam, Khan, Faheem (2009)
Abstract and Applied Analysis
Similarity:
The equivalence of two definitions of elementary formal system
Haskell B. Curry (1968)
Compositio Mathematica
Similarity:
Finite and infinite in intuitionistic mathematics
A. S. Troelstra (1967)
Compositio Mathematica
Similarity: