Neštandardné číselné systémy a odovodnenie Leibnizovho infinitezimálneho počtu
Neuer Beweis eines Fundamentaltheorems aus der Theorie der Substitutionslehre
New applications of the wreath product of forest algebras
We give several new applications of the wreath product of forest algebras to the study of logics on trees. These include new simplified proofs of necessary conditions for definability in CTL and first-order logic with the ancestor relation; a sequence of identities satisfied by all forest languages definable in PDL; and new examples of languages outside CTL, along with an application to the question of what properties are definable in both CTL and LTL.
New kinds of hybrid filters of EQ-algebras
The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...
New recursive characterizations of the elementary functions and the functions computable in polynomial space.
We formulate recursive characterizations of the class of elementary functions and the class of functions computable in polynomial space that do not require any explicit bounded scheme. More specifically, we use functions where the input variables can occur in different kinds of positions ?normal and safe? in the vein of the Bellantoni and Cook's characterization of the polytime functions.
New results on multiple solutions for th-order fuzzy differential equations under generalized differentiability.
New unique models of representations of unitary groups
Nice local global fields. IV.
Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Nicht-Standardmodelle der Zahlentheorie.
Niven’s Theorem
This article formalizes the proof of Niven’s theorem [12] which states that if x/π and sin(x) are both rational, then the sine takes values 0, ±1/2, and ±1. The main part of the formalization follows the informal proof presented at Pr∞fWiki (https://proofwiki.org/wiki/Niven’s_Theorem#Source_of_Name). For this proof, we have also formalized the rational and integral root theorems setting constraints on solutions of polynomial equations with integer coefficients [8, 9].
Non additive ordinal relations representable by lower or upper probabilities
We characterize (in terms of necessary and sufficient conditions) binary relations representable by a lower probability. Such relations can be non- additive (as the relations representable by a probability) and also not “partially monotone” (as the relations representable by a belief function). Moreover we characterize relations representable by upper probabilities and those representable by plausibility. In fact the conditions characterizing these relations are not immediately deducible by means...
Non recursive functions have transcendental generating series
Non standard arithmetic and application to height functions
Non standard interpretations of higher order theories
Nonaccessible filters in measure algebras and functionals on
Nonatomic states
Non-axiomatizability of real general affine geometry
Non-axiomatizability of real spectra in
We show that the property of a spectral space, to be a spectral subspace of the real spectrum of a commutative ring, is not expressible in the infinitary first order language of its defining lattice. This generalises a result of Delzell and Madden which says that not every completely normal spectral space is a real spectrum.