相关论文: Henkin constructions of models with size continuum

We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and…

With each antiholomorphic involution $\sigma $ of a connected complex semisimple Lie group $G$ we associate an automorphism $\epsilon_\sigma$ of the Dynkin diagram. The definition of $\epsilon_\sigma$ is given in terms of the Satake diagram…

Pinning models are built from discrete renewal sequences by rewarding (or penalizing) the trajectories according to their number of renewal epochs up to time $N$, and $N$ is then sent to infinity. They are statistical mechanics models to…

This paper identifies a new class of shape invariant models. These models are based on extensions of conventional quantum mechanics that satisfy a string-motivated minimal length uncertainty relation. An important feature of our…

We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The…

This study addresses the often underestimated importance of physical dimensions and units in the formal reconstruction of physical theories, focusing on structuralist approaches that use the concept of ``species of structure" as a…

A full account is given of the procedure used by the authors to construct an SO(10) supersymmetric grand unified model of the fermion mass matrices. Various features of the model which gives remarkably accurate results for the quark and…

Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…

A finite size scaling theory, originally developed only for transitions to absorbing states [Phys. Rev. E {\bf 92}, 062126 (2015)], is extended to distinct sorts of discontinuous nonequilibrium phase transitions. Expressions for quantities…

We show there exists a complete theory in a language of size continuum possessing a unique atomic model which is not constructible. We also show it is consistent with $ZFC + \aleph_1 < 2^{\aleph_0}$ that there is a complete theory in a…

We show that if for any two elementary equivalent structures $\mathbf{M}, \mathbf{N}$ of size at most continuum in a countable language, $\mathbf{M}^{\omega}/ \mathcal{U} \simeq \mathbf{N}^\omega / \mathcal{U}$ for some ultrafilter…

A simple proof of the existence of solutions for the two-dimensional Keller-Segel model with measures with all the atoms less than $8\pi$ as the initial data is given. This result has been obtained by Senba--Suzuki and Bedrossian--Masmoudi…

The present-day nuclear structure theory exhibits a great degree of synergy with respect to methods that are used to describe various phenomena in heavy nuclear systems. From few-body methods, through the shell model to mean-field…

Our aim is to do a come back on Schiffer's and Pompeiu's conjectures with shape optimization tools, maximum principles and Serrin's symmetry method. We propose a way to get affirmative answers in some cases. We propose also sufficient…

We construct a new class of quasi-exactly solvable many-body Hamiltonians in arbitrary dimensions, whose ground states can have any correlations we choose. Some of the known correlations in one dimension and some recent novel correlations…

A new version of the nuclear shell model unifies the consideration of the discrete spectrum, where the results agree with the standard shell model, and continuum. The ingredients of the method are the non-Hermitian effective Hamiltonian,…

This is a review of how sigma models formulated in Superspace have become important tools for understanding geometry. Topics included are: The (hyper)k\"ahler reduction; projective superspace; the generalized Legendre construction;…

Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…

In my PhD thesis a version of Shelah's Presentation Theorem in the setting of Metric Abstract Elementary Classes was proved, where we claimed that the new function symbols are not necessarily uniformly continuous. In this paper we provide a…

We provide new techniques to construct sets of reals without perfect subsets and with the Hurewicz or Menger covering properties. In particular, we show that if the Continuum Hypothesis holds, then there are such sets which can be mapped…