The following pages link to Gaisi Takeuti (Q768306):
Displayed 50 items.
- (Q3789557) (← links)
- Boolean simple groups and boolean simple rings (Q3798653) (← links)
- (Q3816072) (← links)
- (Q3863881) (← links)
- A transfer principle in harmonic analysis (Q3863882) (← links)
- (Q3934383) (← links)
- (Q3939796) (← links)
- (Q3950553) (← links)
- (Q3966100) (← links)
- A second order version of <i>S</i><sub>2</sub><sup><i>i</i></sup> and <i>U</i><sub>2</sub><sup>1</sup> (Q3985100) (← links)
- (Q4035314) (← links)
- (Q4088795) (← links)
- (Q4103079) (← links)
- (Q4128538) (← links)
- Weaves (Q4132535) (← links)
- (Q4133654) (← links)
- Two Applications of Logic to Mathematics (Q4175544) (← links)
- (Q4182482) (← links)
- (Q4182741) (← links)
- Frege proof system and TNC° (Q4212930) (← links)
- (Q4218532) (← links)
- Forcing on bounded arithmetic II (Q4227870) (← links)
- (Q4266170) (← links)
- The critical number of a variable in a function (Q4323038) (← links)
- Grzegorcyk's hierarchy and <i>Iep</i>Σ<sub>1</sub> (Q4323042) (← links)
- (Q4397036) (← links)
- Two interpolation theorems for a predicate calculus (Q4405133) (← links)
- (Q4409845) (← links)
- Gödel sentences of bounded arithmetic (Q4527927) (← links)
- (Q4694224) (← links)
- (Q4729781) (← links)
- (Q4773683) (← links)
- (Q4850548) (← links)
- (Q4893139) (← links)
- A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I (Q5331470) (← links)
- Dirac space (Q5338881) (← links)
- Remarks on Cantor's absolute, II (Q5521481) (← links)
- A formalization of the theory of ordinal numbers (Q5525369) (← links)
- A generalization of König's lemma (Q5527837) (← links)
- (Q5572321) (← links)
- (Q5572326) (← links)
- The Universe of Set Theory (Q5573368) (← links)
- (Q5579487) (← links)
- Transcendence of cardinals (Q5586263) (← links)
- A Determinate Logic (Q5590053) (← links)
- (Q5591507) (← links)
- A Relativization of Axioms of Strong Infinity to ^|^omega;1 (Q5596227) (← links)
- (Q5596781) (← links)
- (Q5631102) (← links)
- (Q5631109) (← links)