Iterated Inductive Definitions and Subsystems of Analysis : Recent Proof-Theoretical Studies - Softcover
Synopsis
Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof-theoretical analysis of ID? by the method of local predicativity.
"synopsis" may belong to another edition of this title.
Search results for Iterated Inductive Definitions and Subsystems of Analysis...
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis : Recent Proof-Theoretical Studies
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA829999175122X5
Buy Used
US$ 260.80
Shipping:
US$ 33.32
From United Kingdom to U.S.A.
Quantity: 1 available