Arai, Toshiyasu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Extended normal form theorems for logical proofs from axioms

Toshiyasu Arai, Grigori Mints

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 106 KB

english, 2000

2

Consistency proof via pointwise induction

Journal:

Archive for Mathematical Logic

Year:

1998

Language:

english

File:

PDF, 162 KB

english, 1998

3

Ordinal diagrams for recursively Mahlo universes

Journal:

Archive for Mathematical Logic

Year:

2000

Language:

english

File:

PDF, 304 KB

english, 2000

4

A new function algebra of EXPTIME functions by safe nested recursion

Arai, Toshiyasu, Eguchi, Naohi

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 152 KB

english, 2009

5

Ordinal Diagrams for Π3-Reflection

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 408 KB

english, 2000

6

[IEEE 2012 International Symposium on Electromagnetic Compatibility - EMC EUROPE - Rome, Italy (2012.09.17-2012.09.21)] International Symposium on Electromagnetic Compatibility - EMC EUROPE - Simplified measurement of specific absorption rate for handset antennas by using broadband wave absorber phantom

Ochiyama, Keita, Michishita, Naobumi, Yamada, Yoshihide, Arai, Hiroyuki, Tanaka, Toshiyasu

Year:

2012

Language:

english

File:

PDF, 901 KB

english, 2012

7

PROOF THEORY OF WEAK COMPACTNESS

ARAI, TOSHIYASU

Journal:

Journal of Mathematical Logic

Year:

2013

Language:

english

File:

PDF, 342 KB

english, 2013

8

An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitions

Arai, Toshiyasu

Journal:

Tsukuba Journal of Mathematics

Year:

1984

Language:

english

File:

PDF, 651 KB

english, 1984

9

PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS

ARAI, TOSHIYASU

Journal:

Journal of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 273 KB

english, 2018

10

Predicatively unprovable termination of the Ackermannian Goodstein process

Arai, Toshiyasu, FernÃ¡ndez-Duque, David, Wainer, Stanley, Weiermann, Andreas

Journal:

Proceedings of the American Mathematical Society

Year:

2020

File:

PDF, 286 KB

2020

11

[Logic in Asia: Studia Logica Library] Ordinal Analysis with an Introduction to Proof Theory ||

Arai, Toshiyasu

Year:

2020

File:

PDF, 4.16 MB

2020

12

On the Slowly Well Orderedness of εo

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 142 KB

english, 2002

13

Non-elementary speed-ups in logic calculi

Journal:

Mathematical Logic Quarterly

Year:

2008

Language:

english

File:

PDF, 144 KB

english, 2008

14

A slow growing analogue to buchholz' proof

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 1.00 MB

english, 1991

15

Quick cut-elimination for strictly positive cuts

Journal:

Annals of Pure and Applied Logic

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

16

Proof theory for theories of ordinals II: Π3-reflection

Journal:

Annals of Pure and Applied Logic

Year:

2004

Language:

english

File:

PDF, 570 KB

english, 2004

17

Ideas in the epsilon substitution method for -FIX

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 295 KB

english, 2005

18

A Cooperative Assembly System Using Two Manipulators with Precise Positioning Devices

Tamio Arai, Hisashi Osumi, Toshiyasu Fukuoka, Kouichi Moriyama

Journal:

CIRP Annals - Manufacturing Technology

Year:

1995

Language:

english

File:

PDF, 358 KB

english, 1995

19

Epsilon substitution method for ID1(Π10∨Σ10)

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 444 KB

english, 2003

20

Proof theory for theories of ordinals—I: recursively Mahlo ordinals

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 801 KB

english, 2003

21

Some results on cut-elimination, provable well-orderings, induction and reflection

Journal:

Annals of Pure and Applied Logic

Year:

1998

Language:

english

File:

PDF, 5.04 MB

english, 1998

22

A bounded arithmetic AID for Frege systems

Journal:

Annals of Pure and Applied Logic

Year:

2000

Language:

english

File:

PDF, 303 KB

english, 2000

23

Exact bounds on epsilon processes

Journal:

Archive for Mathematical Logic

Year:

2011

Language:

english

File:

PDF, 209 KB

english, 2011

24

Nested PLS

Journal:

Archive for Mathematical Logic

Year:

2011

Language:

english

File:

PDF, 197 KB

english, 2011

25

Epsilon substitution method for theories of jump hierarchies

Journal:

Archive for Mathematical Logic

Year:

2002

Language:

english

File:

PDF, 254 KB

english, 2002

26

Potent anti-tumor activity of a macrocycle-quinoxalinone class pan-Cdk inhibitor in vitro and in vivo

Hiroshi Hirai, Ikuko Takahashi-Suziki, Toshiyasu Shimomura, Kazuhiro Fukasawa, Takumitsu Machida, Toru Takaki, Makiko Kobayashi, Tomohiro Eguchi, Hiroko Oki, Tsuyoshi Arai, Koji Ichikawa, Shinichi Has

Journal:

Investigational New Drugs

Year:

2011

Language:

english

File:

PDF, 482 KB

english, 2011

27

Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 583 KB

english, 2010

28

ORIGINAL ARTICLE: Argyrophilic grain disease with delusions and hallucinations: a pathological study

