Japanese science and technology studies has historically developed under the influence of Marxism, which generally had a great impact on prewar and postwar Japanese social sciences. However, since the late 1970s, the Marxist tradition was taken over by postmodernism and then neoliberalism. The global immiserization of working class recently brought back Marx and his critique of capital. The Marxist tradition should be revitalized by reviewing neo-Marxist works in the 1960s and 1970s, which rightly made science and technology the subject of (...) criticism for the first time. (shrink)

Neoliberalism advocates for the construction of free markets, which are to be used for solutions to economic and social problems rather than state solutions to those problems. Though Neoliberal reforms in Japan have affected its science and technology, STS literature has not focused on responses to neoliberalism through the lens of a country. Japan has a discrete STS history and Japan makes a good case study to the influence of neoliberalism on STS. In August 2010, at Tokyo’s Social Studies of (...) Science (4S) meetings, there were several sessions on neoliberalism and STS. At these sessions, Kunio Goto, Yasumoto Fujita, Hidetoshi Kihara, Hideto Nakajima, Steve Fuller, David Hess, Francis Remedios presented different responses to neoliberalism and STS. This special issue explores two themes. The first theme is Goto's and Fujita's call for a revitalization of Marxist STS as an alternative to the influence of neoliberalism on STS in Japan. The second theme is Kihara's and Nakajima's call for a revitalization of a critical function of STS in Japan. Hess examines STS as a field and its response to neoliberalism in Europe and Anglophone countries. (shrink)

Let f ϵ Z [ X, Y ] be irreducible. We give a condition that there are only finitely many integers n ϵ Z such that f is reducible and we give a bound for such integers. We prove a similar result for polynomials with coefficients in polynomial rings. Both results are proved by, so-called, nonstandard arithmetic.

LetKbe an algebraic number field andIKthe ring of algebraic integers inK. *Kand *IKdenote enlargements ofKandIKrespectively. LetxЄ *K–K. In this paper, we are concerned with algebraic extensions ofKwithin *K. For eachxЄ *K–Kand each natural numberd, YKis defined to be the number of algebraic extensions ofKof degreedwithin *K.xЄ *K–Kis called a Hilbertian element ifYK= 0 for alldЄ N,d> 1; in other words,Khas no algebraic extension within *K. In their paper [2], P. C. Gilmore and A. Robinson proved that the existence of a (...) Hilbertian element is equivalent to Hilbert's irreducibility theorem. In a previous paper [9], we gave many Hilbertian elements of nonstandard integers explicitly, for example, for any nonstandard natural numberω, 2ωPωand 2ω are Hilbertian elements in*Q, where pωis theωth prime number. (shrink)

This paper discusses sufficient conditions for a definably complete expansion of a densely linearly ordered abelian group to have uniformly locally o‐minimal open cores of the first/second kind and strongly locally o‐minimal open core, respectively.

