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

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 – 9 of 9

Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées

Françoise Delon (1981)

Fundamenta Mathematicae

Independent instances for some undecidable problems

Cristian Calude, Gheorghe Păun (1983)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Infinite terms and a system of natural deduction

Per Martin-Löf (1972)

Compositio Mathematica

Infinitésimaux et intuitionnisme

Jacques Penon (1981)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Inheriting the anti-Specker property.

Bridges, Douglas S. (2010)

Documenta Mathematica

Integrating intuitionistic and classical theories

E. López-Escobar (1981)

Fundamenta Mathematicae

Interpretationen der Heyting-Arithmetik endlicher Typen.

Martin Stein (1978)

Archiv für mathematische Logik und Grundlagenforschung

Interpreting reflexive theories in finitely many axioms

V. Shavrukov (1997)

Fundamenta Mathematicae

For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation ’F interprets R’ in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of $\prod_{1}$ (as well as $\sum_{1}$ ) sentences π such that GB interprets ZF+π is $Σ_{3}^{0}$ -complete.

Intuitionistic Frege systems are polynomially equivalent.

Mints, G., Kojevnikov, A. (2004)

Zapiski Nauchnykh Seminarov POMI

Currently displaying 1 – 9 of 9

Page 1