Results for 'Kadono Yoshihiro'

73 found
Order:
  1.  8
    Transcranial Direct Current Stimulation of the Right Inferior Parietal Cortex Modulates the Frequency of Task-Unrelated Thoughts.Kajimura Shogo, Kadono Yoshihiro & Nomura Michio - 2015 - Frontiers in Human Neuroscience 9.
  2.  16
    Requirement acquisition in system development: A human-centred perspective of the tacit requirements. [REVIEW]Yoshihiro Sato - 1995 - AI and Society 9 (2-3):208-217.
    Specification acquisition in the system design process has been improved since the middle of the 1980s when the upper CASE tools appeared. On the contrary the quality of requirement acquisition in the upper processes of system design has not been enhanced as much as specification acquisition. Understanding the user's requirements is indispensable as one of the basic conditions for building systems that can really satisfy users.This article discusses obtaining requirement knowledge, in terms of human-centred design. The focus is on the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Jukyō to Chūgoku: "Nisennen No Seitō Shisō" No Kigen.Yoshihiro Watanabe - 2010 - Kōdansha.
    儒教が「国教」となったのはいつか。皇帝と天子は同じものか。曹操はなぜ文学を称揚したか。諸葛亮は何を守ろうとしたのか。「竹林の七賢」は何に抵抗したか。国家の正統性を主張し、統治制度や世界観の裏づけとなる 「正統思想」の意置に儒教が上り、その思想内容が変転していく様を、体系性と神秘思想の鄭玄、合理性と現実主義の王粛、光武帝、王莽、曹操や諸葛亮など、多彩な人物を軸にして、「漢」の成立と衰退、三国、魏晉時代 の歴史を交えながら描き出す。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  10
    The Analysis of Memory Model and a Hypothesis of the Pattern Regeneration.Yoshihiro Ueda - 1970 - Kagaku Tetsugaku 3:85-99.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Asian Cultural Backgrounds for International Technical Communication.Otsuka Yoshihiro - 2005 - Fenomenologia. Diálogos Possíveis Campinas: Alínea/Goiânia: Editora da Puc Goiás 5:41-48.
     
    Export citation  
     
    Bookmark  
  6.  4
    The Tale of the Nišan Shamaness. A Manchu Folk EpicThe Tale of the Nisan Shamaness. A Manchu Folk Epic.Yoshihiro Kawachi - 1979 - Journal of the American Oriental Society 99 (2):396.
  7.  22
    Toward an Imagination-based Environmental Ethics.Yoshihiro Hayashi - 2008 - Proceedings of the Xxii World Congress of Philosophy 23:37-43.
    The aim of this paper is to examine the role of imagination in environmental ethics and introduce an imaginative dimension as an essential part of environmental ethics. Imagination constitutes a basic condition for ethical thinking and action. Matters of environmental ethics have revealed the indispensable role of imagination in ethics. I’ll advance an imagination-based environmental ethics by developing Hans Jonas’ ethical thought. From his viewpoint, various effects of our action on nature and future generations, generally out of our sight, have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  22
    Introducing a Time Horizon into Ethics.Yoshihiro Hayashi - 2010 - Process Studies 39 (1):117-125.
    Modern technology has radically altered the conditions for human action, endowing us with tremendous power to affect the future. Patterns of action that appear positive in their short-term effects must sometimes be judged unsustainable. Hans Jonas and Thomas Berry are among those who emphasize the necessity of transforming ethics in light of these considerations. In a Whiteheadian framework, this needed transformation is rooted in the nature of things.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  26
    Nonstandard second-order arithmetic and Riemannʼs mapping theorem.Yoshihiro Horihata & Keita Yokoyama - 2014 - Annals of Pure and Applied Logic 165 (2):520-551.
    In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  14
    Reconstructing the Meaning of Being Human: A Reinterpretation of Frankl in the Framework of Whitehead's Philosophy.Yoshihiro Hayashi - 2009 - In G. Derfer, Z. Wang & M. Weber (eds.), The Roar of Awakening. A Whiteheadian Dialogue Between Western Psychotherapies and Eastern Worldviews. Ontos Verlag. pp. 20--167.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  3
    Yoshihiro Takasuka, Dissolution et Renaissance de l’Économie Marxiste Japonaise, Ochanomise-Shobô, 1985, 244 p.Susumu Takenaga - 1987 - Actuel Marx 2:101.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.
    We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theory TC. We prove that WTC is mutually interpretable with the weak theory of arithmetic R. The latter is, in a technical sense, much weaker than Robinson's arithmetic Q, but still essentially undecidable. Hence, as a corollary, WTC is also essentially undecidable.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. L'auto-détermination par la loi: le sujet, la voix, le temps selon l'éthique kantienne.Yoshihiro Homma - 2021 - Paris: L'Harmattan.
  14. Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.Yoshihiro Maruyama - 2013 - In L. Libkin, U. Kohlenbach & R. de Queiroz (eds.), Logic, Language, Information, and Computation. WoLLIC 2013. Lecture Notes in Computer Science, vol 8071. Springer. pp. 211-225.
    We pursue the idea that predicate logic is a “fibred algebra” while propositional logic is a single algebra; in the context of intuitionism, this algebraic understanding of predicate logic goes back to Lawvere, in particular his concept of hyperdoctrine. Here, we aim at demonstrating that the notion of monad-relativised hyperdoctrines, which are what we call fibred algebras, yields algebraisations of a wide variety of predicate logics. More specifically, we discuss a typed, first-order version of the non-commutative Full Lambek calculus, which (...)
     
    Export citation  
     
    Bookmark   3 citations  
  15. Categorical Harmony and Paradoxes in Proof-Theoretic Semantics.Yoshihiro Maruyama - 2016 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Springer Verlag.
     
    Export citation  
     
    Bookmark   2 citations  
  16.  7
    The Sense of Agency in Driving Automation.Wen Wen, Yoshihiro Kuroki & Hajime Asama - 2019 - Frontiers in Psychology 10.
  17.  21
    Combinatorial characterization of $\Pi^11$ -indescribability in $P{\kappa}\lambda$.Yoshihiro Abe - 1998 - Archive for Mathematical Logic 37 (4):261-272.
    It is proved that $\Pi^1_1$ -indescribability in $P_{\kappa}\lambda$ can be characterized by combinatorial properties without taking care of cofinality of $\lambda$ . We extend Carr's theorem proving that the hypothesis $\kappa$ is $2^{\lambda^{<\kappa}}$ -Shelah is rather stronger than $\kappa$ is $\lambda$ -supercompact.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  59
    Fundamental results for pointfree convex geometry.Yoshihiro Maruyama - 2010 - Annals of Pure and Applied Logic 161 (12):1486-1501.
    Inspired by locale theory, we propose “pointfree convex geometry”. We introduce the notion of convexity algebra as a pointfree convexity space. There are two notions of a point for convexity algebra: one is a chain-prime meet-complete filter and the other is a maximal meet-complete filter. In this paper we show the following: the former notion of a point induces a dual equivalence between the category of “spatial” convexity algebras and the category of “sober” convexity spaces as well as a dual (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  27
    A hierarchy of filters smaller than CF_\ kappa\ lambda-->.Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (6):385-397.
    This research was partially supported by Grant-in-Aid for Scientific Research, Ministry of Education, Science and Culture of Japan Mathematics Subject Classification: 03E05 -->. Following Carr's study on diagonal operations and normal filters on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\cal P}_{\kappa}\lambda$\end{document} in [2], several weakenings of normality have been investigated. One of them is to consider normal filters without \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document}-completeness, for example, see DiPrisco-Uzcategui [3]. The other (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  11
    A Model of Primitive Consciousness Based on System-Level Learning Activity in Autonomous Adaptation.Yasuo Kinouchi & Yoshihiro Kato - 2013 - International Journal of Machine Consciousness 5 (1):47-58.
  21.  21
    Notes on subtlety and ineffability in P κ λ.Yoshihiro Abe - 2005 - Archive for Mathematical Logic 44 (5):619-631.
    .A type of subtlety for Pκλ called “strongly subtle” is introduced to show almost ineffability is consistencywise stronger than Shelah property. The following are also shown: is strongly subtle” has rather strong consequences. The ideal is not strongly subtle} is not λ-saturated, and completely ineffable ideal is not precipitous. In case that λ<κ=2λ, almost λ-ineffability coincides with λ-ineffability. It is not provable that κ is λ<κ-ineffable whenever κ is λ-ineffable.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  6
    Management of digital tendon avulsion at the musculotendinous junction of the forearm: a systematic review.Jessica Collins, Yoshihiro Ishihara & Achilleas Thoma - 2012 - In Zdravko Radman (ed.), The Hand. MIT Press. pp. 7--2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory.Yoshihiro Maruyama - 2010 - Studia Logica 94 (2):245-269.
    This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  77
    Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism.Yoshihiro Maruyama - 2016 - Synthese 193 (11).
    There are still on-going debates on what exactly is wrong with Prior’s pathological “tonk.” In this article I argue, on the basis of categorical inferentialism, that two notions of inconsistency ought to be distinguished in an appropriate account of tonk; logic with tonk is inconsistent as the theory of propositions, and it is due to the fallacy of equivocation; in contrast to this diagnosis of the Prior’s tonk problem, nothing is actually wrong with tonk if logic is viewed as the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  27
    Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science.Yoshihiro Maruyama - 2020 - In A. C. Grayling, Shyam Wuppuluri, Christopher Norris, Nikolay Milkov, Oskari Kuusela, Danièle Moyal-Sharrock, Beth Savickey, Jonathan Beale, Duncan Pritchard, Annalisa Coliva, Jakub Mácha, David R. Cerbone, Paul Horwich, Michael Nedo, Gregory Landini, Pascal Zambito, Yoshihiro Maruyama, Chon Tejedor, Susan G. Sterrett, Carlo Penco, Susan Edwards-Mckie, Lars Hertzberg, Edward Witherspoon, Michel ter Hark, Paul F. Snowdon, Rupert Read, Nana Last, Ilse Somavilla & Freeman Dyson (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein’s Philosophy. Springer Verlag. pp. 245-274.
    Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  49
    Notes on the partition property of {\ mathcal {P} _\ kappa\ lambda}.Yoshihiro Abe & Toshimichi Usuba - 2012 - Archive for Mathematical Logic 51 (5-6):575-589.
    We investigate the partition property of ${\mathcal{P}_{\kappa}\lambda}$ . Main results of this paper are as follows: (1) If λ is the least cardinal greater than κ such that ${\mathcal{P}_{\kappa}\lambda}$ carries a (λ κ , 2)-distributive normal ideal without the partition property, then λ is ${\Pi^1_n}$ -indescribable for all n < ω but not ${\Pi^2_1}$ -indescribable. (2) If cf(λ) ≥ κ, then every ineffable subset of ${\mathcal{P}_{\kappa}\lambda}$ has the partition property. (3) If cf(λ) ≥ κ, then the completely ineffable ideal over (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  20
    Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science.Yoshihiro Maruyama - 2020 - In Shyam Wuppuluri & Newton da Costa (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein's Philosophy. Springer Verlag. pp. 245-274.
    Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  21
    Yoshihiro Abe. Weakly normal filters and the closed unbounded filter on P k λ_. Proceedings of the American Mathematical Society, vol. 104 (1998), pp. 1226–1234. - Yoshihiro Abe. _Weakly normal filters and large cardinals_. Tsukuba journal of mathematics, vol. 16 (1992), pp. 487–494. - Yoshihiro Abe. _Weakly normal ideals on P k λ and the singular cardinal hypothesis_. Fundamenta mathematicae, vol. 143 (1993), pp. 97–106. - Yoshihiro Abe. _Saturation of fundamental ideals on P k λ_. Journal of the Mathematical Society of Japan, vol. 48 (1996), pp. 511–524. - Yoshihiro Abe. _Strongly normal ideals on P k λ and the Sup-function_. opology and its applications, vol. 74 (1996), pp. 97–107. - Yoshihiro Abe. _Combinatorics for small ideals on P k λ_. Mathematical logic quarterly, vol. 43 (1997), pp. 541–549. - Yoshihiro Abe and Masahiro Shioya. _Regularity of ultrafilters and fixed points of elementary embeddings. Tsukuba journal of mathematics, vol. 22 (1998), pp. 31–37. [REVIEW]Pierre Matet - 2002 - Bulletin of Symbolic Logic 8 (2):309-311.
  29.  13
    The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments About Limits of AI, and Its Physical and Metaphysical Consequences.Yoshihiro Maruyama - 2017 - In Vincent C. Müller (ed.), Philosophy and Theory of Artificial Intelligence 2017. Springer.
    The frame problem is a fundamental challenge in AI, and the Lucas-Penrose argument is supposed to show a limitation of AI if it is successful at all. Here we discuss both of them from a unified Gödelian point of view. We give an informational reformulation of the frame problem, which turns out to be tightly intertwined with the nature of Gödelian incompleteness in the sense that they both hinge upon the finitarity condition of agents or systems, without which their alleged (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  4
    Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation.Yoshihiro Maruyama - 2021 - Journal of Symbolic Logic 86 (3):1189-1213.
    Lawvere hyperdoctrines give categorical algebraic semantics for intuitionistic predicate logic. Here we extend the hyperdoctrinal semantics to a broad variety of substructural predicate logics over the Typed Full Lambek Calculus, verifying their completeness with respect to the extended hyperdoctrinal semantics. This yields uniform hyperdoctrinal completeness results for numerous logics such as different types of relevant predicate logics and beyond, which are new results on their own; i.e., we give uniform categorical semantics for a broad variety of non-classical predicate logics. And (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. REVIEWS-Seven papers-PkM.Yoshihiro Abe & Pierre Matet - 2002 - Bulletin of Symbolic Logic 8 (2):309-311.
     
    Export citation  
     
    Bookmark  
  32.  40
    Strongly compact cardinals, elementary embeddings and fixed points.Yoshihiro Abe - 1984 - Journal of Symbolic Logic 49 (3):808-812.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  33.  5
    Quantum Physics and Cognitive Science from a Wittgensteinian Perspective: Bohr’s Classicism, Chomsky’s Universalism, and Bell’s Contextualism.Yoshihiro Maruyama - 2020 - In A. C. Grayling, Shyam Wuppuluri, Christopher Norris, Nikolay Milkov, Oskari Kuusela, Danièle Moyal-Sharrock, Beth Savickey, Jonathan Beale, Duncan Pritchard, Annalisa Coliva, Jakub Mácha, David R. Cerbone, Paul Horwich, Michael Nedo, Gregory Landini, Pascal Zambito, Yoshihiro Maruyama, Chon Tejedor, Susan G. Sterrett, Carlo Penco, Susan Edwards-Mckie, Lars Hertzberg, Edward Witherspoon, Michel ter Hark, Paul F. Snowdon, Rupert Read, Nana Last, Ilse Somavilla & Freeman Dyson (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein’s Philosophy. Springer Verlag. pp. 375-407.
    Although Wittgenstein’s influence on logic and foundations of mathematics is well recognized, nonetheless, his legacy concerning other sciences is much less elucidated, and in this article we aim at shedding new light on physics, artificial intelligence, and cognitive science from a Wittgensteinian perspective. We focus upon three issues amongst other things: the Chosmky versus Norvig debate on the nature of language; a Neo-Kantian parallelism between Bohr’s philosophy of physics and Hilbert’s philosophy of mathematics; the relationships between cognitive contextuality and physical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  45
    Strong Soldiers, Failed Revolution: The State and Military in Burma, 1962-88.Yoshihiro Nakanishi - 2013 - Philosophy East and West 63 (2).
  35. Kakehashi Akihide no busshitsu tetsugaku: zenshizenshi no shisō to senjika teikō no kenkyū.Yoshihiro Nakajima - 2017 - Tōkyō-to Bunkyō-ku: Miraisha.
     
    Export citation  
     
    Bookmark  
  36.  25
    Japanese Phenomenology. Edited by Yoshihiro Nitta and Hirotaka Tatematsu.Louis A. Barth - 1980 - Modern Schoolman 57 (4):373-374.
  37.  7
    Combinatorial characterization of [mathematical formula]-indescribability in [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (4-5).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  39
    Some results concerning strongly compact cardinals.Yoshihiro Abe - 1985 - Journal of Symbolic Logic 50 (4):874-880.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  1
    Quantum Physics and Cognitive Science from a Wittgensteinian Perspective: Bohr’s Classicism, Chomsky’s Universalism, and Bell’s Contextualism.Yoshihiro Maruyama - 2020 - In Shyam Wuppuluri & Newton da Costa (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein's Philosophy. Springer Verlag. pp. 375-407.
    Although Wittgenstein’s influence on logic and foundations of mathematics is well recognized, nonetheless, his legacy concerning other sciences is much less elucidated, and in this article we aim at shedding new light on physics, artificial intelligence, and cognitive science from a Wittgensteinian perspective. We focus upon three issues amongst other things: the Chosmky versus Norvig debate on the nature of language; a Neo-Kantian parallelism between Bohr’s philosophy of physics and Hilbert’s philosophy of mathematics; the relationships between cognitive contextuality and physical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  19
    Combinatorics for Small Ideals on Pkλ.Yoshihiro Abe - 1997 - Mathematical Logic Quarterly 43 (4):541-549.
    We study the distributivity of the bounded ideal on Pkλ and answer negatively to a question of Johnson in [13]. The size of non-normal ideals with the partition property is also studied.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  13
    Weak theories of concatenation and minimal essentially undecidable theories: An encounter of WTC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}}$$\end{document} and S2S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{S2S}}$$\end{document}.Kojiro Higuchi & Yoshihiro Horihata - 2014 - Archive for Mathematical Logic 53 (7-8):835-853.
    We consider weak theories of concatenation, that is, theories for strings or texts. We prove that the theory of concatenation WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document}, which is a weak subtheory of Grzegorczyk’s theory TC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{TC}^{-\varepsilon}}$$\end{document}, is a minimal essentially undecidable theory, that is, the theory WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{WTC}^{-\varepsilon}}$$\end{document} is essentially undecidable and if one omits an axiom scheme from WTC-ε\documentclass[12pt]{minimal} \usepackage{amsmath} (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42.  13
    A hierarchy of filters smaller than [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (6).
  43.  6
    Tell Kosak Shamali, vol. 1: The Archaeological Investigations on the Upper Euphrates, Syria: Chalcolithic Architecture and the Earlier Prehistoric Remains.E. B. Banning, Yoshihiro Nishiaki & Toshio Matsutani - 2004 - Journal of the American Oriental Society 124 (1):154.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  10
    The East-West Phenomenon (in Czech).Yoshihiro Nitta - 1998 - Filosoficky Casopis 46:389-402.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  6
    Hegels Lehre von der Korporation.Yoshihiro Niji - 2014 - Hegel-Jahrbuch 2014 (1).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  10
    Problem and paradigms: Somatic generation of a genetic polymorphism: Towards the solution of the I‐J Enigma.Tomio Tada & Yoshihiro Asano - 1986 - Bioessays 4 (6):283-285.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Japanische Beiträge Zur Phänomenologie.Toshihiko Izutsu & Yoshihiro Nitta - 1984
    No categories
     
    Export citation  
     
    Bookmark  
  48. Regularity of Ultrafilters and Fixed Points of Elementary Embeddings.Pierre Matet, Yoshihiro Abe & Masahiro Shioya - 2002 - Bulletin of Symbolic Logic 8 (2):309.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  50
    Individual members 2008.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Bryant Adams, Klaus T. Aehlig, Fritz Aeschbach & Henry Louis Africk - 2008 - Bulletin of Symbolic Logic 14 (4).
  50. Individual members 2010.Martın Abadi, Yoshihiro Abe, Andreas Abel, Francine F. Abeles, Andrew Aberdein, J. David Abernethy, Kuanysh Abeshev, Nate Ackerman, Winfred P. Adams & Miloš Adzic - 2010 - Bulletin of Symbolic Logic 16 (4).
1 — 50 / 73