This paper is a review of the canonical proper-time approach to relativistic mechanics and classical electrodynamics. The purpose is to provide a physically complete classical background for a new approach to relativistic quantum theory. Here, we first show that there are two versions of Maxwell’s equations. The new version fixes the clock of the field source for all inertial observers. However now, the (natural definition of the effective) speed of light is no longer an invariant for all observers, but depends (...) on the motion of the source. This approach allows us to account for radiation reaction without the Lorentz-Dirac equation, self-energy (divergence), advanced potentials or any assumptions about the structure of the source. The theory provides a new invariance group which, in general, is a nonlinear and nonlocal representation of the Lorentz group. This approach also provides a natural (and unique) definition of simultaneity for all observers.The corresponding particle theory is independent of particle number, noninvariant under time reversal (arrow of time), compatible with quantum mechanics and has a corresponding positive definite canonical Hamiltonian associated with the clock of the source.We also provide a brief review of our work on the foundational aspects of the corresponding relativistic quantum theory. Here, we show that the standard square-root and Dirac equations are actually two distinct spin- $\frac{1}{2}$ particle equations. (shrink)

Although children learn more when teachers gesture, it is not clear how gesture supports learning. Here, we sought to investigate the nature of the memory processes that underlie the observed benefits of gesture on lasting learning. We hypothesized that instruction with gesture might create memory representations that are particularly resistant to interference. We investigated this possibility in a classroom study with 402 second‐ and third‐grade children. Participants received classroom‐level instruction in mathematical equivalence using videos with or without accompanying (...) gesture. After instruction, children solved problems that were either visually similar to the problems that were taught, and consistent with an operational interpretation of the equal sign (interference), or visually distinct from equivalence problems and without an equal sign (control) in order to assess the role of gesture in resisting interference after learning. Gesture facilitated learning, but the effects of gesture and interference varied depending on type of problem being solved and the strategies that children used to solve problems prior to instruction. Some children benefitted from gesture, while others did not. These findings have implications for understanding the mechanisms underlying the beneficial effect of gesture on mathematical learning, revealing that gesture does not work via a general mechanism like enhancing attention or engagement that would apply to children with all forms of prior knowledge. (shrink)

It is known, despite special theory of relativity has been widely accepted, in our recent draft submitted to this journal it is shown that some experiments have been carried out suggesting superluminal wave propagation, which make Minkowski lightcone not valid anymore. Therefore, it seems worth to reconsider the connection between elastic wave and electromagnetic wave equations, as in their early development. In this paper we will start with Maxwell-Dirac isomorphism, then we will find its connection with elastic wave equations.

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted aussonderung but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for “low” sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the (...) set constructed; so no set of all ordinals is obtained thereby. This “recurrence problem” is discussed. (shrink)

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted _aussonderung_ but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for "low" sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the (...) set constructed; so no set of _all_ ordinals is obtained thereby. This "recurrence problem" is discussed. (shrink)

The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling (...) of living beings? Is the so -called “naturalness” of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer “yes” and to ground this transfer of the concept of “natural equivalence” in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of “category” in his more recent objections to the computational models that have pervaded almost every domain of biology since the 1990s. (shrink)

The author of “Evidence, Explanation, Enhanced Indispensability” advances a criticism to the Enhanced Indispensability Argument and the use of Inference to the Best Explanation in order to draw ontological conclusions from mathematical explanations in science. His argument relies on the availability of equivalent though competing explanations, and a pluralist stance on explanation. I discuss whether pluralism emerges as a stable position, and focus here on two main points: whether cases of equivalent explanations have been actually offered, and which ontological (...) consequences should follow from these. (shrink)

A simple propositional operator is introduced which generalizes pairwise equivalence and occurs widely in mathematics. Attention is focused on a replacement theorem for this notion of generalized equivalence and its use in producing further generalized equivalences.

In this article I examine two mathematical definitions of observational equivalence, one proposed by Charlotte Werndl and based on manifest isomorphism, and the other based on Ornstein and Weiss’s ε-congruence. I argue, for two related reasons, that neither can function as a purely mathematical definition of observational equivalence. First, each definition permits of counterexamples; second, overcoming these counterexamples will introduce non-mathematical premises about the systems in question. Accordingly, the prospects for a broadly applicable and purely (...) mathematical definition of observational equivalence are unpromising. Despite this critique, I suggest that Werndl’s proposals are valuable because they clarify the distinction between provable and unprovable elements in arguments for observational equivalence. (shrink)

