Akten

Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis

Enthält: 2 Sonderdrucke und eine Korrekturfahne des zusammen mit W. A. Howard publizierten Artikels "Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis" aus The Journal of Symbolic Logic 31 (1966)

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

Extent: 2 Sonderdrucke, 1 Korrekturfahne

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

Holding: PAKN, GK Georg Kreisel

Date of creation: 1966

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

1966

Other Objects (12)

Hochschulschrift

Superposition: Types and Induction

Confirmation and induction

Sensorless vector control of induction motors and low speed and zero speed

Enumerative Induction and Lawlikeness

Hochschulschrift

Induction on non-freely generated data types

Hochschulschrift

Graded and geometric parabolic induction

Induction, space and positive ethics

Arbeitspapier

Capacity, Entry and Forward Induction

Journal article | Zeitschriftenartikel

Induction, space and positive ethics

Grafik

Induction

Abschnitt