This book represents the fourth volume in the series Collected Papers on Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. This volume specifically delves into the concept of the HyperUncertain Set, building on the foundational advancements introduced in previous volumes. The series aims to explore the ongoing evolution of uncertain combinatorics through innovative methodologies such as graphization, hyperization, and uncertainization. These approaches integrate and extend core concepts from fuzzy, neutrosophic, soft, and rough set theories, (...) providing robust frameworks to model and analyze the inherent complexity of real-world uncertainties. At the heart of this series lies combinatorics and set theory—cornerstones of mathematics that address the study of counting, arrangements, and the relationships between collections under defined rules. Traditionally, combinatorics has excelled in solving problems involving uncertainty, while advancements in set theory have expanded its scope to include powerful constructs like fuzzy and neutrosophic sets. These advanced sets bring new dimensions to uncertainty modeling by capturing not just binary truth but also indeterminacy and falsity. In this fourth volume, the integration of set theory with graph theory takes center stage, culminating in "graphized" structures such as hypergraphs and superhypergraphs. These structures, paired with innovations like Neutrosophic Oversets, Undersets, Offsets, and the Nonstandard Real Set, extend the boundaries of mathematical abstraction. This fusion of combinatorics, graph theory, and uncertain set theory creates a rich foundation for addressing the multidimensional and hierarchical uncertainties prevalent in both theoretical and applied domains. The book is structured into thirteen chapters, each contributing unique perspectives and advancements in the realm of HyperUncertain Sets and their related frameworks. -/- The first chapter (Advancing Traditional Set Theory with Hyperfuzzy, Hyperneutrosophic, and Hyperplithogenic Sets) explores the evolution of classical set theory to better address the complexity and ambiguity of real-world phenomena. By introducing hierarchical structures like hyperstructures and superhyperstructures—created through iterative applications of power sets—it lays the groundwork for more abstract and adaptable mathematical tools. The focus is on extending three foundational frameworks: Fuzzy Sets, Neutrosophic Sets, and Plithogenic Sets into their hyperforms: Hyperfuzzy Sets, Hyperneutrosophic Sets, and Hyperplithogenic Sets. These advanced concepts are applied across diverse fields such as statistics, clustering, evolutionary theory, topology, decision-making, probability, and language theory. The goal is to provide a robust platform for future research in this expanding area of study. The second chapter (Applications and Mathematical Properties of Hyperneutrosophic and SuperHyperneutrosophic Sets) extends the work on Hyperfuzzy, Hyperneutrosophic, and Hyperplithogenic Sets by delving into their advanced applications and mathematical foundations. Building on prior research, it specifically examines Hyperneutrosophic and SuperHyperneutrosophic Sets, exploring their integration into: Neutrosophic Logic, Cognitive Maps,Graph Neural Networks, Classifiers, and Triplet Groups. The chapter also investigates their mathematical properties and applicability in addressing uncertainties and complexities inherent in various domains. These insights aim to inspire innovative uses of hypergeneralized sets in modern theoretical and applied research. The third chapter (New Extensions of Hyperneutrosophic Sets – Bipolar, Pythagorean, Double-Valued, and Interval-Valued Sets) studies advanced variations of Neutrosophic Sets, a mathematical framework defined by three membership functions: truth (T), indeterminacy (I), and falsity (F). By leveraging the concepts of Hyperneutrosophic and SuperHyperneutrosophic Sets, the study extends: Bipolar Neutrosophic Sets, Interval-Valued Neutrosophic Sets, Pythagorean Neutrosophic Sets, and Double-Valued Neutrosophic Sets. These extensions address increasingly complex scenarios, and a brief analysis is provided to explore their potential applications and mathematical underpinnings. Building on prior research, the fourth chapter (Hyperneutrosophic Extensions of Complex, Single-Valued Triangular, Fermatean, and Linguistic Sets) expands on Neutrosophic Set theory by incorporating recent advancements in Hyperneutrosophic and SuperHyperneutrosophic Sets. The study focuses on extending: Complex Neutrosophic Sets, Single-Valued Triangular Neutrosophic Sets, Fermatean Neutrosophic Sets, and Linguistic Neutrosophic Sets. The analysis highlights the mathematical structures of these hyperextensions and explores their connections with existing set-theoretic concepts, offering new insights into managing uncertainty in multidimensional challenges. The fifth chapter (Advanced Extensions of Hyperneutrosophic Sets – Dynamic, Quadripartitioned, Pentapartitioned, Heptapartitioned, and m-Polar) delves deeper into the evolution of Neutrosophic Sets by exploring advanced frameworks designed for even more intricate applications. New extensions include: Dynamic Neutrosophic Sets, Quadripartitioned Neutrosophic Sets, Pentapartitioned Neutrosophic Sets, Heptapartitioned Neutrosophic Sets, and m-Polar Neutrosophic Sets. These developments build upon foundational research and aim to provide robust tools for addressing multidimensional and highly nuanced problems. The sixth chapter (Advanced Extensions of Hyperneutrosophic Sets – Cubic, Trapezoidal, q-Rung Orthopair, Overset, Underset, and Offset) builds upon the Neutrosophic framework, which employs truth (T), indeterminacy (I), and falsity (F) to address uncertainty. Leveraging advancements in Hyperneutrosophic and SuperHyperneutrosophic Sets, the study extends: Cubic Neutrosophic Sets, Trapezoidal Neutrosophic Sets, q-Rung Orthopair Neutrosophic Sets, Neutrosophic Oversets, Neutrosophic Undersets, and Neutrosophic Offsets. The chapter provides a brief analysis of these new set types, exploring their properties and potential applications in solving multidimensional problems. The seventh chapter (Specialized Classes of Hyperneutrosophic Sets – Support, Paraconsistent, and Faillibilist Sets) delves into unique classes of Neutrosophic Sets extended through Hyperneutrosophic and SuperHyperneutrosophic frameworks to tackle advanced theoretical challenges. The study introduces and extends: Support Neutrosophic Sets, Neutrosophic Intuitionistic Sets, Neutrosophic Paraconsistent Sets, Neutrosophic Faillibilist Sets, Neutrosophic Paradoxist and Pseudo-Paradoxist Sets, Neutrosophic Tautological and Nihilist Sets, Neutrosophic Dialetheist Sets, and Neutrosophic Trivialist Sets. These extensions address highly nuanced aspects of uncertainty, further advancing the theoretical foundation of Neutrosophic mathematics. The eight chapter (MultiNeutrosophic Sets and Refined Neutrosophic Sets) focuses on two advanced Neutrosophic frameworks: MultiNeutrosophic Sets, and Refined Neutrosophic Sets. Using Hyperneutrosophic and nn-SuperHyperneutrosophic Sets, these extensions are analyzed in detail, highlighting their adaptability to multidimensional and complex scenarios. Examples and mathematical properties are provided to showcase their practical relevance and theoretical depth. The ninth chapter (Advanced Hyperneutrosophic Set Types – Type-m, Nonstationary, Subset-Valued, and Complex Refined) explores extensions of the Neutrosophic framework, focusing on: Type-m Neutrosophic Sets, Nonstationary Neutrosophic Sets, Subset-Valued Neutrosophic Sets, and Complex Refined Neutrosophic Sets. These extensions utilize the Hyperneutrosophic and SuperHyperneutrosophic frameworks to address advanced challenges in uncertainty management, expanding their mathematical scope and practical applications. The tenth chapter (Hyperfuzzy Hypersoft Sets and Hyperneutrosophic Hypersoft Sets) integrates the principles of Fuzzy, Neutrosophic, and Soft Sets with hyperstructures to introduce: Hyperfuzzy Hypersoft Sets, and Hyperneutrosophic Hypersoft Sets. These frameworks are designed to manage complex uncertainty through hierarchical structures based on power sets, with detailed analysis of their properties and theoretical potential. The eleventh chapter (A Review of SuperFuzzy, SuperNeutrosophic, and SuperPlithogenic Sets) revisits and extends the study of advanced set concepts such as: SuperFuzzy Sets, Super-Intuitionistic Fuzzy Sets,Super-Neutrosophic Sets, and SuperPlithogenic Sets, including their specialized variants like quadripartitioned, pentapartitioned, and heptapartitioned forms. The work serves as a consolidation of existing studies while highlighting potential directions for future research in hierarchical uncertainty modeling. Focusing on decision-making under uncertainty, the tweve chapter (Advanced SuperHypersoft and TreeSoft Sets) introduces six novel concepts: SuperHypersoft Rough Sets,SuperHypersoft Expert Sets, Bipolar SuperHypersoft Sets, TreeSoft Rough Sets, TreeSoft Expert Sets, and Bipolar TreeSoft Sets. Definitions, properties, and potential applications of these frameworks are explored to enhance the flexibility of soft set-based models. The final chapter (Hierarchical Uncertainty in Fuzzy, Neutrosophic, and Plithogenic Sets) provides a comprehensive survey of hierarchical uncertainty frameworks, with a focus on Plithogenic Sets and their advanced extensions: Hyperplithogenic Sets, SuperHyperplithogenic Sets. It examines relationships with other major concepts such as Intuitionistic Fuzzy Sets, Vague Sets, Picture Fuzzy Sets, Hesitant Fuzzy Sets, and multi-partitioned Neutrosophic Sets, consolidating their theoretical interconnections for modeling complex systems. This volume not only reflects the dynamic interplay between theoretical rigor and practical application but also serves as a beacon for future research in uncertainty modeling, offering advanced tools to tackle the intricacies of modern challenges. (shrink)

