We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe–Fehm in a strong way. Along the way, we construct an existentially decidable field of positive characteristic with an existentially undecidable finite extension, modifying a construction due to Kesavan Thanagopal.

This article is a logical continuation of the Henri Lombardi and Franz-Viktor Kuhlmann article [9]. We address some classical points of the theory of valued fields with an elementary and constructive point of view. We deal with Krull valuations, and not simply discrete valuations. First of all, we show how to construct the Henselization of a valued field; we restrict to fields in which one has at one's disposal algorithmic tools to test the nullity or the valuation (...) ring membership. It is therefore a work that differs as much in spirit as in field of application from that of Mines, Richman and Bridges , who address the framework of Heyting fields and discrete valuation. We show then in a constructive way a batch of classical results in Henselian fields, notably factorization criteria and Krasner's Lemma. We conclude by a construction of the inertia field of a valued field. (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)

We extend the characterization of extremal valued fields given in [2] to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that are extremal. The key to the proof is a model theoretic result about tame valued fields in mixed characteristic. Further, we prove that in an extremal valued field of finitep-degree, the images of all additive polynomials (...) have the optimal approximation property. This fact can be used to improve the axiom system that is suggested in [8] for the elementary theory of Laurent series fields over finite fields. Finally we give examples that demonstrate the problems we are facing when we try to characterize the extremal valued fields with imperfect residue fields. To this end, we describe several ways of constructing extremal valued fields; in particular, we show that in every ℵ1saturated valued field the valuation is a composition of extremal valuations of rank 1. (shrink)

We prove that Hensel minimal expansions of finitely ramified Henselian valued fields admit spherically complete immediate elementary extensions. More precisely, the version of Hensel minimality we use is 0‐hmix‐minimality (which, in equi‐characteristic 0, amounts to 0‐h‐minimality).

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 40.1 (2002) 134-135 [Access article in PDF] Book Review Merleau-Ponty's Last Vision: A Proposal for the Completion of 'The Visible and the Invisible Douglas Low. Merleau-Ponty's Last Vision: A Proposal for the Completion of 'The Visible and the Invisible.' Evanston, IL: Northwestern University Press, 2000. Pp. xv + 124. Cloth, $75.00. Paper, $19.95. Low sets himself an impossible task, that of completing the (...) uncompleted work of a philosopher whose untimely decease prevented him from doing so himself. What he does succeed in providing is a systematic commentary and a rich integration of Merleau-Ponty's later philosophy. This task itself is important since it is believed by many that Merleau-Ponty's premature death prevented the completion of a book that would have altered the philosophical scene of Paris in the 1960s, and that, moreover, even in its incomplete form, speaks to pressing contemporary philosophical debates on such issues as mind/body dualism, and our relation to nature.The main focus of Low's reading is Merleau-Ponty's philosophy of language, which Low appropriately situates as a mediation between a modernist philosophy of presence and a postmodern Derridean approach to language as the constant deferral of meaning. Language is not the repository for ideal essences, nor do existents have an immediate [End Page 134] coincidence or fusion with things or the world. Indeed, the strength of Merleau-Ponty's philosophy is that he begins with an understanding of human action as meaningfully orientated; to move in the world is to interpretatively encounter it. As Low points out, "an ontological priority [is] granted to the body and the world upon which it opens, for together in lived experience they sustain a field of stable meanings, meanings that are then sublimated in the bodily gesture called speech" (22). Low differs from most Merleau-Ponty scholars in his assumption that there is no significant break between the earlier Phenomenology of Perception, where Merleau-Ponty carefully worked out his descriptions of embodied perception, and the later work that lays out the ontology. Indeed, one accomplishment of Low's book is to show how they fit together, explaining how the insights of the first work are necessary for grounding the ontology Merleau-Ponty began to work out in the later one.Low's book is divided into two sections. The first section, "The Visible and Nature," focuses on how we encounter the world, concluding with a helpful summary and assessment of Merleau-Ponty's ontology. Drawing upon the late essay "Eye and Mind," Low lays out Merleau-Ponty's ontology through his intuition that modern art, unlike the representational focus of Renaissance art, reveals our contact with the world as a "system of exchanges between the sensing and the sensible" (56). Perceiving the artwork is not an intellectual computation of a second-order representation of the world; rather, we see according to the work. It is a bodily process that reveals a reversibility between the viewer and the world. The second section, "The Invisible and Logos," focuses on how these encounters are sublimated or taken up in language. Language is, for Merleau-Ponty, first speech since it relies upon a speaker to take it up, "to sustain and modify it." Signs, gestures, and meaning are folded into one another. As embodied beings, we literally grasp meaning (89).This book would be of enormous benefit to scholars embarking on a reading of Merleau-Ponty's works, and it is one I highly recommend for that purpose. Although it is not original in its interpretations, its value lies in its gathering and integration of complex themes that provide an important introduction to Merleau-Ponty's late philosophy. The book maps out, moreover, a chronology of these themes and the specifics of where to find them; it also shows how the fragments fit together, indicating directions in which they might lead. His writing style is accessible without being simplistic. By interweaving his interpretations with long quotes from... (shrink)

The purpose of this paper is to study an analogue of Hilbert's seventeenth problem for functions over a valued field which are integral definite on some definable set; that is, that map the given set into the valuation ring. We use model theory to exhibit a uniform method, on various theories of valued fields, for deriving an algebraic characterization of such functions. As part of this method we refine the concept of a function being integral at a (...) point, and make it dependent on the relevant class of valued fields. We apply our framework to algebraically closed valued fields, model complete theories of difference and differential valued fields, and real closed valued fields. (shrink)

