Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi |
|
1987
|
Interpretation of analysis by means of constructive functionals of finite types. Zbl 0134.01001
Kreisel, Georg |
|
1959
|
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
|
|
1983
|
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg |
|
1952
|
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg |
|
1951
|
Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302
Kreisel, Georg; Levy, A. |
|
1968
|
Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101
Kreisel, Georg; Troelstra, A. S. |
|
1970
|
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H. |
|
1957
|
On weak completeness of intuitionistic predicate logic. Zbl 0117.01005
Kreisel, Georg |
|
1963
|
Elements of mathematical logic (model theory). Zbl 0155.33801
Kreisel, Georg; Krivine, J. L. |
|
1967
|
Mathematical logic. Zbl 0147.24703
Kreisel, Georg |
|
1965
|
A survey of proof theory. Zbl 0177.01002
Kreisel, Georg |
|
1968
|
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis. Zbl 0156.00804
Howard, W. A.; Kreisel, Georg |
|
1966
|
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. |
|
1959
|
Foundations of intuitionistic logic. Zbl 0133.24801
Kreisel, Georg |
|
1962
|
Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038
Feferman, S.; Kreisel, Georg |
|
1966
|
Mathematical significance of consistency proofs. Zbl 0088.01502
Kreisel, Georg |
|
1959
|
Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401
Kreisel, Georg |
|
1959
|
Metarecursive sets. Zbl 0156.25203
Kreisel, Georg; Sacks, Gerald E. |
|
1965
|
A survey of proof theory. II. Zbl 0227.02013
Kreisel, Georg |
|
1971
|
Surface waves. Zbl 0032.32204
Kreisel, Georg |
|
1949
|
Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508
Kreisel, Georg |
|
1960
|
Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027
Kreisel, Georg; Takeuti, G. |
|
1974
|
A notion of mechanistic theory. Zbl 0307.02028
Kreisel, Georg |
|
1974
|
Lawless sequences of natural numbers. Zbl 0157.33401
Kreisel, Georg |
|
1968
|
Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001
Kreisel, Georg |
|
1970
|
The philosophy of mathematics. Reprints. Zbl 0181.29501
Hintikka, J. |
|
1969
|
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H. |
|
1961
|
The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802
Kreisel, Georg |
|
1962
|
Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703
Kreisel, Georg; Krivine, J. L. |
|
1967
|
Some reasons for generalizing recursion theory. Zbl 0219.02027
Kreisel, Georg |
|
1971
|
Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302
Kreisel, Georg |
|
1950
|
The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003
Kreisel, Georg; Mints, G. E.; Simpson, S. G. |
|
1975
|
La prédicativité. Zbl 0131.00604
Kreisel, Georg |
|
1960
|
Set theoretic problems suggested by the notion of potential totality. Zbl 0199.01401
Kreisel, Georg |
|
1961
|
Set existence. I, II. Zbl 0207.30102
Gandy, R. O.; Kreisel, Georg; Tait, W. W. |
|
1961
|
Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901
Kreisel, Georg |
|
1970
|
On a problem of Henkin’s. Zbl 0053.00601
Kreisel, Georg |
|
1953
|
Some applications of formalized consistency proofs. Zbl 0067.25201
Kreisel, Georg; Wang, Hao |
|
1955
|
Ensembles recursivement mesurables et ensembles recursivement ouverts on fermes. Zbl 0079.00901
Kreisel, Georg; Lacombe, Daniel |
|
1957
|
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601
Kreisel, Georg |
|
1959
|
A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101
Kreisel, Georg |
|
1959
|
Two notes on the foundations of set-theory. Zbl 0255.02002
Kreisel, Georg |
|
1969
|
Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037
Kreisel, Georg; Krivine, J. L. |
|
1971
|
Church’s thesis and the ideal of informal rigour. Zbl 0646.03001
Kreisel, Georg |
|
1987
|
Constructive logic versus algebraization. I. Zbl 0522.03046
Kreisel, Georg; Macintyre, Angus J. |
|
1982
|
On the concepts of completeness and interpretation of formal systems. Zbl 0050.00601
Kreisel, Georg |
|
1953
|
Which number theoretic problems can be solved in recursive progressions on \(\pi^1_1\)-paths through O? Zbl 0255.02048
Kreisel, Georg |
|
1972
|
Mathematical interpretation of formal systems. Zbl 0066.00902
Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy |
|
1955
|
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Zbl 0359.02024
Kreisel, Georg |
|
1977
|
Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051
Kreisel, Georg |
|
1981
|
Finiteness theorems in arithmetic: An application of Herbrand’s theorem for \(Sigma_ 2-\)formulas. Zbl 0499.03045
Kreisel, Georg |
|
1982
|
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J. |
|
1960
|
Problems in the philosophy of mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1. Zbl 0155.33603
|
|
1967
|
Some concepts concerning formal systems of number theory. Zbl 0048.24702
Kreisel, Georg |
|
1952
|
Models, translations and interpretations. Zbl 0068.24503
Kreisel, Georg |
|
1955
|
1-consistency and faithful interpretations. Zbl 0122.24502
Feferman, S.; Kreisel, Georg; Orey, S. |
|
1962
|
Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506
Kreisel, Georg; Tait, W. W. |
|
1961
|
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R. |
|
1957
|
Hilbert’s Programme. Zbl 0090.01004
Kreisel, Georg |
|
1958
|
Strong models of arithmetic. Zbl 0137.00703
Ehrenfeucht, A.; Kreisel, Georg |
|
1966
|
The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603
Kreisel, Georg |
|
1970
|
Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for classical standard analysis. Zbl 0188.32203
Kreisel, Georg |
|
1969
|
Non-uniqueness results for transfinite progressions. Zbl 0211.31301
Kreisel, Georg |
|
1960
|
Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. Zbl 0225.02040
Kreisel, Georg |
|
1965
|
Some uses of proof theory for finding computer programs. Zbl 0439.03044
Kreisel, Georg |
|
1977
|
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr |
|
2008
|
Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024
Baaz, Matthias; Pudlák, Pavel |
|
1993
|
Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004
Kreisel, Georg |
|
1953
|
Sums of squares. Zbl 0201.33202
Kreisel, Georg |
|
1960
|
Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003
Kreisel, Georg; Krivine, J.-L. |
|
1972
|
Choice of infinitary languages by means of definability criteria; generalized recursion theory. Zbl 0177.01003
Kreisel, Georg |
|
1968
|
A notion of mechanistic theory. Zbl 0335.02031
Kreisel, Georg |
|
1976
|
What have we learnt from Hilbert’s second problem? Zbl 0366.02018
Kreisel, Georg |
|
1976
|
Logical hygiene, foundations, and abstractions: diversity among aspects and options. Zbl 1275.03004
Kreisel, Georg |
|
2011
|
Gödel’s interpretation of Heyting’s arithmetic. Zbl 0161.00603
Kreisel, Georg |
|
1960
|
Functions, ordinals, species. Zbl 0187.26501
Kreisel, Georg |
|
1968
|
Observation on popular discussions of foundations. Zbl 0215.31803
Kreisel, Georg |
|
1971
|
Hilbert’s programme and the search for automatic proof procedures. Zbl 0206.27701
Kreisel, Georg |
|
1970
|
From foundations to science: Justifying and unwinding proofs. Zbl 0414.03033
Kreisel, Georg |
|
1977
|
“Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007
Kreisel, Georg |
|
1976
|
Some facts from the theory of proofs and some fictions from general proof theory. Zbl 0406.03068
Kreisel, Georg |
|
1979
|
On the idea(l) of logical closure. Zbl 0767.03005
Kreisel, G. |
|
1992
|
Proof theory and the synthesis of programs: Potential and limitations. Zbl 0574.03044
Kreisel, Georg |
|
1985
|
Logical hygiene, foundations, and abstractions: diversity among aspects and options. Zbl 1275.03004
Kreisel, Georg |
|
2011
|
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). Zbl 1153.03040
Baaz, Matthias; Wojtylak, Piotr |
|
2008
|
Kreisel’s conjecture for \(L\exists_ 1\). (Including a postscript by Georg Kreisel). Zbl 0812.03024
Baaz, Matthias; Pudlák, Pavel |
|
1993
|
On the idea(l) of logical closure. Zbl 0767.03005
Kreisel, G. |
|
1992
|
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi |
|
1987
|
Church’s thesis and the ideal of informal rigour. Zbl 0646.03001
Kreisel, Georg |
|
1987
|
Proof theory and the synthesis of programs: Potential and limitations. Zbl 0574.03044
Kreisel, Georg |
|
1985
|
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
|
|
1983
|
Constructive logic versus algebraization. I. Zbl 0522.03046
Kreisel, Georg; Macintyre, Angus J. |
|
1982
|
Finiteness theorems in arithmetic: An application of Herbrand’s theorem for \(Sigma_ 2-\)formulas. Zbl 0499.03045
Kreisel, Georg |
|
1982
|
Monadic operators defined by means of propositional quantification in intuitionistic logic. Zbl 0464.03051
Kreisel, Georg |
|
1981
|
Some facts from the theory of proofs and some fictions from general proof theory. Zbl 0406.03068
Kreisel, Georg |
|
1979
|
Wie die Beweistheorie zu ihren Ordinalzahlen kam und kommt. Zbl 0359.02024
Kreisel, Georg |
|
1977
|
Some uses of proof theory for finding computer programs. Zbl 0439.03044
Kreisel, Georg |
|
1977
|
From foundations to science: Justifying and unwinding proofs. Zbl 0414.03033
Kreisel, Georg |
|
1977
|
A notion of mechanistic theory. Zbl 0335.02031
Kreisel, Georg |
|
1976
|
What have we learnt from Hilbert’s second problem? Zbl 0366.02018
Kreisel, Georg |
|
1976
|
“Der unheilvolle Einbruch der Logik in die Mathematik”. Zbl 0407.03007
Kreisel, Georg |
|
1976
|
The use of abstract language in elementary metamathematics: Some pedagogic examples. Zbl 0318.02003
Kreisel, Georg; Mints, G. E.; Simpson, S. G. |
|
1975
|
Formally self-referential propositions for cut free classical analysis and related systems. Zbl 0336.02027
Kreisel, Georg; Takeuti, G. |
|
1974
|
A notion of mechanistic theory. Zbl 0307.02028
Kreisel, Georg |
|
1974
|
Which number theoretic problems can be solved in recursive progressions on \(\pi^1_1\)-paths through O? Zbl 0255.02048
Kreisel, Georg |
|
1972
|
Modelltheorie. Eine Einführung in die mathematische Logik und Grundlagentheorie. Aus dem Französischen übersetzt von j.J. Jung. Zbl 0238.02003
Kreisel, Georg; Krivine, J.-L. |
|
1972
|
A survey of proof theory. II. Zbl 0227.02013
Kreisel, Georg |
|
1971
|
Some reasons for generalizing recursion theory. Zbl 0219.02027
Kreisel, Georg |
|
1971
|
Elements of mathematical logic. Model theory. Translated from the French by A.B. Slomson. 1st reprint. Zbl 0219.02037
Kreisel, Georg; Krivine, J. L. |
|
1971
|
Observation on popular discussions of foundations. Zbl 0215.31803
Kreisel, Georg |
|
1971
|
Formal systems for some branches of intuitionistic analysis. Zbl 0211.01101
Kreisel, Georg; Troelstra, A. S. |
|
1970
|
Church’s thesis: A kind of reducibility axiom for constructive mathematics. Zbl 0199.30001
Kreisel, Georg |
|
1970
|
Priciples of proof and ordinals implicit in given concepts. Zbl 0208.00901
Kreisel, Georg |
|
1970
|
The formalist-positivist doctrine of mathematical precision in the light of experience. Zbl 0196.00603
Kreisel, Georg |
|
1970
|
Hilbert’s programme and the search for automatic proof procedures. Zbl 0206.27701
Kreisel, Georg |
|
1970
|
The philosophy of mathematics. Reprints. Zbl 0181.29501
Hintikka, J. |
|
1969
|
Two notes on the foundations of set-theory. Zbl 0255.02002
Kreisel, Georg |
|
1969
|
Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for classical standard analysis. Zbl 0188.32203
Kreisel, Georg |
|
1969
|
Reflection principles and their use for establishing the complexity of axiomatic systems. Zbl 0167.01302
Kreisel, Georg; Levy, A. |
|
1968
|
A survey of proof theory. Zbl 0177.01002
Kreisel, Georg |
|
1968
|
Lawless sequences of natural numbers. Zbl 0157.33401
Kreisel, Georg |
|
1968
|
Choice of infinitary languages by means of definability criteria; generalized recursion theory. Zbl 0177.01003
Kreisel, Georg |
|
1968
|
Functions, ordinals, species. Zbl 0187.26501
Kreisel, Georg |
|
1968
|
Elements of mathematical logic (model theory). Zbl 0155.33801
Kreisel, Georg; Krivine, J. L. |
|
1967
|
Éléments de logique mathématique. Théorie des modèles. Zbl 0146.00703
Kreisel, Georg; Krivine, J. L. |
|
1967
|
Problems in the philosophy of mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1. Zbl 0155.33603
|
|
1967
|
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis. Zbl 0156.00804
Howard, W. A.; Kreisel, Georg |
|
1966
|
Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038
Feferman, S.; Kreisel, Georg |
|
1966
|
Strong models of arithmetic. Zbl 0137.00703
Ehrenfeucht, A.; Kreisel, Georg |
|
1966
|
Mathematical logic. Zbl 0147.24703
Kreisel, Georg |
|
1965
|
Metarecursive sets. Zbl 0156.25203
Kreisel, Georg; Sacks, Gerald E. |
|
1965
|
Model-theoretic invariants: Applications to recursive and hyperarithmetic operations. Zbl 0225.02040
Kreisel, Georg |
|
1965
|
On weak completeness of intuitionistic predicate logic. Zbl 0117.01005
Kreisel, Georg |
|
1963
|
Foundations of intuitionistic logic. Zbl 0133.24801
Kreisel, Georg |
|
1962
|
The axiom of choice and the class of hyperarithmetic functions. Zbl 0108.00802
Kreisel, Georg |
|
1962
|
1-consistency and faithful interpretations. Zbl 0122.24502
Feferman, S.; Kreisel, Georg; Orey, S. |
|
1962
|
Number theoretic concepts and recursive well-orderings. Zbl 0129.00402
Kreisel, Georg; Shoenfield, J.; Wang, H. |
|
1961
|
Set theoretic problems suggested by the notion of potential totality. Zbl 0199.01401
Kreisel, Georg |
|
1961
|
Set existence. I, II. Zbl 0207.30102
Gandy, R. O.; Kreisel, Georg; Tait, W. W. |
|
1961
|
Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zbl 0116.00506
Kreisel, Georg; Tait, W. W. |
|
1961
|
Ordinal logics and the characterization of informal concepts of proof. Zbl 0139.00508
Kreisel, Georg |
|
1960
|
La prédicativité. Zbl 0131.00604
Kreisel, Georg |
|
1960
|
Effective operations and partial recursive functionals. Zbl 0201.33007
Kreisel, Georg; LaCombe, D.; Shoenfield, J. |
|
1960
|
Non-uniqueness results for transfinite progressions. Zbl 0211.31301
Kreisel, Georg |
|
1960
|
Sums of squares. Zbl 0201.33202
Kreisel, Georg |
|
1960
|
Gödel’s interpretation of Heyting’s arithmetic. Zbl 0161.00603
Kreisel, Georg |
|
1960
|
Interpretation of analysis by means of constructive functionals of finite types. Zbl 0134.01001
Kreisel, Georg |
|
1959
|
Partial recursive functionals and effective operations. Zbl 0178.32201
Kreisel, Georg; Lacombe, D.; Shoenfield, J. R. |
|
1959
|
Mathematical significance of consistency proofs. Zbl 0088.01502
Kreisel, Georg |
|
1959
|
Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy. Zbl 0093.01401
Kreisel, Georg |
|
1959
|
Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. Zbl 0086.24601
Kreisel, Georg |
|
1959
|
A remark on free choice sequences and the topological completeness proofs. Zbl 0091.01101
Kreisel, Georg |
|
1959
|
Hilbert’s Programme. Zbl 0090.01004
Kreisel, Georg |
|
1958
|
Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Zbl 0079.00702
Kreisel, Georg; Putnam, H. |
|
1957
|
Ensembles recursivement mesurables et ensembles recursivement ouverts on fermes. Zbl 0079.00901
Kreisel, Georg; Lacombe, Daniel |
|
1957
|
Fonctionnelles recursivement definissables et fonctionnelles recursives. Zbl 0078.00702
Kreisel, Georg; Lacombe, Daniel; Shönfield, Joseph R. |
|
1957
|
Some applications of formalized consistency proofs. Zbl 0067.25201
Kreisel, Georg; Wang, Hao |
|
1955
|
Mathematical interpretation of formal systems. Zbl 0066.00902
Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy |
|
1955
|
Models, translations and interpretations. Zbl 0068.24503
Kreisel, Georg |
|
1955
|
On a problem of Henkin’s. Zbl 0053.00601
Kreisel, Georg |
|
1953
|
On the concepts of completeness and interpretation of formal systems. Zbl 0050.00601
Kreisel, Georg |
|
1953
|
Note on arithmetic models for consistent formulae of the predicate calculus. II. Zbl 0053.20004
Kreisel, Georg |
|
1953
|
On the interpretation of non-finitist proofs. II: Interpretation of number theory. Applications. Zbl 0046.00701
Kreisel, Georg |
|
1952
|
Some concepts concerning formal systems of number theory. Zbl 0048.24702
Kreisel, Georg |
|
1952
|
On the interpretation of non-finitist proofs. I. Zbl 0044.00302
Kreisel, Georg |
|
1951
|
Note on arithmetic models for consistent formulae of the predicate calculus. Zbl 0040.00302
Kreisel, Georg |
|
1950
|
Surface waves. Zbl 0032.32204
Kreisel, Georg |
|
1949
|