Non-standard models were introduced by Skolem, first for set theory, then for Peano arithmetic. In the former, Skolem found support for an anti-realist view of absolutely uncountable sets. But in the latter he saw evidence for the impossibility of capturing the intended interpretation by purely deductive methods. In the history of mathematics the concept of a nonstandard model is new. An analysis of some major innovations–the discovery of irrationals, the use of negative and complex numbers, the modern concept (...) of function, and non-Euclidean geometry–reveals them as essentially different from the introduction of non-standard models. Yet, non-Euclidean geometry, which is discussed at some length, is relevant to the present concern; for it raises the issue of intended interpretation. The standard model of natural numbers is the best candidate for an intended interpretation that cannot be captured by a deductive system. Next, I suggest, is the concept of a wellordered set, and then, perhaps, the concept of a constructible set. One may have doubts about a realistic conception of the standard natural numbers, but such doubts cannot gain support from non-standard models. Attempts to utilize non-standard models for an anti-realist position in mathematics, which appeal to meaning-as-use, or to arguments of the kind proposed by Putnam, fail through irrelevance, or lead to incoherence. Robinson’s skepticism, on the other hand, is a coherent position, though one that gives up on providing a detailed philosophical account. The last section enumerates various uses of non-standard models. (shrink)

I review some theoretical ideas in cosmology different from the standard “Big Bang”: the quasi-steady state model, the plasma cosmology model, non-cosmological redshifts, alternatives to non-baryonic dark matter and/or dark energy, and others. Cosmologists do not usually work within the framework of alternative cosmologies because they feel that these are not at present as competitive as the standard model. Certainly, they are not so developed, and they are not so developed because cosmologists do not work on them. It (...) is a vicious circle. The fact that most cosmologists do not pay them any attention and only dedicate their research time to the standard model is to a great extent due to a sociological phenomenon . We might well wonder whether cosmology, our knowledge of the Universe as a whole, is a science like other fields of physics or a predominant ideology. (shrink)

In his doctor's thesis [1], Henkin has shown that if a formal logic is consistent, and sufficiently complex, then it must admit a non-standard model. In particular, he showed that there must be a model in which that portion of the model which is supposed to represent the positive integers of the formal logic is not in fact isomorphic to the positive integers; indeed it is not even well ordered by what is supposed to be the relation of ≦.For (...) the purposes of the present paper, we do not need a precise definition of what is meant by a standard model of a formal logic. The non-standard models which we shall discuss will be flagrantly non-standard, as for instance a model of the sort whose existence is proved by Henkin. It will suffice if we and our readers are in agreement that a model of a formal logic is not a standard model if either: The relation in the model which represents the equality relation in the formal logic is not the equality relation for objects of the model. That portion of the model which is supposed to represent the positive integers of the formal logic is not well ordered by the relation ≦. That portion of the model which is supposed to represent the ordinal numbers of the formal logic is not well ordered by the relation ≦. (shrink)

In the context of life sciences, we are constantly confronted with information that possesses precise semantic values and appears essentially immersed in a specific evolutionary trend. In such a framework, Nature appears, in Monod’s words, as a tinkerer characterized by the presence of precise principles of self-organization. However, while Monod was obliged to incorporate his brilliant intuitions into the framework of first-order cybernetics and a theory of information with an exclusively syntactic character such as that defined by Shannon, research advances (...) in recent decades have led not only to the definition of a second-order cybernetics but also to an exploration of the boundaries of semantic information. As H. Atlan states, on a biological level "the function self-organizes together with its meaning". Hence the need to refer to a conceptual theory of complexity and to a theory of self-organization characterized in an intentional sense. There is also a need to introduce, at the genetic level, a distinction between coder and ruler as well as the opportunity to define a real software space for natural evolution. The recourse to non-standard model theory, the opening to a new general semantics, and the innovative definition of the relationship between coder and ruler can be considered, today, among the most powerful theoretical tools at our disposal in order to correctly define the contours of that new conceptual revolution increasingly referred to as metabiology. This book focuses on identifying and investigating the role played by these particular theoretical tools in the development of this new scientific paradigm. Nature "speaks" by means of mathematical forms: we can observe these forms, but they are, at the same time, inside us as they populate our organs of cognition. In this context, the volume highlights how metabiology appears primarily to refer to the growth itself of our instruments of participatory knowledge of the world. (shrink)

In response to Bhupinder Singh Anand''s article CAN WE REALLY FALSIFY TRUTH BY DICTAT? in THE REASONER II, 1, January 2008,that denies the existence of nonstandard models of Peano Arithmetic, we prove from Compactness the existence of such models.

A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then combined into a “geometric technique” used to prove several results about countable non-standard models of set theory. In particular, back-and-forth constructions are carried out to establish various generalizations and refinements of Friedman’s theorem on the existence of rank-initial embeddings between countable non- (...) class='Hi'>standard models of the fragment \ + \-Separation of \; and Gaifman’s technique of iterated ultrapowers is employed to show that any countable model of \ can be elementarily rank-end-extended to models with well-behaved automorphisms whose sets of fixed points equal the original model. These theoretical developments are then utilized to prove various results relating self-embeddings, automorphisms, their sets of fixed points, strong rank-cuts, and set theories of different strengths. Two examples: The notion of “strong rank-cut” is characterized in terms of the theory \, and in terms of fixed-point sets of self-embeddings. (shrink)

The existence of non-standard numbers in first-order arithmetics is a semantic obstacle for modelling our arithmetical skills. This article argues that so far there is no adequate approach to overcome such a semantic obstacle, because we can also find out, and deal with, non-standard elements in Turing machines.

We give an elementary introduction to non-standard analysis and its applications to the theory of stochastic processes. This is based on a joint book with J. E. Fenstad, R. Høegh-Krohn and T. Lindstrøm. In particular we give a discussion of an hyperfinite theory of Dirichlet forms with applications to the study of the Hamiltonian for a quantum mechanical particle in the potential created by a polymer. We also discuss new results on the existence of attractive polymer measures in dimension (...) d ≤ 5, with applications to the (φ 1 2 φ 2 2 )d-mode1 of interacting quantum fields. (shrink)

This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.

We propose a set theory, called NRFST, in which the Cantorian axiom of infinity is negated, and a new notion of infinity is introduced via non standard methods, i. e. via adequate notions of standard and internal, two unary predicates added to the language of ZF. After some initial results on NRFST, we investigate its relative consistency with respect to ZF and Kawai's WNST.

This new edition of work that has evolved over the past seven years completes the derivation of the form of The Standard Model from quantum theory and the extension of the Theory of Relativity to superluminal transformations. The much derided form of The Standard Model is established from a consideration of Lorentz and superluminal relativistic space-time transformations. So much so that other approaches to elementary particle theory pale in comparison. In previous work color SU(3) was derived from space-time (...) considerations. This book shows that the SU(2) U(1) Weak Interaction sector follows directly from the extension of Lorentz transformations to superluminal (faster-than-light) transformations. In fact, ElectroWeak symmetry is shown to have an SU(2) U(1) U(1) symmetry that naturally includes WIMPs (Weakly Interacting Massive Particles), a candidate for Dark Matter. Thus the form of the Standard Model is dictated by space-time considerations fulfilling a dream of Einstein. Using a new matrix formulation of Logic - Operator Logic - we show that Dirac-like equations can be constructed. This edition also derives broken SU(4) four fermion generations as well as a non-Higgsian (Dimensional Mass Generation) derivation of fermion and ElectroWeak gauge boson masses from GL(4). The program of the book is completed by reprinting the book Quantum Theory of the Third Kind, which describes Two-Tier quantum field theory. This theory yields finite results (No Feynman diagram calculations diverge!) in The Standard Model and Quantum Gravity calculations to all orders in perturbation theory. Lastly, the book also contains a description of Operator Logic, Probabilistic Operator Logic, Quantum Operator Logic (for q-number statements). A comprehensive derivation of the form of The Standard Model from geometric considerations. (shrink)

We examine Paul Halmos’ comments on category theory, Dedekind cuts, devil worship, logic, and Robinson’s infinitesimals. Halmos’ scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is “certainty” and “architecture” yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to (...) teach us the opposite lesson, namely that the castle is floating in midair. Halmos’ realism tends to color his judgment of purely scientific aspects of logic and the way it is practiced and applied. He often expressed distaste for nonstandard models, and made a sustained effort to eliminate first-order logic, the logicians’ concept of interpretation, and the syntactic vs semantic distinction. He felt that these were vague, and sought to replace them all by his polyadic algebra. Halmos claimed that Robinson’s framework is “unnecessary” but Henson and Keisler argue that Robinson’s framework allows one to dig deeper into set-theoretic resources than is common in Archimedean mathematics. This can potentially prove theorems not accessible by standard methods, undermining Halmos’ criticisms. (shrink)

