Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
27
views
0
references
Top references
cited by
13
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,197
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
edited_book
Author(s):
Per Martin-Löf
Publication date
(Print):
1971
Publisher:
Elsevier
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory
Author and book information
Book Chapter
Publication date (Print):
1971
Pages
: 179-216
DOI:
10.1016/S0049-237X(08)70847-4
SO-VID:
fb2ca46a-aee3-470e-8868-a87378087069
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. vii
Preface
pp. vii
Preface
pp. 1
The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles
pp. 5
An Introduction to First-Order Logic
pp. 11
Epistemic and Intuitionistic Arithmetic
pp. 15
Some Connections Between Elementary and Modal Logic
pp. 33
A Basis for a Mathematical Theory of Computation)
pp. 55
The Type Theoretic Interpretation of Constructive Set Theory
pp. 63
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
pp. 68
3. Investigations into Logical Deduction
pp. 73
An Intuitionistic Theory of Types: Predicative Part
pp. 91
Notions of Choice Sequence
pp. 92
Semantical Analysis of Intuitionistic Logic I
pp. 98
Quelques Remarques, Théorèmes Et Problèmes Sur Les Classes Définissables D'algèbres
pp. 105
On Local and Non-Local Properties
pp. 107
Formal Spaces
pp. 110
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
pp. 118
The Algebraic Theory of Context-Free Languages
pp. 149
A Note on Bar Induction Rule
pp. 153
Constructive Mathematics and Computer Programming
pp. 165
The Effective Topos
pp. 179
Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
pp. 191
Degrees of Functions with no Fixed Points
pp. 217
Constructive Logic Versus Algebraization I
pp. 221
Geometry of Interaction 1: Interpretation of System F
pp. 235
Ideas and Results in Proof Theory
pp. 266
The Foundations of Classical Mechanics in the Light of Recent Advances in Continuum Mechanics
pp. 283
An Approach to Constructive Mathematical Logic
pp. 337
Gödel’s Functional (“Dialectica”) Interpretation
pp. 453
Complexity of Normalization in the Pure Typed Lambda – Calculus
pp. 459
Nonstandard Models and Constructivity
pp. 571
Informational Independence as a Semantical Phenomenon
pp. 631
Degrees of Unsolvability: A Survey of Results
pp. 739
An Introduction to Inductive Definitions
pp. 821
The Incompleteness Theorems
pp. 1133
A Mathematical Incompleteness in Peano Arithmetic
Similar content
4,197
Priority Weight Intervals Derived From Intuitionistic Multiplicative Preference Relations
Authors:
Zeshui Xu
A distance measure for intuitionistic fuzzy sets and its application to pattern classification problems
Authors:
F. Xiao
,
Xiao
Two‐sided matching based on intuitionistic fuzzy set information
Authors:
Q YUE
See all similar
Cited by
29
Cyclic Proofs for First-Order Logic with Inductive Definitions
Authors:
James Brotherston
Automated Cyclic Entailment Proofs in Separation Logic
Authors:
James Brotherston
,
Dino Distefano
,
Rasmus Lerchedahl Petersen
Cut-elimination for a logic with definitions and induction
Authors:
Raymond C. McDowell
,
Dale Miller
See all cited by