Toshiyasu ASAOKA, Kuniaki TSUCHIYA, Hiroshige FUJISHIRO, Tetsuaki ARAI, Masato HASEGAWA, Haruhiko AKIYAMA, Eizo ISEKI, Tatsuro ODA, Mitsumoto ONAYA, Itaru TOMINAGA

Journal:

Psychogeriatrics

Year:

2010

Language:

english

File:

PDF, 1.30 MB

english, 2010

29

Clinicopathological characteristics of FTLD-TDP showing corticospinal tract degeneration but lacking lower motor neuron loss

Zen Kobayashi, Kuniaki Tsuchiya, Tetsuaki Arai, Osamu Yokota, Mari Yoshida, Yoko Shimomura, Hiromi Kondo, Chie Haga, Toshiyasu Asaoka, Mitsumoto Onaya, Hideki Ishizu, Haruhiko Akiyama, Hidehiro Mizusa

Journal:

Journal of the Neurological Sciences

Year:

2010

Language:

english

File:

PDF, 1.80 MB

english, 2010

30

Evaluation of luminal and vessel wall abnormalities in subacute and other stages of intracranial vertebrobasilar artery dissections using the volume isotropic turbo-spin-echo acquisition (VISTA) sequence: A preliminary study

Sakurai, Keita, Miura, Toshiyasu, Sagisaka, Takafumi, Hattori, Manabu, Matsukawa, Noriyuki, Mase, Mitsuhito, Kasai, Harumasa, Arai, Nobuyuki, Kawai, Tatsuya, Shimohira, Masashi, Yamawaki, Takemori, Sh

Journal:

Journal of Neuroradiology

Year:

2013

Language:

english

File:

PDF, 953 KB

english, 2013

31

Epsilon Substitution Method for$\Pi _{2}^{0}$-FIX

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 2.01 MB

english, 2006

32

Wellfoundedness Proofs by Means of Non-Monotonic Inductive Definitions I: Π₂⁰-Operators

Journal:

Journal of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 1.90 MB

english, 2004

33

Gödel's Functional ("Dialectica") Interpretationby Jeremy Avigad; Solomon Feferman

Review by: Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 110 KB

english, 2000

34

[IEEE 2013 Asia Pacific Microwave Conference - (APMC 2013) - Seoul, Korea (South) (2013.11.5-2013.11.8)] 2013 Asia-Pacific Microwave Conference Proceedings (APMC) - Bandwidth broadening of shielding effectiveness measurement by KEC method

Gu, Hongliang, Arai, Hiroyuki, Izumi, Seiichi, Tanaka, Toshiyasu

Year:

2013

Language:

english

File:

PDF, 480 KB

english, 2013

35

The Logic of Provabilityby Giorgi Japaridze; Dick de Jongh

Review by: Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 106 KB

english, 2000

36

Types in Logic, Mathematics and Programmingby Robert L. Constable

Review by: Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 105 KB

english, 2000

37

Variations on a Theme by Weiermann

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 621 KB

english, 1998

38

The Lengths of Proofsby Pavel Pudlák

Review by: Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 151 KB

english, 2000

39

Biological characterization of 2-aminothiazole-derived Cdk4/6 selective inhibitor in vitro and in vivo

Hirai, Hiroshi, Shimomura, Toshiyasu, Kobayashi, Makiko, Eguchi, Tomohiro, Taniguchi, Eri, Fukasawa, Kazuhiro, Machida, Takumitsu, Oki, Hiroko, Arai, Tsuyoshi, Ichikawa, Koji, Hasako, Shinichi, Haze,

Journal:

Year:

2010

Language:

english

File:

PDF, 910 KB

english, 2010

40

LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY

ARAI, TOSHIYASU

Journal:

Journal of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 471 KB

english, 2014

41

Epsilon substitution method for -FIX

Arai, Toshiyasu

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 1.64 MB

english, 2006

42

CONSERVATIONS OF FIRST-ORDER REFLECTIONS

ARAI, TOSHIYASU

Journal:

Journal of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 321 KB

english, 2014

43

Predicatively computable functions on sets

Arai, Toshiyasu

Journal:

Archive for Mathematical Logic

Year:

2015

Language:

english

File:

PDF, 231 KB

english, 2015

44

Intuitionistic fixed point theories over set theories

Arai, Toshiyasu

Journal:

Archive for Mathematical Logic

Year:

2015

Language:

english

File:

PDF, 338 KB

english, 2015

45

Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π2 0-operators

Arai, Toshiyasu

Journal:

Journal of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 1.18 MB

english, 2004

46

Jäger Gerhard and Stärk Robert F.. A proof-theoretic framework for logic programming. Handbook of proof theory, edited by Buss Samuel R., Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 639–682.

Arai, Toshiyasu

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 133 KB

english, 2000

47

Realizabilityby A. S. Troelstra

Review by: Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 133 KB

english, 2000

48

Notation Systems for Infinitary Derivationsby Wilfried Buchholz;Explaining Gentzen's Consistency Proof within Infinitary Proof Theoryby Wilfried Buchholz;Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinalsby Sergei Tupailo

Review by: Toshiyasu Arai, Toshiyasu Arai and Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 169 KB

english, 2002

49

[untitled]

Review by: Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 172 KB

english, 2003

50

Hierarchies of Provably Recursive Functionsby Matt Fairtlough; Stanley S. Wainer

Review by: Toshiyasu Arai

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 142 KB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски