Search results for "Mathematics::Logic"
showing 10 items of 64 documents
Théorème de Gabrielov et fonctions log-exp-algébriques
1997
Resume Nous obtenons le theoreme de Wilkie sur les fonctions log-exp-algebriques du theoreme du complementaire ≪ explicite ≫ de Gabrielov, et de notre presentation geometrique du theoreme de van den Dries, Macintyre et Marker sur les fonctions log-exp-analytiques.
Topological Linearly Ordered Spaces Determined by Pervin's Quasi-uniformity
1994
: In this paper we study those uniform linearly ordered spaces that are determined by Pervin's quasi-uniformity. In particular, we show that the space of all countable ordinals is determined by a unique quasi-uniformity.
The double-incompleteness theorem
1976
Let T be a strong enough theory, and M - its metatheory, both are consistent. Then there is a closed arithmetical formula H that is undecidable in T, but one cannot prove in M neither that H is T-unprovable, nor that H is T-unrefutable. For English translation and proof, see K. Podnieks What is mathematics: Godel's theorem and around.
On two topological cardinal invariants of an order-theoretic flavour
2012
Noetherian type and Noetherian $\pi$-type are two cardinal functions which were introduced by Peregudov in 1997, capturing some properties studied earlier by the Russian School. Their behavior has been shown to be akin to that of the \emph{cellularity}, that is the supremum of the sizes of pairwise disjoint non-empty open sets in a topological space. Building on that analogy, we study the Noetherian $\pi$-type of $\kappa$-Suslin Lines, and we are able to determine it for every $\kappa$ up to the first singular cardinal. We then prove a consequence of Chang's Conjecture for $\aleph_\omega$ regarding the Noetherian type of countably supported box products which generalizes a result of Lajos S…
Affine Surfaces With a Huge Group of Automorphisms
2013
We describe a family of rational affine surfaces S with huge groups of automorphisms in the following sense: the normal subgroup Aut(S)alg of Aut(S) generated by all algebraic subgroups of Aut(S) is not generated by any countable family of such subgroups, and the quotient Aut(S)/Aut(S)alg cointains a free group over an uncountable set of generators.
Covering by discrete and closed discrete sets.
2008
Say that a cardinal number $\kappa$ is \emph{small} relative to the space $X$ if $\kappa <\Delta(X)$, where $\Delta(X)$ is the least cardinality of a non-empty open set in $X$. We prove that no Baire metric space can be covered by a small number of discrete sets, and give some generalizations. We show a ZFC example of a regular Baire $\sigma$-space and a consistent example of a normal Baire Moore space which can be covered by a small number of discrete sets. We finish with some remarks on linearly ordered spaces.
LocalD=4field theory onκ-deformed Minkowski space
2000
We describe the local $D=4$ field theory on $\ensuremath{\kappa}$-deformed Minkowski space as a nonlocal relativistic field theory on standard Minkowski space-time. For simplicity the case of a $\ensuremath{\kappa}$-deformed scalar field $\ensuremath{\varphi}$ with the interaction $\ensuremath{\lambda}{\ensuremath{\varphi}}^{4}$ is considered, and the $\ensuremath{\kappa}$-deformed interaction vertex is described. It appears that the fundamental mass parameter $\ensuremath{\kappa}$ plays the role of regularizing the imaginary Pauli-Villars mass in the $\ensuremath{\kappa}$-deformed propagator.
SPECTROSCOPY AND NON-EQUILIBRIUM DISTRIBUTION OF VIBRATIONALLY EXCITED METHANE IN A SUPERSONIC JET
1998
Abstract High-resolution spectra of supersonic jets of vibrationally excited methane have been recorded by diode laser in the 8 μm region. A formalism for the description of energy distribution is proposed. It allows to estimate populations of vibrational polyads. Under these non-equilibrium conditions, translational temperature is also measured from line profiles. For relaxation, it is shown that vibrational relaxation between polyads is negligible whereas strong redistribution of population arises inside each polyad. Spectroscopically, observed lines involving the first four excited polyads allows cross-checked tests for energy level analysis.
Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems
1996
Abstract It is shown that a set of pictures (rectangular arrays of symbols) is recognized by a finite tiling system iff it is definable in existential monadic second-order logic. As a consequence, finite tiling systems constitute a notion of recognizability over two-dimensional inputs which at the same time generalizes finite-state recognizability over strings and also matches a natural logic. The proof is based on the Ehrenfeucht–Fraisse technique for first-order logic and an implementation of “threshold counting” within tiling systems.
A new class of spaces with all finite powers Lindelof
2013
We consider a new class of open covers and classes of spaces defined from them, called "iota spaces". We explore their relationship with epsilon-spaces (that is, spaces having all finite powers Lindelof) and countable network weight. An example of a hereditarily epsilon-space whose square is not hereditarily Lindelof is provided.