We prove that PTCN cannot be a model of U12. This implies that there exists a first order sentence of bounded arithmetic which is provable in U12 but does not hold in PTCN.

We define and investigate a uniformly locally o-minimal structure of the second kind in this paper. All uniformly locally o-minimal structures of the second kind have local monotonicity, which is a local version of monotonicity theorem of o-minimal structures. We also demonstrate a local definable cell decomposition theorem for definably complete uniformly locally o-minimal structures of the second kind. We define dimension of a definable set and investigate its basic properties when the given structure is a locally o-minimal structure which (...) admits local definable cell decomposition. (shrink)

Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where X is a definable set and R is the universe of the structure. We demonstrate the inequality $\dim ) \leq \dim $ in this paper. As a corollary, we get that the set of the points at which f is discontinuous is of dimension smaller than $\dim $. We also show that the (...) structure is definably Baire in the course of the proof of the inequality. (shrink)

This book is the fifth volume in the series of Collected Papers on Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. This volume specifically delves into the concept of Various SuperHyperConcepts, building on the foundational advancements introduced in previous volumes. The series aims to explore the ongoing evolution of uncertain combinatorics through innovative methodologies such as graphization, hyperization, and uncertainization. These approaches integrate and extend core concepts from fuzzy, neutrosophic, soft, and rough set theories, (...) providing robust frameworks to model and analyze the inherent complexity of real-world uncertainties. At the heart of this series lies combinatorics and set theory—cornerstones of mathematics that address the study of counting, arrangements, and the relationships between collections under defined rules. Traditionally, combinatorics has excelled in solving problems involving uncertainty, while advancements in set theory have expanded its scope to include powerful constructs like fuzzy and neutrosophic sets. These advanced sets bring new dimensions to uncertainty modeling by capturing not just binary truth but also indeterminacy and falsity. In this fifth volume, the exploration of Various SuperHyperConcepts provides an innovative lens to address uncertainty, complexity, and hierarchical relationships. It synthesizes key methodologies introduced in earlier volumes, such as hyperization and neutrosophic extensions, while advancing new theories and applications. From pioneering hyperstructures to applications in advanced decision-making, language modeling, and neural networks, this book represents a significant leap forward in uncertain combinatorics and its practical implications across disciplines. -/- The book is structured into 17 chapters, each contributing unique perspectives and advancements in the realm of Various SuperHyperConcepts and their related frameworks: Chapter 1 introduces the concept of Body-Mind-Soul-Spirit Fluidity within psychology and phenomenology, while examining established social science frameworks like PDCA and DMAIC. It extends these frameworks using Neutrosophic Sets, a flexible extension of Fuzzy Sets, to improve their adaptability for mathematical and programming applications. The chapter emphasizes the potential of Neutrosophic theory to address multi-dimensional challenges in social sciences. Chapter 2 delves into the theoretical foundation of Hyperfunctions and their generalizations, such as Hyperrandomness and Hyperdecision-Making. It explores higher-order frameworks like Weak Hyperstructures, Hypergraphs, and Cognitive Hypermaps, aiming to establish their versatility in addressing multi-layered problems and setting a foundation for further studies. Chapter 3 extends traditional decision-making methodologies into HyperDecision-Making and n-SuperHyperDecision-Making. By building on approaches like MCDM and TOPSIS, this chapter develops frameworks capable of addressing complex decision-making scenarios, emphasizing their applicability in dynamic, multi-objective contexts. Chapter 4 explores integrating uncertainty frameworks, including Fuzzy, Neutrosophic, and Plithogenic Sets, into Large Language Models (LLMs). It proposes innovative models like Large Uncertain Language Models and Natural Uncertain Language Processing, integrating hierarchical and generalized structures to advance the handling of uncertainty in linguistic representation and processing. Chapter 5 introduces the Natural n-Superhyper Plithogenic Language by synthesizing natural language, plithogenic frameworks, and superhyperstructures. This innovative construct seeks to address challenges in advanced linguistic and structural modeling, blending attributes of uncertainty, complexity, and hierarchical abstraction. Chapter 6 defines mathematical extensions such as NeutroHyperstructures and AntiHyperstructures using the Neutrosophic Triplet framework. It formalizes structures like neutro-superhyperstructures, advancing classical frameworks into higher-dimensional realms. Chapter 7 explores the extension of Binary Code, Gray Code, and Floorplans through hyperstructures and superhyperstructures. It highlights their iterative and hierarchical applications, demonstrating their adaptability for complex data encoding and geometric arrangement challenges. Chapter 8 investigates the Neutrosophic TwoFold SuperhyperAlgebra, combining classical algebraic operations with neutrosophic components. This chapter expands upon existing algebraic structures like Hyperalgebra and AntiAlgebra, exploring hybrid frameworks for advanced mathematical modeling. Chapter 9 introduces Hyper Z-Numbers and SuperHyper Z-Numbers by extending the traditional Z-Number framework with hyperstructures. These extensions aim to represent uncertain information in more complex and multidimensional contexts. Chapter 10 revisits category theory through the lens of hypercategories and superhypercategories. By incorporating hierarchical and iterative abstractions, this chapter extends the foundational principles of category theory to more complex and layered structures. Chapter 11 formalizes the concept of n-SuperHyperBranch-width and its theoretical properties. By extending hypergraphs into superhypergraphs, the chapter explores recursive structures and their potential for representing intricate hierarchical relationships. Chapter 12 examines superhyperstructures of partitions, integrals, and spaces, proposing a framework for advancing mathematical abstraction. It highlights the potential applications of these generalizations in addressing hierarchical and multi-layered problems. Chapter 13 revisits Rough, HyperRough, and SuperHyperRough Sets, introducing new concepts like Tree-HyperRough Sets. The chapter connects these frameworks to advanced approaches for modeling uncertainty and complex relationships. Chapter 14 explores Plithogenic SuperHyperStructures and their applications in decision-making, control, and neuro systems. By integrating these advanced frameworks, the chapter proposes innovative directions for extending existing systems to handle multi-attribute and contradictory properties. Chapter 15 focuses on superhypergraphs, expanding hypergraph concepts to model complex structural types like arboreal and molecular superhypergraphs. It introduces Generalized n-th Powersets as a unifying framework for broader mathematical applications, while also touching on hyperlanguage processing. Chapter 16 defines NeutroHypergeometry and AntiHypergeometry as extensions of classical geometric structures. Using the Geometric Neutrosophic Triplet, the chapter demonstrates the flexibility of these frameworks in representing multi-dimensional and uncertain relationships. Chapter 17 establishes the theoretical groundwork for SuperHyperGraph Neural Networks and Plithogenic Graph Neural Networks. By integrating advanced graph structures, this chapter opens pathways for applying neural networks to more intricate and uncertain data representations. (shrink)

