Akten

Proof by transfinite induction and definition by transfinite recursion in quantifier free systems

Enthält: Kopie des Artikels (Abstract) "Proof by transfinite induction and definition by transfinite recursion in quantifier free systems" aus The Journal of Symbolic Logic 24 (1959)

Reference number: PAKN, GK Georg Kreisel, GK 8-1-36

Extent: 3 Bl.

Context: Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften

Holding: PAKN, GK Georg Kreisel

Date of creation: 1959

Other object pages: Show object in "Archivportal-D"

Last update: 10.06.2025, 11:28 AM CEST

Data provider

This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.

Show original at data provider

Object type

Sachakte

Time of origin

1959

Other Objects (12)

Hochschulschrift

Logic and proof method of recursion

Automation of proof by mathematical induction : 24.07. - 28.07.95

Proof of the Bessenrodt–Ono Inequality by Induction

Cultural Evolutionary Psychology as Generalization by Recursion

Characterizations of time-bounded computations by limited primitive recursion

Recursion theory

Topological recursion

Celestial recursion

Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives

Hochschulschrift

Program development by proof transformation

Recursion-theoretic hierarchies

Hochschulschrift

Logic and proof method of recursion

Automation of proof by mathematical induction : 24.07. - 28.07.95

Proof of the Bessenrodt–Ono Inequality by Induction

Cultural Evolutionary Psychology as Generalization by Recursion

Characterizations of time-bounded computations by limited primitive recursion

Recursion theory

Topological recursion

Celestial recursion

Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives

Hochschulschrift

Program development by proof transformation

Recursion-theoretic hierarchies

Hochschulschrift

Logic and proof method of recursion

Automation of proof by mathematical induction : 24.07. - 28.07.95

Proof of the Bessenrodt–Ono Inequality by Induction

Cultural Evolutionary Psychology as Generalization by Recursion

Characterizations of time-bounded computations by limited primitive recursion

Recursion theory

Topological recursion

Celestial recursion

Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives

Hochschulschrift

Program development by proof transformation

Recursion-theoretic hierarchies

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Proof by transfinite induction and definition by transfinite recursion in quantifier free systems

Object Details

References and Relationships

Contributors, Places and Time

Further information

Data provider

Object type

Time of origin

Other Objects (12)

Logic and proof method of recursion

Automation of proof by mathematical induction : 24.07. - 28.07.95

Proof of the Bessenrodt–Ono Inequality by Induction

Proof of the Bessenrodt–Ono Inequality by Induction

Cultural Evolutionary Psychology as Generalization by Recursion

Characterizations of time-bounded computations by limited primitive recursion

Recursion theory

Topological recursion

Celestial recursion

Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives

Program development by proof transformation

Recursion-theoretic hierarchies

Logic and proof method of recursion

Automation of proof by mathematical induction : 24.07. - 28.07.95

Proof of the Bessenrodt–Ono Inequality by Induction

Proof of the Bessenrodt–Ono Inequality by Induction

Cultural Evolutionary Psychology as Generalization by Recursion

Characterizations of time-bounded computations by limited primitive recursion

Recursion theory

Topological recursion

Celestial recursion

Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives

Program development by proof transformation

Recursion-theoretic hierarchies

Logic and proof method of recursion

Automation of proof by mathematical induction : 24.07. - 28.07.95

Proof of the Bessenrodt–Ono Inequality by Induction

Proof of the Bessenrodt–Ono Inequality by Induction

Cultural Evolutionary Psychology as Generalization by Recursion

Characterizations of time-bounded computations by limited primitive recursion

Recursion theory

Topological recursion

Celestial recursion

Definition of Structural Prerequisites for Lipoteichoic Acid-Inducible Cytokine Induction by Synthetic Derivatives

Program development by proof transformation

Recursion-theoretic hierarchies

Related objects

Reset password