The following pages link to Gaisi Takeuti (Q768306):
Displaying 50 items.
- On the fundamental conjecture of \(GLC\). III (Q768307) (← links)
- On the fundamental conjecture of \(GLC\). IV (Q768308) (← links)
- On the fundamental conjecture of \(GLC\). V (Q768309) (← links)
- Remark on the fundamental conjecture of \(GLC\) (Q768312) (← links)
- An example on the fundamental conjecture of \(GLC\) (Q768313) (← links)
- Ordinal diagrams (Q768810) (← links)
- Construction of the set theory from the theory of ordinal numbers (Q770285) (← links)
- On the theory of ordinal numbers (Q770286) (← links)
- On the fundamental conjecture of \(GLC\). I, II (Q770787) (← links)
- A meta-mathematical theorem on functions (Q770788) (← links)
- On Skolem's theorem (Q770789) (← links)
- On the theory of ordinal numbers. II (Q772782) (← links)
- On the recursive functions of ordinal numbers (Q772783) (← links)
- Ordinal diagrams. II (Q773437) (← links)
- Remark on my paper: On Skolem's theorem (Q775200) (← links)
- Proof theory. 2nd ed (Q1086559) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- Bounded arithmetic and truth definition (Q1107528) (← links)
- A formal system of first-order predicate calculus with infinitely long expressions (Q1130508) (← links)
- On the inductive definition with quantifiers of second order (Q1130779) (← links)
- An accessibility proof of ordinal diagrams (Q1158149) (← links)
- Von Neumann algebras and Boolean valued analysis (Q1166071) (← links)
- Bounded arithmetic and the polynomial hierarchy (Q1177041) (← links)
- Bounded arithmetic for NC, ALogTIME, L and NL (Q1192345) (← links)
- Fuzzy logic and fuzzy set theory (Q1311425) (← links)
- Separations of theories in weak bounded arithmetic (Q1344280) (← links)
- RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\) (Q1345903) (← links)
- On induction-free provability (Q1353982) (← links)
- Global intuitionistic analysis (Q1820781) (← links)
- \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) (Q1823242) (← links)
- Remarks on the truth definition (Q2394057) (← links)
- Axioms of infinity of set theory (Q2394406) (← links)
- Remarks on Cantor's Absolute (Q2523723) (← links)
- A note on predicates of ordinal numbers (Q2524556) (← links)
- Consistency proofs of subsystems of classical analysis (Q2527939) (← links)
- On hierarchies of predicates of ordinal numbers (Q2540425) (← links)
- On predicates with constructive infinitely long expressions (Q2626202) (← links)
- A metamathematical theorem on the theory of ordinal numbers (Q2650283) (← links)
- (Q3140634) (← links)
- (Q3140644) (← links)
- Construction of Ramified Real Numbers (Q3240850) (← links)
- On the Formal Theory of the Ordinal Diagrams (Q3240851) (← links)
- On the weak definability in set theory (Q3289000) (← links)
- On the fundamental conjecture of GLC, VI (Q3292575) (← links)
- (Q3324490) (← links)
- (Q3487339) (← links)
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory (Q3693510) (← links)
- (Q3722491) (← links)
- (Q3757904) (← links)
- (Q3786478) (← links)
