EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F55 Intuitionistic mathematics

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 6 of 6

A continuous, constructive solution to Hilbert's 17th problem.

C.N. Delzell (1984)

Inventiones mathematicae

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 topological interpretation of second-order intuitionistic arithmetic

Joan Rand Moschovakis (1973)

Compositio Mathematica

An algebraic approach to the Heyting-Brouwer predicate calculus

Cecylia Rauszer (1977)

Fundamenta Mathematicae

Approximation theory of uniqueness conditions by existence conditions

Nobuyoshi Motohashi (1984)

Fundamenta Mathematicae

Currently displaying 1 – 6 of 6

Page 1