<--- Back to Details
First PageDocument Content
Logic / Ordinal numbers / Ordinal analysis / Gerhard Gentzen / Cut-elimination theorem / Natural deduction / Limit ordinal / Sequent calculus / Constructible universe / Mathematical logic / Mathematics / Proof theory
Date: 2013-10-02 08:04:05
Logic
Ordinal numbers
Ordinal analysis
Gerhard Gentzen
Cut-elimination theorem
Natural deduction
Limit ordinal
Sequent calculus
Constructible universe
Mathematical logic
Mathematics
Proof theory

Add to Reading List

Source URL: www.icm2006.org

Download Document from Source Website

File Size: 162,92 KB

Share Document on Facebook

Similar Documents

ORDINAL DEFINABLE SUBSETS OF SINGULAR CARDINALS JAMES CUMMINGS, SY-DAVID FRIEDMAN, MENACHEM MAGIDOR, ASSAF RINOT, AND DIMA SINAPOVA Abstract. A remarkable result by Shelah states that if 𝜅 is a singular strong limit c

DocID: 1uHob - View Document

Probability theory / Mathematical analysis / Statistical theory / Analysis / Imprecise probability / Conditional probability / Limit of a function / Ordinal number / Conditioning / Connection

Full conglomerability, continuity and marginal extension Enrique Miranda1 and Marco Zaffalon2 Abstract We investigate fully conglomerable coherent lower previsions in the sense of Walley, and some particular cases of int

DocID: 1qzp6 - View Document

Sequence / Ordinal number / Constructible universe / Limit of a function

8. Recursions Po-Shen Loh CMU Putnam Seminar, Fall

DocID: 1oWKn - View Document

Ordinal numbers / Proof theory / Computability theory / Mathematical notation / Ordinal notation / Continuous function / Constructible universe / Limit of a function / Symbol / NC / Computable number / Fast-growing hierarchy

A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK LINDA BROWN WESTRICK Abstract. We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differen

DocID: 1npFU - View Document

Mathematical logic / Model theory / Logic / Morley rank / Constructible universe / Von Neumann universe / Limit ordinal / Ordinal number / Saturated model

Identifying groups of finite Morley rank with a split BN-pair of rank 1 Josh Wiscons University of Colorado, Boulder Josh Wiscons

DocID: 1n32m - View Document