A characterization of Takeuti's ordinal diagrams of finite order.
Page 1 Next
Displaying 1 – 20 of 67
A Characterization of the Veblen-Schütte Functions by Means of Functionals
Hilbert Levitz (1973)
Commentarii mathematici Helvetici
A combinatorial analysis of functions provably recursive in
Z. Ratajczyk (1988)
Fundamenta Mathematicae
A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference.
Tanaka, Yasuhito, Satoh, Atsuhiro (2011)
Advances in Decision Sciences
A constructive “Closed subgroup theorem” for localic groups and groupoids
Peter T. Johnstone (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
A constructivist theory of plane curves
R. Goodstein (1956)
Fundamenta Mathematicae
A continuous, constructive solution to Hilbert's 17th problem.
C.N. Delzell (1984)
Inventiones mathematicae
A definition of exponentiation by a bounded arithmetical formula
Pavel Pudlák (1983)
Commentationes Mathematicae Universitatis Carolinae
A direct proof of Gödel's incompleteness theorem.
José F. Prida (1986)
Collectanea Mathematica
A further restricted ω-rule
G. C. Nelson (1971)
Colloquium Mathematicae
A generalization of elementary formal systems
Melvin Fitting (1982)
Banach Center Publications
A Godel-Functional Interpretation of the ω-Rule
George Koletsos (1982)
Δελτίο της Ελληνικής Μαθηματικής Εταιρίας
A left compatible coequality relation on a semigroup with apartness.
Romano, Daniel Abraham (1999)
Novi Sad Journal of Mathematics
A logical analysis of the truth-reaction paradox
Kamila Bendová, Petr Hájek (1982)
Commentationes Mathematicae Universitatis Carolinae
A model for HAS. A topological interpretation of the theory of species of natural numbers
Dirk van Dalen (1974)
Fundamenta Mathematicae
A Model of Intuitionistic Analysis.
Bruno Scarpellini (1970)
Commentarii mathematici Helvetici
A modification of Newton's method
Vlastimil Pták (1976)
Časopis pro pěstování matematiky
A nonstandard approach to arithmetic.
JOSÉ F. PRIDA (1999)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
A note of a family of quasi-antiorders on semigroup
Daniel Abraham Romano (2005)
Kragujevac Journal of Mathematics
A note of definable skolem functions
D. A. Anapolitanos (1988)
Δελτίο της Ελληνικής Μαθηματικής Εταιρίας
Currently displaying 1 – 20 of 67
Page 1 Next