In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself [10].

In ${\mathbf{H}}$ , a set theory with the comprehension principle within Łukasiewicz infinite-valued predicate logic, we prove that a statement which can be interpreted as “there is an infinite descending sequence of initial segments of ω” is truth value 1 in any model of ${\mathbf{H}}$ , and we prove an analogy of Hájek’s theorem with a very simple procedure.

We describe an explicit construction of algebraic models for theories with non-standard elements either with classical or constructive logic. The corresponding truthvalue algebra in our construction is a complete algebra of subsets of some concrete decidable set. This way we get a quite finitistic notion of true which reflects a notion of the deducibility of a given theory. It enables us to useconstructive, proof-theoretical methods for theories with non-standard elements. It is especially useful in the case of (...) theories with constructive logic where algorithmic properties are essential. (shrink)

This thesis studies collider phenomenology of physics beyond the Standard Model at the Large Hadron Collider (LHC). It also explores in detail advanced topics related to Higgs boson and supersymmetry - one of the most exciting and well-motivated streams in particle physics. In particular, it finds a very large enhancement of multiple Higgs boson production in vector-boson scattering when Higgs couplings to gauge bosons differ from those predicted by the Standard Model. The thesis demonstrates that due to the (...) loss of unitarity, the very large enhancement for triple Higgs boson production takes place. This is a truly novel finding. The thesis also studies the effects of supersymmetric partners of top and bottom quarks on the Higgs production and decay at the LHC, pointing for the first time to non-universal alterations for two main production processes of the Higgs boson at the LHC-vector boson fusion and gluon-gluon fusion. Continuing the exploration of Higgs boson and supersymmetry at the LHC, the thesis extends existing experimental analysis and shows that for a single decay channel the mass of the top quark superpartner below 175 GeV can be completely excluded, which in turn excludes electroweak baryogenesis in the Minimal Supersymmetric Model. This is a major new finding for the HEP community. This thesis is very clearly written and the introduction and conclusions are accessible to a wide spectrum of readers. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

Many scientific models are non-representational in that they refer to merely possible processes, background conditions and results. The paper shows how such non-representational models can be appraised, beyond the weak role that they might play as heuristic tools. Using conceptual distinctions from the discussion of how-possibly explanations, six types of models are distinguished by their modal qualities of their background conditions, model processes and model results. For each of these types, an actual model example – drawn from (...) economics, biology, psychology or sociology – is discussed. For each case, contexts and purposes are identified in which the use of such a model offers a genuine opportunity to learn – i.e. justifies changing one’s confidence in a hypothesis about the world. These cases then offer novel justifications for modelling practices that fall between the cracks of standard representational accounts of models. (shrink)

Abraham Robinson has twice been the initiator of trends in the foundations of mathematics which have later become recognized as profound and important, although they were generally ignored at first: metamathematical problems of algebra and non-standard analysis. This book considers the second topic; before we begin analysis—especially a treatment of the classical theorems of calculus—we need basic results from logic, model theory in particular. Robinson then sketches non-standard arithmetic and proceeds to develop the usual properties and relations of (...) differentiability and integrability of functions, convergence; he then examines general topology in this new context and fortified with these results develops "modern" functional analysis in some detail: measure theory and functions of a real variable, functions of a complex variable, normed and linear spaces, topological groups and some harmonic analysis. The last two chapters cover selected topics in analysis drawn principally from applied mathematics and the history of the calculus with special reference to infinitesimals. Robinson views the development of non-standard mathematics as the renaissance of ideas about infinitesimals as serious topics of mathematical study. Robinson primarily has confined himself to analysis and not attempted to cover non-standard algebraic systems; several important results of Alling concerning non-standard arithmetic and rings of continuous functions appeared too late to be included. Of course, the real test of non-standard analysis will come in allowing us to prove new theorems about standard analysis, but although Robinson does not attempt to do this here—although he has obtained results in this direction—other mathematicians have already begun to do so: the future of this new branch of mathematics already looks secure.—P. J. M. (shrink)