If no property of a system of many particles discriminates among the particles, they are said to be indistinguishable. This indistinguishability is equivalent to the requirement that the many-particle distribution function and all of the dynamic functions for the system be symmetric. The indistinguishability defined in terms of the discrete symmetry of many-particle functions cannot change in the continuous classical statistical limit in which the number density n and the reciprocal temperature β become small. Thus, microscopic particles like electrons must (...) remain indistinguishable in the classical statistical limit although their behavior can be calculated as if they move following the classical laws of motion. In the classical mechanical limit in which quantum cells of volume (2πħ)3 are reduced to points in the phase space, the partition functionTr{exp(−βĤ) for N identical bosons (fermions) approaches (2πħ)−3N(N!) ∫ ... ∫ d3r1 d3p1 ... d3rN d3pN exp(−βH). The two factors, (2πħ)−3N and (N!)−1, which are often added in anad hoc manner in many books on statistical mechanics, are thus derived from the first principles. The criterion of the classical statistical approximation is that the thermal de Broglie wavelength be much shorter than the interparticle distance irrespective of any translation-invariant interparticle interaction. A new derivation of the Maxwell velocity distribution from Boltzmann's principle is given with the assumption of indistinguishable classical particles. (shrink)

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

The provability problem in intuitionistic propositional second-order logic with existential quantifier and implication (∃,→) is proved to be undecidable in presence of free type variables (constants). This contrasts with the result that inutitionistic propositional second-order logic with existential quantifier, conjunction and negation is decidable.

Often illustrated with the examples of melody, Bergson’s key concept of durée is best known for its qualitative, heterogeneous, and thus immeasurable multiplicity. However, the examples he gives in Time and Free Will—such as “the regular oscillations of a pendulum” or “the successive strokes of a distant bell”—suggest rather periodic phenomena that would require another perspec­tive in terms of rhythm. When we “get into a rhythm,” we perceive a numerical quality without counting. Rhythm makes glimpse “Otherwise than Measuring”. Focusing on (...) the “rhythmic organization of the whole” within duration could reveal the secret of Bergson’s enigmatic phrase: “this heterogeneity contains number only potentially.” This paper reexamines the theoretical scope of rhyth­measure in two ways. First, it shows how this image médiatrice we forged is going to be renewed by recent studies emphasizing duration-number (Miravete) or multi-time scale theory (Hirai). Second, it explores the ethico-political impli­cations of rhythmeasure. Bergson, in his last book Two Sources of Morality and Religion, multiplies images of “a justice (…) which no longer evokes ideas ofrelativity and proportion, but, on the contrary, of the incommensurable and the absolute”. The very ambiguity of démesuré revitalizes the famous opposition of “the closed/the open”. Keywords: Duration. Rhythm. Number. Ethics. Démesure. (shrink)

In this article, we provide an ethical analysis of the first porcine cardiac xenotransplant, performed in Maryland, USA in early 2022. David Bennett was offered the experimental procedure after he was deemed ineligible for human heart transplantation and mechanical circulatory support, based on a history of non-compliance. It was reported that Mr Bennett’s previous instances of non-compliance were for medically non-life-threatening conditions years earlier, where the risks of non-compliance were not as high. We argue that, in Mr Bennett’s case, a (...) history of non-compliance in a different context, should not necessarily rule him ineligible for a potentially life-saving treatment now. Furthermore, using previous non-compliance to exclude individuals from donor organs may have the unintended effect of placing the burden of testing xenotransplantation on those who are already disadvantaged. We then argue that it is not enough to rely on patient consent to ethically justify xenotransplantation research. Taking a broad ethical perspective is crucial when mapping a clinical pathway for xenotransplantation. (shrink)

Although dual-process or divided-mind models of self-control dominate the literature, they suffer from empirical and conceptual challenges. We propose an alternative approach, suggesting that self-control can be characterized by a fragmented part versus integrated whole dynamic. Whereas responses to events derived from fragmented parts of the mind undermine self-control, responses to events derived from integrated wholes enhance self-control. We review empirical evidence from psychology and related disciplines that support this model. We, moreover, discuss the implications of this work for psychology, (...) neuroscience, economics, and philosophy. In particular, we highlight how this model addresses many of the conceptual and empirical short-comings of divided-mind models. We suggest that understanding self-control as the interplay between fragmented parts versus integrated wholes, moreover, provides novel insights and testable new hypotheses. (shrink)

There has been a long-standing controversy in the context of language evolution on whether the original function of human language was internal thought or external communication. However, given the fact that language clearly serves both functions, internalization and externalization must have been co-evolutionarily acted in the emergence of human language. This article proposes a theoretical hypothesis about this co-evolutionary relationship of internalization and externalization, which especially explains the emergence of the human lexicon. To discuss the evolution of language from a (...) comprehensive perspective, this article proposes a promising model that integrates two approaches with different standpoints: generative grammar and cognitive linguistics. This paper also examines the definition and nature of the lexicon and lexical items based on this integrated model. The hypothesis presented here demonstrates that the co-evolutionary work of internalization and externalization has been involved in two processes in the development of the lexicon: the establishment of syntactic objects (lexical items) and the improvement of creativity responsible for the expansion of lexicon size. The main conclusion is that these processes have formed a positive feedback loop and provided our lexicon with complex and unique properties. (shrink)

There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that in simply typed lambda calculus, the notion of formulae-as-types makes it possible to find fine structure of the implicational fragment of intuitionistic logic, i.e., relevant logic, BCK-logic and linear logic. In this paper, we investigate three classical substructural logics (GL, GLc, GLw) of Gentzen's sequent calculus consisting of implication and negation, which contain some of the right structural rules. In terms (...) of Parigot's -calculus with proper restrictions, we introduce a proof term assignment to these classical substructural logics. According to these notions, we can classify the -terms into four categories. It is proved that well-typed GLx--terms correspond to GLx proofs, and that a GLx--term has a principal type if stratified where x is nil, c, w or cw. Moreover, we investigate embeddings of classical substructural logics into the corresponding intuitionistic substructural logics. It is proved that the Gödel-style translations of GLx--terms are embeddings preserving substructural logics. As by-products, it is obtained that an inhabitation problem is decidable and well-typed GLx--terms are strongly normalizable. (shrink)

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal expansions of ordered (...) fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)

Sparrow highlights three potential applications of in vitro eugenics, that is, (a) research into the heredity of genetic disorders, (b) production of cell lines with specific genotypes, and (c) breeding better babies, and points to the need for researchers to discuss in advance the potential ethical problems that may emerge if the realization of this technology occurs in the near future. In this commentary, we pose a question for the sake of discussion. Is it, in fact, appropriate to label all (...) three applications raised by Sparrow as eugenics? By doing so, an unnecessary level of concern might be borne among the public, and as a result, the sound development of this specialized technology would be affected. If the label of eugenics is to be applied to all three of these applications, then Sparrow must justify how he perceives (a) and (b) as not inherently different from (c). (shrink)