The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the Ax-Kochen-Eršov principle is proven for a theory of valued D-fields of residual characteristic zero.

In constructive mathematics it is of interest to consider a more general, but classically equivalent, notion of linear order, a so-called pseudo-order. The prime example is the order of the constructive real numbers. We examine two kinds of constructive completions of pseudo-orders: order completions of pseudo-orders and Cauchy completions of ordered groups and fields. It is shown how these can be predicatively defined in type theory, also when the underlying set is non-discrete. Provable choice principles, in particular a generalisation of (...) dependent choice, are used for showing set-representability of cuts. (shrink)

Background: Pre-licensure ethics nursing education does not adequately prepare and instill confidence in nurses to address ethical issues, and yet ethics education provides nurses with greater confidence to take moral action, which can mitigate the negative effects of moral distress. Objectives: To assess the feasibility and acceptability of a nursing ethics education program that included simulated case-based ethics competencies as a form of evaluation. The program aimed at building nurses’ ethical knowledge and confidence to respond to ethical challenges in practice. (...) Research design: A prospective, longitudinal, correlational, single-cohort feasibility study using an investigator-developed survey and intervention field data. Participants and research context: Registered nurses were recruited from an academic quaternary-care medical center and 9 small- to mid-sized regional hospitals within one health system in the Midwest United States. Ethical considerations: IRB approval was obtained. Participants could complete the educational program regardless of research process participation. Findings: Of 20 participants, 19 (95%) provided post-program surveys and 18 completed competencies. Median (IQR) scores with quartiles for scheduling, timing, and length of sessions were all 10.0 [9.0, 10.0], and participants perceived that the content was interesting, increased knowledge and confidence in ethics, increased skills in providing ethical care, and would recommend the program to colleagues. Of factors, an increase in ethics knowledge had the highest “always agree” (17, 89.5%) response. Most participants reported that ethics competencies were appropriate 9.0 [9.0, 10.0] and sufficiently challenging 10.0 [9.0, 10.0]. Discussion: The education program developed nurses’ ethics knowledge and confidence. The single-cohort feasibility design provided early-stage intervention outcomes; however, a larger randomized controlled trial would substantiate program value. Conclusion: This novel ethics education program was highly feasible and acceptable to hospital-based nurses who reported increased knowledge and confidence in providing ethical care. Simulated case-based ethics competencies were an appropriate evaluation method. (shrink)

The infinite-valued logic of ukasiewicz was originally defined by means of an infinite-valued matrix. ukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a (...) lattice) if and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result. (shrink)

Let [Formula: see text] be an expansion of either an ordered field [Formula: see text], or a valued field [Formula: see text]. Given a definable set [Formula: see text] let [Formula: see text] be the ring of continuous definable functions from [Formula: see text] to [Formula: see text]. Under very mild assumptions on the geometry of [Formula: see text] and on the structure [Formula: see text], in particular when [Formula: see text] is [Formula: see text]-minimal or [Formula: (...) see text]-minimal, or an expansion of a local field, we prove that the ring of integers [Formula: see text] is interpretable in [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] is definably connected of pure dimension [Formula: see text], then [Formula: see text] defines the subring [Formula: see text]. If [Formula: see text] is [Formula: see text]-minimal and [Formula: see text] has no isolated points, then there is a discrete ring [Formula: see text] contained in [Formula: see text] and naturally isomorphic to [Formula: see text], such that the ring of functions [Formula: see text] which take values in [Formula: see text] is definable in [Formula: see text]. (shrink)

A nontrivial ring with unit eliminates imaginaries just in case its complete theory has the following property: every definable m-ary equivalence relation E may be defined by a formula f = f, where f is an m-ary definable function. We show that for certain natural expansions of the field of p-adic numbers, elimination of imaginaries fails or is independent of ZPC. Similar results hold for certain fields of formal power series.

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We show that every definable nested family of closed and bounded subsets of a P-minimal field K has nonempty intersection. As an application we answer a question of Darnière and Halupczok showing that P-minimal fields satisfy the “extreme value property”: for every closed and bounded subset [math] and every interpretable continuous function [math] (where [math] denotes the value group), f(U) admits a maximal value. Two further corollaries are obtained as (...) a consequence of their work. The first one shows that every interpretable subset of [math] is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every P-minimal field is polynomially bounded. The second one characterizes those P-minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues. (shrink)

In today’s multi-cultural world and global economy, attention is often focused on the diversity of cultural values and practices and the need for management approaches to take these differing cultural environments into account. While there is much to be valued in this approach, the focus is often on how to navigate through distinct cultural practices in order to achieve a singular business aim, which falls within the current neoliberal paradigm of global trade. In addition, by focusing on differences in (...) cultural practices, rather than on similarities in underlying values, this approach fails to utilize an important way to achieve a greater degree of global integration in management. Despite striking cultural differences, it is possible to identify some enduring values that underlie what often appear to be quite discrete value paradigms, especially by looking at value paradigms that have endured for centuries, even millennia. This paper proposes to explore the values embedded in two such value paradigms or religious traditions, zen buddhism and Judaism, describing crucial core values in each and comparing and contrasting their ethical frameworks, in order to be able to evaluate their utility in today’s world and especially their significance for creating a more holistic, inclusive, and responsible management framework. The paper will begin by explicating the set of foundational values in each religious tradition. For example, zen buddhism, especially as expressed by Vietnamese monk Thich Nhan Hanh, utilizes the concepts of engaged mindfulness and inter-being to demonstrate the ways in which all global issues are linked together, and the collective responsibility that all humans bear for the state of our planet and the beings who live on it. This approach is inherently holistic and inclusive, and requires a management approach that takes into account the moral responsibility that we all carry. Likewise, the Jewish tradition, while using quite different terminology, also lays out a holistic and inclusive moral vision. Key concepts include the values of Tikkum Olam, to repair the world, and Tsedakah, which literally means justice or righteousness, but is commonly used to indicate charitable giving. The first value, to repair the world, emphasizes the collective moral responsibility to heal whatever damage has been done to the world in order to make the it a better place for all. It does not matter who has done the damage; what matters is each person’s obligation to improve the status quo, under the assumption that all our fates are linked together. The second value, justice and charity, is also considered to be a moral obligation, not simply a voluntary act of charity. The emphasis here is on anonymous giving, done in order to help others and without any expectation of receiving some benefit, such as positive publicity. As a moral obligation, it is not something that one should benefit from. Thus, the concept of tsekakah also emphasizes the inter-connectedness of all humanity. In addition, in the Torah, there are a series of rules about how to deal with others in business as well as the obligation, during harvest-time, to leave some grain in the fields for the less fortunate. In all, we see a focus on being mindful of others, on seeing our fates as interconnected, as in zen buddhism. The last section of the paper will explore some of the ways in which these moral imperatives can be utilized to undergird and buttress a more holistic, inclusive and responsible management approach. Some management models already include moral imperatives, such as corporal social responsibility, and this section will explore in greater detail how the above concepts have been more fully integrated into current management models. (shrink)

In this field questions arise which are certainly difficult; but as I listened last time to members of the group, I felt that the main difficulty perhaps lay in determining precisely what questions we are trying to answer. I have the conviction that if we could only say clearly what the questions are, the answers to them might not appear so elusive. So I have begun with a simple list of questions about discretion which in one form or another (...) were, as it seemed to me, expressed by the group last time. I may indeed have omitted something and inserted something useless: if so, no doubt I shall be informed of this later. The central questions then seem to me to be the following: 1. What is discretion, or what is the exercise of discretion? 2. Under what conditions and why do we in fact accept or tolerate discretion in a legal system? 3. Must we accept discretion or tolerate discretion, and if so, why? 4. What values does the use of discretion menace, and what values does it maintain or promote? 5. What can be done to maximize the beneficial operation of the use of discretion and to minimize any harm that it does? (shrink)

We examine fields in which model theoretic algebraic closure coincides with relative field theoretic algebraic closure. These are perfect fields with nice model theoretic behaviour. For example, they are exactly the fields in which algebraic independence is an abstract independence relation in the sense of Kim and Pillay. Classes of examples are perfect PAC fields, model complete large fields and henselian valued fields of characteristic 0.

The physical, mathematical, and philosophical foundations of the quantum theory of free Bose fields in fixed general relativistic spacetimes are examined. It is argued that the theory is logically and mathematically consistent whereas semiclassical prescriptions for incorporating the back-reaction of the quantum field on the geometry lead to inconsistencies. Still, the relations and heuristic value of the semiclassical approach to canonical and covariant schemes of quantum gravity-plus-matter are assessed. Both conventional and rigorous formulations of the theory and of its (...) principal predictions, cosmological particle creation and horizon radiation, are expounded and compared. Special attention is devoted to spacetime properties needed for the existence or uniqueness of the relevant theoretical elements , renormalization of the stress tensor). The emergence of unitarily inequivalent representations in a single dynamical context is used as motivation for the introduction of the abstract $\rm C\sp{\*}$-algebraic axiomatic formalism. The operationalist and conventionalist claims of the original abstract algebraic program are criticized in favor of its tempered outgrowth, local quantum physics. The interpretation of the theory as a wave mechanics of classical field configurations, deriving from the Schrodinger representations of the abstract algebra, is discussed and is found superior, at least on the level of analogy, to particle or harmonic oscillator interpretations. Further, it is argued that the various detector results and the Fulling nonuniqueness problem do not undermine the particle concept in the ways commonly claimed. In particular, arguments are offered against the attribution of particle status to the Rindler quanta, against the physical realizability of the Rindler vacuum, and against the more general notion of observer-dependence as to the definition of 'particle' or 'vacuum'. However, the question of the ontological status of particles is raised in terms of the consistency of quantum field theory with non-reductive realism about particles, the latter being conceived as entities exhibiting attributes of discreteness and localizability. Two arguments against non-reductive realism about particles, one from axiomatic algebraic local quantum theory in Minkowski spacetime and one from quantum field theory in curved spacetime, are developed. (shrink)

The literature acknowledges a distinction between immoral, amoral and moral management. This paper makes a case for the employee (at any level) as a moral agent, even though the paper begins by highlighting a body of evidence which suggests that individual moral agency is sacrificed at work and is compromised in deference to other pressures. This leads to a discussion about the notion of discretion and an examination of a separate, contrary body of literature which indicates that some individuals in (...) corporations may use their discretion to behave in a socially entrepreneurial manner. My underlying assumption is that CSR isn’t solely driven by economics and that it may also be championed as a result of a personal morality, inspired by employees’ own socially oriented personal values. A conceptual framework is put forward and it is suggested that individuals may be categorized as Active or Frustrated Corporate Social Entrepreneurs; Conformists or Apathetics, distinguished by their individualistic or collectivist personal values. In a discussion of the nature of values, this paper highlights how values may act as drivers of our behavior and pays particular attention to the values of the entrepreneur, thereby linking the existing debate on moral agency with the field of corporate social responsibility. (shrink)

The theory of immediate pairs of Henselian valued fields, with a given residual theory (of characteristic zero) and a given theory of valuation group (nonzero), is undecidable and has 2ℵ0 completions.

We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, (...) we extend the positive answer of Hilbert’s seventeenth problem and we prove an Ax–Kochen–Ershov theorem. Similarly, we consider first-order theories of topological fields admitting a model-companion and their expansion to differential fields, and under a similar criterion as before, we show that the expansion still admits a model-companion. This last result can be compared with those of M. Tressl: on one hand we are only dealing with a single derivation whereas he is dealing with several, on the other hand we are not restricting ourselves to definable expansions of the ring language, taking advantage of our topological context. We apply our results to fields endowed with several valuations. (shrink)

Studying social phenomena is often assumed to be inherently different from studying natural science phenomena. In psychology, this assumption has led to a division of the field into social and experimental domains. The same kind of division has carried over into ecological psychology, despite the fact that Gibson clearly intended his theory for both social and natural phenomena. In this paper, we argue that the social/natural science dichotomy can be derived from a distinction between hermeneutics and science that is (...) deeply rooted in the atomistic, structuralist ontological tradition. We show that, from a process-based perspective, the central questions of hermeneutics (action of an individual within a context of possible actions), ecological psychology (behavior of an organism in an ecological niche) and physics (motion of a particle in a field) share a similar structure. Building on these ideas, we propose a common, process-based methodology for psychology that integrates field theory with insights from quantum mechanics to accommodate traditionally problematic concepts in natural science such as teleology and values. To demonstrate the feasibility of this approach, empirical findings on the paradigmatic problem of prospective control (such as gaze control in automobile driving in relation to perceptual tuning) are presented. (shrink)

In this paper we are concerned with definably, with or without parameters, complete expansions of ordered fields, i. e. those with no definable gaps. We present several axiomatizations, like being definably connected, in each of the two cases. As a corollary, when parameters are allowed, expansions of ordered fields are o-minimal if and only if all their definable subsets are finite disjoint unions of definably connected subsets. We pay attention to how simply a definable gap in an expansion is (...) so. Next we prove that over parametrically definably complete expansions of ordered fields, all one-to-one definable continuous functions are monotone and open. Moreover, in both parameter and parameter-free cases again, definably complete expansions of ordered fields satisfy definable versions of the Heine-Borel and Extreme Value theorems and also Bounded Intersection Property for definable families of closed bounded subsets. (shrink)

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...) logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study. (shrink)

In conventional generalization of the main results of classical measure theory to Stone algebra valued measures, the values that measures and functions can take are Booleanized, while the classical notion of a σ-field is retained. The main purpose of this paper is to show by abundace of illustrations that if we agree to Booleanize the notion of a σ-field as well, then all the glorious legacy of classical measure theory is preserved completely.

The mathematical model of physical problems interprets physical phenomena closely. This research work is focused on numerical solution of a nonlinear mathematical model of fractional Maxwell nanofluid with the finite difference element method. Addition of nanoparticles in base fluids such as water, sodium alginate, kerosene oil, and engine oil is observed, and velocity profile and heat transfer energy profile of solutions are investigated. The finite difference method involving the discretization of time and distance parameters is applied for numerical results by (...) using the Caputo time fractional operator. These results are plotted against different physical parameters under the effects of magnetic field. These results depicts that a slight decrease occurs for velocity for a high value of Reynolds number, while a small value of Re provides more dominant effects on velocity and temperature profile. It is observed that fractional parameters α and β show inverse behavior against u y, t and θ y, t. An increase in volumetric fraction of nanoparticles in base fluids decreases the temperature profile of fractional Maxwell nanofluids. Using mathematical software of MAPLE, codes are developed and executed to obtain these results. (shrink)

Given a theory T of a polynomially bounded o-minimal expansion R of $${\bar{\mathbb{R}} = \langle\mathbb{R}, +,., 0, 1, < \rangle}$$ with field of exponents $${\mathbb{Q}}$$, we introduce a theory $${\mathbb{T}}$$ whose models are expansions of dense pairs of models of T by a discrete multiplicative group. We prove that $${\mathbb{T}}$$ is complete and admits quantifier elimination when predicates are added for certain existential formulas. In particular, if T = RCF then $${\mathbb{T}}$$ axiomatises $${\langle\bar{\mathbb{R}}, \mathbb{R}_{alg}, 2^{\mathbb{Z}}\rangle}$$, where $${\mathbb{R}_{alg}}$$ denotes (...) the real algebraic numbers. We describe types and definable sets in our models and prove that $${\mathbb{T}}$$ is dependent. (shrink)

We prove that a definably complete expansion of a field cannot be the image of a definable discrete set under a definable function.

In spite of the analogies between Q p and F p ((t)) which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for Q p to the case of F p ((t)) does not render a complete axiom system. We show the independence of elementary properties which express the action of additive polynomials as maps on F p ((t)). We formulate an elementary property expressing this action and (...) show that it holds for all maximal valued fields. We also derive an example of a rather simple immediate valued function field over a henselian defectless ground field which is not a henselian rational function field. This example is of special interest in connection with the open problem of local uniformization in positive characteristic. (shrink)

Although philosophers have considered some of the implications of the nature of quantum statistics of many-particle systems for the interpretation problem, e.g., Reichenbach, they have not produced a complete analysis of the relationship between aspects of quantum statistics and complications and/or possible solutions of the interpretation problem. While the present work by no means provides a complete account, it does explore some heretofore uncharted regions. One of the latter is an analysis of a situation that I call 'The (...) Paradox of Identical Particles ,' which arises in Bose-Einstein statistics. PIP refers to the fact that Elementary Quantum Mechanics seems to be committed to the thesis that systems of particles of the same species, "identical" particles, exhibit behavior differing from that of systems of particles of different species, simply in virtue of the fact that the former contain entities of the same species while the latter do not. Taken at face value this is tantamount to the Empedoclean "axiom" that like attracts like, while like and unlike repel, a somewhat embarassingly naive proposition for modern physicists to embrace, and one which, furthermore, poses a host of perplexing problems, e.g., how do the particles "know" whether they are of the same species or not? A result proven in the present work is that any "pluralistic" interpretation of quantum theory is unable to provide a satisfactory way of ridding quantum physicists of this appeal to what I call "species sensitivity." Arguing that Quantum Field Theory is most naturally and plausibly interpreted as a "monistic" theory--which means, inter alia, that for a system of n identical particles to exist is not for n distinct objects of any kind to exist, but rather for one unified underlying entity, a quantum field, to be in a certain kind of state or condition--I show that from this point of view PIP can be dissolved. On the basis of this and other considerations, I argue that the interpretation problem is more amenable to solution if we take the QFT point of view as the fundamental expression of quantum theory. (shrink)

In the present paper the concept of a covering is presented and developed. The relationship between cover schemes, frames (complete Heyting algebras), Kripke models, and frame-valued set theory is discussed. Finally cover schemes and framevalued set theory are applied in the context of Markopoulou’s account of discrete spacetime as sets “evolving” over a causal set. We observe that Markopoulou’s proposal may be effectively realized by working within an appropriate frame-valued model of set theory. We go on to (...) show that, within this framework, cover schemes may be used to force certain conditions to prevail in the associated models: for example, rendering the universe timeless, obliterating a given event or forcing it to become the universe’s “beginning”. (shrink)

The relative reinforcing value of food measures how hard someone will work for a high-energy-dense food when an alternative reward is concurrently available. Higher RRV for HED food has been linked to obesity, yet this association has not been examined in low-income preschool-age children. Further, the development of individual differences in the RRV of food in early childhood is poorly understood. This cross-sectional study tested the hypothesis that the RRV of HED to low-energy-dense food would be greater in children with (...) obesity compared to children without obesity in a sample of 130 low-income 3- to 5-year-olds enrolled in Head Start classrooms in Central Pennsylvania. In addition, we examined individual differences in the RRV of food by child characteristics and food security status. The RRV of food was measured on concurrent progressive-ratio schedules of reinforcement. RRV outcomes included the last schedule reached for cookies and fruit, the breakpoint for cookies in proportion to the total breakpoint for cookies and fruit combined, and response rates. Parents completed the 18-item food security module to assess household food security status and the Behavioral Activation System scale to assess reward sensitivity. Pearson’s correlations and mixed models assessed associations between continuous and discrete child characteristics with RRV outcomes, respectively. Two-way mixed effects interaction models examined age and sex as moderators of the association between RRV and Body Mass Index z-scores. Statistical significance was defined as p < 0.05. Children with obesity had a greater cookie Pmax [F = 4.95, p = 0.03], higher RRV cookie [F = 4.28, p = 0.04], and responded at a faster rate for cookies [F = 17.27, p < 0.001] compared to children without obesity. Children with higher cookie response rates had higher BMIZ ; and RRV cookie was positively associated with BMIZ for older children and boys, but not younger children or girls. The RRV of food did not differ by household food security status. Low-income children with obesity showed greater motivation to work for cookies than fruit compared to their peers without obesity. The RRV of HED food may be an important contributor to increased weight status in boys and future research is needed to better understand developmental trajectories of the RRV of food across childhood. (shrink)

This paper collects and presents unpublished notes of Kurt Gödel concerning the field of many-valued logic. In order to get a picture as complete as possible, both formal and philosophical notes, transcribed from the Gabelsberger shorthand system, are included.

The derivation on the differential-valued field Tlogof logarithmic transseries induces on its value group${{\rm{\Gamma }}_{{\rm{log}}}}$a certain mapψ. The structure${\rm{\Gamma }} = \left$is a divisible asymptotic couple. In [7] we began a study of the first-order theory of$\left$where, among other things, we proved that the theory$T_{{\rm{log}}} = Th\left$has a universal axiomatization, is model complete and admits elimination of quantifiers in a natural first-order language. In that paper we posed the question whetherTloghas NIP. In this paper, we answer that (...) question in the affirmative:Tlogdoes have NIP. Our method of proof relies on a complete survey of the 1-types ofTlog, which, in the presence of QE, is equivalent to a characterization of all simple extensions${\rm{\Gamma }}\left\langle \alpha \right\rangle$of${\rm{\Gamma }}$. We also show thatTlogdoes not have the Steinitz exchange property and we weigh in on the relationship between models ofTlogand the so-calledprecontraction groupsof [9]. (shrink)

The notion of a continuously variable quantity can be regarded as a generalization of that of a particular quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the field of real numbers in many ways, but instead form a ring. Topos theory permits one to apply this same idea to logic, and to consider continuously variable sets . (...) In this expository paper, such applications are explained to the non-specialist. Some recent results are mentioned, including a new completeness theorem for higher-order logic. (shrink)

-/- Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) to various natural classes of complete metric structures (such as probability algebras, Hilbert spaces, and Banach spaces). With research in continuous first-order logic preoccupied with studying the model theory of this framework, we find a natural question calls for attention. Is there an interesting set of axioms yielding a completeness result? -/- The primary (...) purpose of this article is to show that a certain, interesting set of axioms does indeed yield a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely) satisfiable if (and only if) it is consistent. From this result it follows that continuous first-order logic also satisfies an approximated form of strong completeness, whereby Σ⊧φ (if and) only if Σ⊢φ ∸2−n for all n < ω. This approximated form of strong completeness asserts that if Σ⊧φ, then proofs from Σ, being finite, can provide arbitrarily better approximations of the truth of φ. -/- Additionally, we consider a different kind of question traditionally arising in model theory—that of decidability. When is the set of all consequences of a theory (in a countable, recursive language) recursive? Say that a complete theory T is decidable if for every sentence φ, the value φ T is a recursive real, and moreover, uniformly computable from φ. If T is incomplete, we say it is decidable if for every sentence φ the real number φ T o is uniformly recursive from φ, where φ T o is the maximal value of φ consistent with T. As in classical first-order logic, it follows from the completeness theorem of continuous first-order logic that if a complete theory admits a recursive (or even recursively enumerable) axiomatization then it is decidable. (shrink)

Adaptive dynamic programming, which belongs to the field of computational intelligence, is a powerful tool to address optimal control problems. To overcome the bottleneck of solving Hamilton–Jacobi–Bellman equations, several state-of-the-art ADP approaches are reviewed in this paper. First, two model-based offline iterative ADP methods including policy iteration and value iteration are given, and their respective advantages and shortcomings are discussed in detail. Second, the multistep heuristic dynamic programming method is introduced, which avoids the requirement of initial admissible control and (...) achieves fast convergence. This method successfully utilizes the advantages of PI and VI and overcomes their drawbacks at the same time. Finally, the discrete-time optimal control strategy is tested on a power system. (shrink)

The total ideology of the revolutionary-political themes of Ukrainian consciousness of the twentieth century, the poetization of the absurdly inverted hierarchy of values, was opposed by the new generation of artists with their philosophical and ethical orientation of their creativity. As I.Franko notes, they "... sought a completely modern European way to portray the peculiarity of the life of the Ukrainian people," revealing the unique collisionality of human existence, the diversity of psychological types, ideological orientations, and the human experience of (...) its existence on the background of this difficult time. However, Ukrainian writersphilosophers who talently laid the foundations of national culture, but are now returning to the generations of the Shattered Renaissance, filling black and bloody spots of troubled history of Ukraine. Among them are V. Pidmogylny, B. Antonovenko-Davidovich, G. Kosinka, D. Falkivsky, M.Ivchenko, T.Osmachka, E.Pluzhnik. This is a non-exhaustive list of the leading figures of the post-revolutionary period who were removed from the creative field, whose works are the golden fund of Ukrainian culture. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Texts of Early Greek Philosophy: The Complete Fragments and Selected Testimonies of the Major Presocratics ed. by Daniel W. GrahamPhillip Sidney HorkyDaniel W. Graham, ed. and trans. The Texts of Early Greek Philosophy: The Complete Fragments and Selected Testimonies of the Major Presocratics. Parts 1 and 2. Cambridge: Cambridge University Press, 2010. xvii + 1020 pp. Cloth, $180; paper, $99.It has been nearly 30 years (...) since Malcolm Schofield revised and updated the first edition of the venerable translation of fragments of the Presocratic philosophers by J. E. Raven and G. S. Kirk, originally compiled in 1957 in the wake of the sixth and final edition of Diels-Kranz’s (DK) Die Fragmente der Vorsokratiker (Berlin 1951–52). And in the time since Kirk-Raven-Schofield’s second edition of The Presocratic Philosophers (KRS), in 1983, several translations of selected portions of the collected fragments of early Greek philosophy into English have appeared: Jonathan Barnes’ Early Greek Philosophy (London 1987), drawn from his revised edition of The Presocratic Philosophers (London 1982), Robin Waterfield’s The First Philosophers (Oxford 2000), and Richard McKirahan’s Philosophy Before Socrates (Indianapolis, Ind. 2011). Students of Presocratic philosophy and the early intellectual history of Greece have profited immensely from the contributions made by KRS, Barnes, Waterfield, and McKirahan. Yet none of these volumes, despite their intellectual courage, philosophical acumen, and deep learning, could provide what Diels and Kranz had given German audiences in the middle of the twentieth century: a bilingual translation of the complete fragments of and selected testimonia concerning those important intellectual antecedents of Plato (including the Sophists).On the eve of Professor Schofield’s retirement, then, Daniel W. Graham has produced a two-volume translation and commentary on the complete fragments and selected testimonies of the “major Presocratics.” It should be mentioned that this is not an easy or even enviable project. Presocratic studies has undergone a renaissance of sorts since the last edition of KRS in 1983, and new critical editions and translations into English of individual figures (J. Lesher’s Xenophanes of Colophon [Toronto 1992]; C. A. Huffman’s editions of Philolaus of Croton [Cambridge 1993] and Archytas of Tarentum [Cambridge 2005]; the editions of Anaxagoras by P. Curd [Toronto 2007] and D. Sider [Sankt Augustin 2005]; C. C. W. Taylor’s The Atomists: Leucippus and Democritus [Toronto 1999]; G. J. Pendrick’s Antiphon the Sophist [Cambridge 2002]); new editions of papyrus discoveries (A. Martin and O. Primavesi’s L’Empédocle de Strasbourg [Berlin 1999], incorporated into B. Inwood’s The Poem of Empedocles [Toronto 2001] and the long-awaited “official” text of The Derveni Papyrus by T. Kouremenos, G. Parássoglou, and K. Tsantsanoglou [Firenze 2006]); and major critical studies [End Page 149] of Presocratic philosophers and/or philosophy (too numerous to name here) have significantly modified the landscape of the study of early Greek philosophy. In the midst of this renaissance, one has seen the critical approaches used to evaluate Presocratic thought develop into a perfect storm, with a barrage of new approaches concerning historiography, interpretation, reception, and contextualization, now considered legitimate in the assessment and evaluation of those thorny and often obscure fragments of the early Greek speculators. Presocratic studies has become contested ground, and the idea of producing a two-volume set that might update, stabilize, and make DK accessible for an English-reading audience, despite the protestations of the few (xiii), must be considered nothing less than wholly welcome. Given his demonstrated comprehension of the field of Presocratic studies at large—he has produced two broad-ranging monographs, edited several general volumes, and offered many article-length contributions on early Greek philosophy—Graham would seem to be the perfect choice for the job.What remains to be seen, then, is whether the volumes as we have them rise to the challenge of the project. The results, I think, are mixed. I will first discuss those aspects of The Texts of Early Greek Philosophy that seem more successful and testify to the value that such a collection offers to educators and students alike. Then I will examine some areas where the volumes do not quite reach the heights promised by the... (shrink)

International migration of work force is presently a high amplitude phenomenon. Romanian people have emigrated for work around the world, being engaged both in the physically hardest jobs and in activities that require completion of specialized courses and certification in a particular field. This last category includes social workers who, following schooling and certification and even having a minimal experience in the home country, apply for jobs in the field of social assistance. These recruiters aim to distribute social (...) workers at the workplace of interest, according to certain well-defined criteria. In the present paper we describe international migration of work force, and we illustrate it by adding case studies of life experience of social workers who underwent the process of emigration to the United Kingdom. Throughout the emigration process, these workers experienced certain changes in their life principles, mentality, values, and were marked by professional dilemmas in extreme situations. (shrink)

For ten years, 1971–1981, the Institute onHuman Values in Medicine (IHVM) played a keyrole in the development of Bioethics as afield. We have written this history andanalysis to bring to new generations ofBioethicists information about the developmentof their field within both the humanitiesdisciplines and the health professions. Thepioneers in medical humanities and ethics cametogether with medical professionals in thedecade of the 1960s. By the 1980s Bioethics wasa fully recognized discipline. We show the rolethat IHVM programs played in defining thefield, (...) training faculty and helping schools todevelop programs. We review the beginnings ofthe IHVM in the crucible of social andtechnological change that led to theestablishment of the IHVM's parentorganization, the Society for Health and HumanValues. We then turn to the IHVM programsthrough which Faculty members receivedfellowships to explore new crossovers betweenthe humanities and the health professions. Wehave not only described the Fellows Program asit existed in 1973–1980, but have completed asurvey of the fellows a quarter of a centuryafter they held their fellowships. We describeother IHVM programs designed to facilitate theinitiation and development of new humanitiesprograms, to explore conceptual issues betweenmedicine and five humanities fields, to conductissue driven or educational method conferencesand to advance humanities programs intograduate education through the Directors ofMedical Education. (shrink)

We show that the electromagnetic radiation field, conventionally introduced as a perturbation in quantum mechanics, is actually at the basis of the operator formalism. We first analyze the linear resonant response of the (continuous) variables x(t), p(t) of a harmonic oscillator to the full radiation field, i.e. the zero-point field plus an applied field playing the role of the driving force, and then extend the analysis to the response of a charged particle bound by a non-linear (...) force, typically an atomic electron. This leads to the establishment of a one-to-one correspondence between the response functions and the respective quantum operators, and to the identification of the quantum commutator with the Poisson bracket of the response functions with respect to the normalized variables of the driving field. To complete the quantum description, a similar procedure is used to obtain the field operators as the response functions to the same normalized variables. The results allow us to draw important conclusions about the physical content of the quantum formalism, in particular about the meaning of the quantum expectation values and the coarse-grained nature of the quantum-mechanical description. (shrink)

We present the bundle (Aff(3)⊗ℂ⊗Λ)(ℝ3), with a geometric Dirac equation on it, as a three-dimensional geometric interpretation of the SM fermions. Each (ℂ⊗Λ)(ℝ3) describes an electroweak doublet. The Dirac equation has a doubler-free staggered spatial discretization on the lattice space (Aff(3)⊗ℂ)(ℤ3). This space allows a simple physical interpretation as a phase space of a lattice of cells.We find the SM SU(3) c ×SU(2) L ×U(1) Y action on (Aff(3)⊗ℂ⊗Λ)(ℝ3) to be a maximal anomaly-free gauge action preserving E(3) symmetry and symplectic (...) structure, which can be constructed using two simple types of gauge-like lattice fields: Wilson gauge fields and correction terms for lattice deformations.The lattice fermion fields we propose to quantize as low energy states of a canonical quantum theory with ℤ2-degenerated vacuum state. We construct anticommuting fermion operators for the resulting ℤ2-valued (spin) field theory.A metric theory of gravity compatible with this model is presented too. (shrink)

A Dirac-type equation on R×S 3 topology is derived. It is a generalization of the previously obtained Klein-Gordon-type, Schrödinger-type, and Weyl-type equations, and reduces to the latter in the appropriate limit. The (discrete) energy spectrum is found and the corresponding complete set of solutions is given as expansions in terms of the matrix elements of the irreducible representations of the group SU 2 . Finally, the properties of the solutions are discussed.