In this paper I examine two mathematical definitions of observational equivalence, one proposed by Charlotte Werndl and based on manifest isomorphism, and the other based on Ornstein and Weiss's ε-congruenceε-congruence. I argue, for two related reasons, that neither can function as a purely mathematical definition of observational equivalence. First, each definition permits of counterexamples; second, overcoming these counterexamples will introduce non-mathematical premises about the systems in question. Accordingly, the prospects for a broadly applicable and purely (...) mathematical definition of observational equivalence are unpromising. Despite this critique, I suggest that Werndl's proposals are valuable because they clarify the distinction between provable and unprovable elements in arguments for observational equivalence. (shrink)

Consistency, interpretability and probability are three key instruments in the mathematical philosopher’s kit when it comes to questions of foundational theory comparison. This paper aims to bring these tools together with a focus on theories capable of providing foundations for mathematics with a particular emphasis on set theory. A number of counterintuitive results emerge which are then addressed by offering a novel framework based on what we call pointwise interpretability. We then investigate a plausible, existing instance of this framework, (...) the generic multiverse, and demonstrate that it can be naturally situated within our pointwise interpretability framework. (shrink)

This paper is based on Lectures 1, 2 and 4 in the series of ten lectures titled “Algebraic Structures for Logic” that Professor Blok and I presented at the Twenty Third Holiday Mathematics Symposium held at New Mexico State University in Las Cruces, New Mexico, January 8-12, 1999. These three lectures presented a new approach to the algebraization of deductive systems, and after the symposium we made plans to publish a joint paper, to be written by Blok, further developing these (...) ideas. That project was still incomplete when Blok died. In fact, there is no indication that he had prepared a draft of the paper, and we do not know what new material he intended to include. I am therefore not in a position to complete the project as he had envisioned it. So, I have settled for the more limited objective of presenting the material from the three lectures, leaving to others the task of adapting the techniques used there to more general situations. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics (...) of physics. In this paper, I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

Leibniz's dispute with Newton over the physico-mathematical theories expounded in the Principia Mathematica have long been identified as a crucial episode in the history of science. Dr. Bertoloni Meli examines several hitherto unpublished manuscripts in Leibniz's own hand illustrating his first reading of and reaction to Newton's Principia. Six of the most important manuscripts are here edited for the first time. Contrary to Leibniz's own claims, this new evidence shows that he had studied Newton's masterpiece before publishing An Essay (...) on the Causes of Celestial Motions. This article, representing his response to Newton, is included here in English translation. Dr. Bertoloni Meli analyses the important implications of this episode on a variety of themes ranging from priority claims to the mathematization of nature in the seventeenth century. Besides providing a careful study of Leibniz's style and strategy, the author examines how our perception of Newton's achievement is affected and the reception of the rival theories by the mathematical community around 1700. "Bertoloni's book provides a very detailed and deep analysis of Leibniz's calculus and dynamics by focusing on a consistent and important set of previously unknown manuscripts..." Niccolo Guicciardini, Universita de Bologna "...Equivalence and Priority is a major contribution to our understanding of the development of mathematical physics in the late seventeenth and early eighteenth century." Daniel Garber, University of Chigago. (shrink)

A precise fomulation of the strong Equivalence Principle is essential to the understanding of the relationship between gravitation and quantum mechanics. The relevant aspects are reviewed in a context including General Relativity but allowing for the presence of torsion. For the sake of brevity, a concise statement is proposed for the Principle: An ideal observer immersed in a gravitational field can choose a reference frame in which gravitation goes unnoticed. This statement is given a clear mathematical meaning through (...) an accurate discussion of its terms. It holds for ideal observers (time-like smooth non-intersecting curves), but not for real, spatially extended observers. Analogous results hold for gauge fields. The difference between gravitation and the other fundamental interactions comes from their distinct roles in the equation of force. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to (...) make the theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

Computably enumerable equivalence relations received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility \. This gives rise to a rich degree structure. In this paper, we lift the study of c-degrees to the \ case. In doing so, we rely on the Ershov hierarchy. For any notation a for a non-zero computable ordinal, we prove several algebraic properties of the degree structure induced by \ on the \ (...) class='Hi'>equivalence relations. A special focus of our work is on the existence of infima and suprema of c-degrees. (shrink)

In this essay I begin to lay out a conceptual scheme for: analysing dualities as cases of theoretical equivalence; assessing when cases of theoretical equivalence are also cases of physical equivalence. The scheme is applied to gauge/gravity dualities. I expound what I argue to be their contribution to questions about: the nature of spacetime in quantum gravity; broader philosophical and physical discussions of spacetime. - proceed by analysing duality through four contrasts. A duality will be a suitable (...) isomorphism between models: and the four relevant contrasts are as follows: Bare theory: a triple of states, quantities, and dynamics endowed with appropriate structures and symmetries; vs. interpreted theory: which is endowed with, in addition, a suitable pair of interpretative maps. Extendable vs. unextendable theories: which can, respectively cannot, be extended as regards their domains of application. External vs. internal intepretations: which are constructed, respectively, by coupling the theory to another interpreted theory vs. from within the theory itself. Theoretical vs. physical equivalence: which contrasts formal equivalence with the equivalence of fully interpreted theories. I will apply this scheme to answering questions - for gauge/gravity dualities. I will argue that the things that are physically relevant are those that stand in a bijective correspondence under duality: the common core of the two models. I therefore conclude that most of the mathematical and physical structures that we are familiar with, in these models, are largely, though crucially never entirely, not part of that common core. Thus, the interpretation of dualities for theories of quantum gravity compels us to rethink the roles that spacetime, and many other tools in theoretical physics, play in theories of spacetime. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to (...) make the theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

This paper proposes a reading of the history of equivalence in mathematics. The paper has two main parts. The first part focuses on a relatively short historical period when the notion of equivalence is about to be decontextualized, but yet, has no commonly agreed-upon name. The method for this part is rather straightforward: following the clues left by the others for the ‘first’ modern use of equivalence. The second part focuses on a relatively long historical period when (...) equivalence is experienced in context. The method for this part is to strip the ideas from their set-theoretic formulations and methodically examine the variations in the ways equivalence appears in some prominent historical texts. The paper reveals several critical differences in the conceptions of equivalence at different points in history that are at variance with the standard account of the mathematical notion of equivalence encompassing the concepts of equivalence relation and equivalence class. (shrink)

This article presents a weak system of intuitionistic second-order arithmetic, WKV, a subsystem of the one in S.C. Kleene, R.E. Vesley [The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions, North-Holland Publishing Company, Amsterdam, 1965]. It is then shown that some statements of real analysis, like a version of the Heine–Borel Theorem, and some statements of logic, e.g. compactness of classical proposition calculus, are equivalent to the Fan Theorem in this system.

We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theories are always decidable. We then show that, under some hypotheses, the map sending an L-structure R to the L-structure of definable functions from R n to R preserves elementary inclusions and equivalences and gives a structure with a decidable theory whenever R is decidable. We briefly consider structures of definable functions satisfying an extra condition (...) such as continuity. (shrink)

We say that a linear ordering is extendible if every partial ordering that does not embed can be extended to a linear ordering which does not embed either. Jullien’s theorem is a complete classification of the countable extendible linear orderings. Fraïssé’s conjecture, which is actually a theorem, is the statement that says that the class of countable linear ordering, quasiordered by the relation of embeddability, contains no infinite descending chain and no infinite antichain. In this paper we study the strength (...) of these two theorems from the viewpoint of Reverse Mathematics and Effective Mathematics. As a result of our analysis we get that they are equivalent over the basic system of .We also prove that Fraïssé’s conjecture is equivalent, over , to two other interesting statements. One that says that the class of well founded labeled trees, with labels from {+,−}, and with a very natural order relation, is well quasiordered. The other statement says that every linear ordering which does not contain a copy of the rationals is equimorphic to a finite sum of indecomposable linear orderings.While studying the proof theoretic strength of Jullien’s theorem, we prove the extendibility of many linear orderings, including ω2 and η, using just . Moreover, for all these linear orderings, , we prove that any partial ordering, , which does not embed has a linearization, hyperarithmetic in , which does not embed. (shrink)

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no one can follow it through in a lifetime? The first substantial answers to these questions have only been obtained in this century. The most (...) striking results are contained in Goedel's work: First, it is possible to give a simple set of rules that suffice to carry out all mathematical proofs; but, second, these rules are necessarily incomplete - it is impossible, for example, to prove all true statements of arithmetic. The book begins with an introduction to first-order logic, Goedel's theorem, and model theory. A second part covers extensions of first-order logic and limitations of the formal methods. The book covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem. Fraissé's elementary equivalence, and Lindstroem's theorem on the maximality of first-order logic. (shrink)

We introduce the notion of -determinacy for Γ a pointclass and E an equivalence relation on a Polish space X. A case of particular interest is the case when E = EG is the shift-action o...

A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co-vary with other non-verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer-generated animated pedagogical agent to control both verbal and non-verbal behavior. Children viewed lessons on mathematical equivalence in (...) which an avatar either gestured or did not gesture, while eye gaze, head position, and lip movements remained identical across gesture conditions. Children who observed the gesturing avatar learned more, and they solved problems more quickly. Moreover, those children who learned were more likely to transfer and generalize their knowledge. These findings provide converging evidence that gesture facilitates math learning, and they reveal the potential for using technology to study non-verbal behavior in controlled experiments. (shrink)

