Gaisi Takeuti

From MaRDI portal
Person:768306

Available identifiers

zbMath Open takeuti.gaisiWikidataQ873653 ScholiaQ873653MaRDI QIDQ768306

List of research outcomes

PublicationDate of PublicationType
Frege proof system and TNC°2023-12-12Paper
https://portal.mardi4nfdi.de/entity/Q57008212005-11-02Paper
https://portal.mardi4nfdi.de/entity/Q44098452003-07-01Paper
Frege proof system and TNC°2001-05-02Paper
https://portal.mardi4nfdi.de/entity/Q42661702000-01-13Paper
Gödel sentences of bounded arithmetic2000-01-01Paper
Forcing on bounded arithmetic II1999-08-31Paper
https://portal.mardi4nfdi.de/entity/Q42185321998-11-11Paper
https://portal.mardi4nfdi.de/entity/Q43970361998-06-25Paper
https://portal.mardi4nfdi.de/entity/Q48931391997-06-15Paper
On induction-free provability1997-05-13Paper
https://portal.mardi4nfdi.de/entity/Q48505481996-06-06Paper
Separations of theories in weak bounded arithmetic1995-07-20Paper
The critical number of a variable in a function1995-07-20Paper
Grzegorcyk's hierarchy and IepΣ11995-07-20Paper
RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\)1995-05-01Paper
https://portal.mardi4nfdi.de/entity/Q31406441994-07-26Paper
Fuzzy logic and fuzzy set theory1994-01-13Paper
https://portal.mardi4nfdi.de/entity/Q31406341993-12-02Paper
https://portal.mardi4nfdi.de/entity/Q46942241993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q40353141993-05-18Paper
Bounded arithmetic for NC, ALogTIME, L and NL1992-09-27Paper
A second order version of S2i and U211992-06-27Paper
Bounded arithmetic and the polynomial hierarchy1992-06-25Paper
\(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34873391990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38160721989-01-01Paper
Bounded arithmetic and truth definition1988-01-01Paper
Boolean simple groups and boolean simple rings1988-01-01Paper
Proof theory. 2nd ed1987-01-01Paper
Globalization of intuitionistic set theory1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37864781987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37895571987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47297811987-01-01Paper
Global intuitionistic analysis1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37224911986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37579041986-01-01Paper
Intuitionistic fuzzy logic and intuitionistic fuzzy set theory1984-01-01Paper
Von Neumann algebras and Boolean valued analysis1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33244901983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39343831982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39505531982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39661001982-01-01Paper
An accessibility proof of ordinal diagrams1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39397961981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38638811979-01-01Paper
A transfer principle in harmonic analysis1979-01-01Paper
Two Applications of Logic to Mathematics1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41827411978-01-01Paper
Weaves1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41336541977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41824821977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41285381976-01-01Paper
Proof theory1975-01-01Paper
Proof theory1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40887951975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41030791974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56762141973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47736831973-01-01Paper
Two interpolation theorems for a predicate calculus1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56311021971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56311091971-01-01Paper
A Determinate Logic1970-01-01Paper
A Relativization of Axioms of Strong Infinity to ^|^omega;11970-01-01Paper
The Universe of Set Theory1969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55723211968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55723261968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55794871968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55915071968-01-01Paper
Consistency proofs of subsystems of classical analysis1967-01-01Paper
A formalization of the theory of ordinal numbers1965-01-01Paper
Transcendence of cardinals1965-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55967811965-01-01Paper
On predicates with constructive infinitely long expressions1963-01-01Paper
A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I1963-01-01Paper
A generalization of König's lemma1963-01-01Paper
A formal system of first-order predicate calculus with infinitely long expressions1962-01-01Paper
On the inductive definition with quantifiers of second order1962-01-01Paper
A note on predicates of ordinal numbers1962-01-01Paper
On hierarchies of predicates of ordinal numbers1962-01-01Paper
On the weak definability in set theory1962-01-01Paper
Dirac space1962-01-01Paper
Remarks on the truth definition1961-01-01Paper
Axioms of infinity of set theory1961-01-01Paper
Remarks on Cantor's Absolute1961-01-01Paper
On the fundamental conjecture of GLC, VI1961-01-01Paper
Remarks on Cantor's absolute, II1961-01-01Paper
An example on the fundamental conjecture of \(GLC\)1960-01-01Paper
On the recursive functions of ordinal numbers1960-01-01Paper
Ordinal diagrams. II1960-01-01Paper
On the fundamental conjecture of \(GLC\). V1958-01-01Paper
Remark on the fundamental conjecture of \(GLC\)1958-01-01Paper
On the theory of ordinal numbers. II1958-01-01Paper
On the Formal Theory of the Ordinal Diagrams1958-01-01Paper
Ordinal diagrams1957-01-01Paper
On the theory of ordinal numbers1957-01-01Paper
On Skolem's theorem1957-01-01Paper
Remark on my paper: On Skolem's theorem1957-01-01Paper
On the fundamental conjecture of \(GLC\). III1956-01-01Paper
On the fundamental conjecture of \(GLC\). IV1956-01-01Paper
A meta-mathematical theorem on functions1956-01-01Paper
Construction of Ramified Real Numbers1956-01-01Paper
On the fundamental conjecture of \(GLC\). I, II1955-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58220691954-01-01Paper
Construction of the set theory from the theory of ordinal numbers1954-01-01Paper
https://portal.mardi4nfdi.de/entity/Q58220681953-01-01Paper
A metamathematical theorem on the theory of ordinal numbers1952-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Gaisi Takeuti