BackgroundIn Sweden, individuals with visual field loss have their driving license withdrawn. The literature clearly indicates that individuals with VFL are unsafe drivers on a group level. However, many drivers with VFL can be safe on an individual level. The literature also suggests that self-perception, beliefs, and insights of one’s own capabilities are related to driving performance. This study had three aims: To investigate self-perceived driving capability ratings for individuals with VFL; to compare these ratings between groups with different (...) medical conditions associated with VFL ; and to relate the self-perception ratings to actual driving performance in an advanced driving simulator.MethodsParticipants comprised 723 individuals whose driver’s license had been withdrawn because of VFL and 92 normally sighted elderly individuals. All participants completed a background survey, rated difficulties with different traffic situations, rated their strengths and weaknesses as drivers, and rated aspects that were important for causing traffic accidents. Of the VFL group participants, 264 also completed a simulator-based driving test that they knew could lead to renewal of their driving license. VFL participants and normally sighted was at the same age when they completed the simulator driving test.ResultsOverall, individuals with VFL rated their capabilities as high on all instruments and scales used, even higher than the elderly normally sighted control group. The only VFL etiology group that rated lower than other groups was the diabetes group. Safety orientation and internal control orientation values were best at discriminating between VFL participants in terms of self-perception of driving performance. Participants categorized as “high” in terms of safety skills and internal control were more modest in their ratings. Finally, participants who passed the simulated driving test did not differ from those who failed, in any of the self-perception measures.ConclusionSelf-perception ratings among individuals with VFL were higher than those of normally sighted elderly individuals. Self-assessed skills did not predict driving performance. Groups with different VFL etiologies rated similarly. Self-ratings of driving abilities cannot be used to assess actual driving performance. Actual driving tests are necessary to discriminate between safe and unsafe drivers with VFL. (shrink)

Background: Students’ gaining and adopting basic professional values, improving their emotional intelligence skills during the process of nursing education plays a significant role on meeting the needs of healthy/patient individual and his or her family, and individualized care practices. Objectives: This (descriptive, correlational) research was carried out to evaluate the nursing values, emotional intelligence levels, and individualized care perceptions of senior nursing students and to determine the relationship between them. Research question: (1) What is the status of students to adopt (...) nursing values? (2) What is the level of students’ emotional intelligence? (3) What is the students’ individualized care perception? (4) Is there a relationship between students’ nursing values, levels of emotional intelligence, and individualized perceptions of care? Participants and research context: The research was carried out with 218 senior nursing students at the Faculty of Nursing, affiliated to a state university in Istanbul, who agreed to participate in the study, completing basic nursing education in May 2017. Ethical considerations: Ethical approval for this study was obtained from the Ethics Committee of Clinical Investigations of the Istanbul University Dentistry Faculty. Written permission was also obtained from the institution that research would be conducted. Before the data were collected, verbal permission was obtained by the investigator. Findings: It was observed that nursing values perceptions of students, emotional intelligence levels and individualized care perceptions were at a good level and there was a supportive relationship between them in the positive direction. It was determined that emotional intelligence skills of students, adoption of nursing values and individualized care perceptions increased in parallel with each other. Conclusion: In nursing education, nursing values peculiar to affective field, caring behaviors, and emotional intelligence skills that are guiding to maintain and direct these behaviors should be gained to students by supporting with correct learning methods and role models. (shrink)

Formal approaches that aim at representing human reasoning should be evaluated based on how humans actually reason. One way of doing so is to investigate whether psychological findings of human reasoning patterns are represented in the theoretical model. The computational logic approach discussed here is the so-called weak completion semantics which is based on the three-valued ᴌukasiewicz logic. We explain how this approach adequately models Byrne’s suppression task, a psychological study where the experimental results show that participants’ conclusions systematically (...) deviate from the classical logically correct answers. As weak completion semantics is a novel technique in the field of computational logic, it is important to examine how it corresponds to other already established non-monotonic approaches. For this purpose we investigate the relation of weak completion with respect to completion and three-valued stable model semantics. In particular, we show that well-founded semantics, a widely accepted approach in the field of non-monotonic reasoning, corresponds to weak completion semantics for a specific class of modified programs. (shrink)

Randomized field experiments, which in the United States has been proposed as the gold standard of educational research, is dismissed by some critics as "positivistic". Although this dismissal over identifies positivism with a specific research method, the larger point is accurate: the "gold standard" is often insensitive to local situations and human value and philosophical positivism supports and en-courages this insensitivity. In this paper I examine the way positivism is limited in terms of its understanding of the role of (...) values in educational research and I offer pragmatism as a productive alternative to these limitations. In contrast to the view of some critics I show that pragmatism would not reject out of hand randomized field experiments. Rather it would contextualize them as one of a number of valuable research tools. I argue here that pragmatism provides a more complete understanding of the research process because un-like positivism it does not dismiss value claims as meaningless, but provides a way to rationally address them. Thus its understanding of the research process is better suited to the process of educating which is inherently infused with values. I also expand on the ideas of traditional pragmatism by introducing a variation that I call critical pragmatism. (shrink)

We revisit the concept of de Sitter (dS) ‘tachyonic’ scalar fields, characterized by discrete negative squared mass values, and assess their physical significance through a rigorous Wigner-inspired group-theoretical analysis. This perspective demonstrates that such fields, often misinterpreted as inherently unstable due to their mass parameter, are best understood within the framework of unitary irreducible representations (UIRs) of the dS group. The discrete mass spectrum arises naturally in this representation framework, offering profound insights into the interplay between dS relativity and quantum (...) field theory. Contrary to their misleading nomenclature, we argue that the ‘mass’ parameter associated with these fields lacks intrinsic physical relevance, challenging traditional assumptions that link it to physical instability. Instead, any perceived instability originates from mismanagement of the system’s inherent gauge invariance rather than the fields themselves. A proper treatment of this gauge symmetry, particularly through the Gupta–Bleuler formalism, restores the expected characteristics of these fields as free quantum entities in a highly symmetric spacetime. This study seeks to dispel misconceptions surrounding dS ‘tachyonic’ fields, underscoring the importance of precise terminology and robust theoretical tools in addressing their unique properties. (shrink)