A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co‐vary with other non‐verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer‐generated animated pedagogical agent to control both verbal and non‐verbal behavior. Children viewed lessons on mathematical equivalence in (...) which an avatar either gestured or did not gesture, while eye gaze, head position, and lip movements remained identical across gesture conditions. Children who observed the gesturing avatar learned more, and they solved problems more quickly. Moreover, those children who learned were more likely to transfer and generalize their knowledge. These findings provide converging evidence that gesture facilitates math learning, and they reveal the potential for using technology to study non‐verbal behavior in controlled experiments. (shrink)

We present some equivalent conditions for a quasivariety \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {K}}$$\end{document} of structures to be generated by a single structure. The first such condition, called the embedding property was found by A.I. Mal′tsev in [6]. It says that if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf A}, {\bf B} \in \mathcal {K}}$$\end{document} are nontrivial, then there exists \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\bf C} \in \mathcal{K}}$$\end{document} (...) such that A and B are embeddable into C. One of our equivalent conditions states that the set of quasi-identities valid in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{K}}$$\end{document} is closed under a certain Gentzen type rule which is due to J. Łoś and R. Suszko [5]. (shrink)

Leibniz Equivalence is a principle of applied mathematics that is widely assumed in both general relativity textbooks and in the philosophical literature on Einstein’s hole argument. In this article, I clarify an ambiguity in the statement of this Leibniz Equivalence, and argue that the relevant expression of it for the hole argument is strictly false. I then show that the hole argument still succeeds as a refutation of manifold substantivalism; however, recent proposals that the hole argument is undermined (...) by principles of representational equivalence do not fare so well. (shrink)

This paper gives a formalization of general topology in second-order arithmetic using countably based MF spaces. This formalization is used to study the reverse mathematics of general topology. For each poset P we let MF denote the set of maximal filters on P endowed with the topology generated by {Np | p ∈ P}, where Np = {F ∈ MF | p ∈ F}. We define a countably based MF space to be a space of the form MF for some (...) countable poset P. The class of countably based MF spaces includes all complete separable metric spaces as well as many nonmetrizable spaces. The following reverse mathematics results are obtained. The proposition that every nonempty Gδ subset of a countably based MF space is homeomorphic to a countably based MF space is equivalent to [Formula: see text] over ACA0. The proposition that every uncountable closed subset of a countably based MF space contains a perfect set is equivalent over [Formula: see text] to the proposition that [Formula: see text] is countable for all A ⊆ ℕ. The proposition that every regular countably based MF space is homeomorphic to a complete separable metric space is equivalent to [Formula: see text] over [Formula: see text]. (shrink)

For ordinals α beginning a Σ1 gap in equation image, where equation image is closed under number quantification, we give an inner model-theoretic proof that every thin equation image equivalence relation is equation image in a real parameter from the hypothesis equation image.

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We (...) also prove a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

The main result of this paper is the equivalence of several definition schemas of bar recursion occurring in the literature on functionals of finite type. We present the theory of functionals of finite type, in [T] denoted byqf-WE-HA ω, which is necessary for giving the equivalence proofs. Moreover we prove two results on this theory that cannot be found in the literature, namely the deduction theorem and a derivation of Spector's rule of extensionality from [S]: ifP→T 1=T 2 (...) and Q[X∶≡T1], then P→Q[X∶≡ T2], from the at first sight weaker rule obtained by omitting “P→”. (shrink)

In this paper we scrutinize the so called Principle of Local Lorentz Invariance (PLLI) that many authors claim to follow from the Equivalence Principle. Using rigourous mathematics, we introduce in the General Theory of Relativity two classes of reference frames (PIRFs and LLRFγs) which as natural generalizations of the concept of the inertial reference frames of the Special Relativity Theory. We show that it is the class of the LLRFγs that is associated with the PLLI. Next we give a (...) definition of physically equivalent reference frames. Then, we prove that there are models of General Relativity Theory (in particular on a Friedmann universe) where the PLLI is false. However our finding is not in contradiction with the many experimental claims vindicating the PLLI, because theses experiments do not have enough accuracy to detect the effect we found. We prove moreover that PIRFs are not physically equivalent. (shrink)

Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.

Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led to four kinds (...) of PTSs. Most importantly PTSs are about statements of the form M:A, where M is a term and A a type. In ICLs there are no explicit types and the statements are terms. In this paper we show that for each of the four forms of PTS there is an equivalent form of ICL, sometimes if certain conditions hold. (shrink)

In [GK], Gurevich and Kokorin proved that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let nowG, H be non-trivialo-groups with a commono-subgroupG 0. We determine whetherG andH are existentially equivalent overG 0. As a corollary, we obtain algebraic criteria for deciding, whether ano-subgroupG is existentially closed in ano-groupH. Corresponding results are proved foro-groups in which congruences are regarded as atomic relations.