Results 11 to 20 of about 6,651,187 (298)
Nonstandard Functional Interpretations and Categorical Models [PDF]
Notre Dame Journal of Formal Logic, 2017 Recently, the second author, Briseid and Safarik introduced nonstandard Dialectica, a functional interpretation that is capable of eliminating instances of familiar principles of nonstandard arithmetic - including overspill, underspill, and generalisations to higher types - from proofs.
Amar Hadzihasanovic, Benno van den Berg
openaire +7 more sources
A Framework to Interpret Nonstandard Log-Linear Models
Austrian Journal of Statistics, 2016 The formulation of log-linear models within the framework of Generalized Linear Models offers new possibilities in modeling categorical data. The resulting models are not restricted to the analysis of contingency tables in terms of ordinary hierarchical ...
Patrick Mair
doaj +2 more sources
On groups and initial segments in nonstandard models of Peano Arithmetic [PDF]
, 2007 This thesis concerns M-finite groups and a notion of discrete measure in models of Peano Arithmetic. First we look at a measure construction for arbitrary non-M-finite sets via suprema and infima of appropriate M-finite sets.
Allsup, John David
core +7 more sources
Advances in Difference Equations, 2020 The current effort is devoted to investigating and exploring the stochastic nonlinear mathematical pandemic model to describe the dynamics of the novel coronavirus.
Wasfi Shatanawi +5 more
doaj +1 more source
Vopěnkova Alternativní teorie množin v matematickém kánonu 20. století
Filosofický časopis, 2022 Vopěnka’s Alternative Set Theory can be viewed both as an evolution and as a revolution: it is based on his previous experience with nonstandard universes, inspired by Skolem’s construction of a nonstandard model of arithmetic, and its inception has been
Haniková, Zuzana
doaj +1 more source
On A nonstandard model of hybrid automaton
2010 IEEE International Conference on Control Applications, 2010 In this paper, we introduce an enlargement of a standard hybrid automaton (HA) called a nonstandard hybrid automaton (NHA) which is another model of HA in the domain of *ℝ rather than ℝ. We define two kinds of almost periodic trajectories called the z-*cycle and p-* cycle on NHA, and we discuss a slightly extended Zeno (*Zeno) and a limit cycle in ...
Nakamura, Katsunori, Fusaoka, Akira
openaire +3 more sources
Nonstandard second-order arithmetic and Riemann's mapping theorem [PDF]
, 2013 In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of ...
Horihata, Yoshihiro, Yokoyama, Keita
core +1 more source
Non-standard interactions in radiative neutrino mass models
Journal of High Energy Physics, 2020 Models of radiative Majorana neutrino masses require new scalars and/or fermions to induce lepton-number-violating interactions. We show that these new particles also generate observable neutrino non-standard interactions (NSI) with matter.
K.S. Babu +3 more
doaj +1 more source
On Nonstandard Vacuua in Minimal Supergravity Models [PDF]
Journal of High Energy Physics, 2003 The plethora of scalar fields participating in the formulation of a softly broken supersymmetric theory can threat the stability of the standard vacuum. The generic situation is twofold. Directions in scalar field space may exist along which the potential becomes unbounded from below or local minima deeper than the standard one are likely to appear ...
Gioutsos, D. V., Vayonakis, C. E.
openaire +3 more sources
Connectedness and compactness on standard sets [PDF]
, 2010 We present a nonstandard characterization of connected compact sets. (C) 2010 WILEY-VCH Verlag GmbH & Co KGaA.
Almeida, R
core +1 more source