Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540061199, 9783540382836

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translation of classical into intuitionistic approximated theories

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060875 ◽

1973 ◽

pp. 41-49

Author(s):

Horst Luckhardt

Download Full-text

Introduction and survey

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060872 ◽

1973 ◽

pp. 1-12

Author(s):

Horst Luckhardt

Download Full-text

The calculus T⋃BR of the bar recursive functionals

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060879 ◽

1973 ◽

pp. 76-87

Author(s):

Horst Luckhardt

Download Full-text

Consistency proof by computation. Computation of T⋃BRo...o⋃μ

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060882 ◽

1973 ◽

pp. 98-119

Author(s):

Horst Luckhardt

Keyword(s):

Consistency Proof

Download Full-text

Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), $$(\underrightarrow V)$$ in T

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060878 ◽

1973 ◽

pp. 68-75

Author(s):

Horst Luckhardt

Keyword(s):

Functional Interpretation ◽

Classical Arithmetic

Download Full-text

Generalization of bar induction BID and the inductive generation processes to trees over species

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060884 ◽

1973 ◽

pp. 129-133

Author(s):

Horst Luckhardt

Keyword(s):

Inductive Generation

Download Full-text

A formal system of classical analysis

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060873 ◽

1973 ◽

pp. 13-27

Author(s):

Horst Luckhardt

Keyword(s):

Formal System ◽

Classical Analysis

Download Full-text

Functional interpretation of classical (AC)o-, (ωAC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), $$(\underrightarrow V),( \urcorner \Lambda \urcorner )^o ,(\mathop \omega \limits^{ \urcorner \urcorner } AC)$$ in T⋃BR

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060880 ◽

1973 ◽

pp. 88-92

Author(s):

Horst Luckhardt

Keyword(s):

Functional Interpretation

Download Full-text

Generalized inductive definitions

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060883 ◽

1973 ◽

pp. 120-128

Author(s):

Horst Luckhardt

Keyword(s):

Inductive Definitions

Download Full-text

The calculus T of the primitive recursive functionals

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation ◽

10.1007/bfb0060877 ◽

1973 ◽

pp. 59-67

Author(s):

Horst Luckhardt

Keyword(s):

Primitive Recursive ◽

Primitive Recursive Functionals

Download Full-text

Lecture Notes in Mathematics - Extensional Gödel Functional InterpretationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Translation of classical into intuitionistic approximated theories

Introduction and survey

The calculus T⋃BR of the bar recursive functionals

Consistency proof by computation. Computation of T⋃BRo...o⋃μ

Functional interpretation of classical arithmetic plus (ER)-qf, (AC)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), $$(\underrightarrow V)$$ in T

Generalization of bar induction BID and the inductive generation processes to trees over species

A formal system of classical analysis

Functional interpretation of classical (AC)o-, (ωAC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), $$(\underrightarrow V),( \urcorner \Lambda \urcorner )^o ,(\mathop \omega \limits^{ \urcorner \urcorner } AC)$$ in T⋃BR

Generalized inductive definitions

The calculus T of the primitive recursive functionals

Lecture Notes in Mathematics - Extensional Gödel Functional Interpretation
Latest Publications