Results 21 to 30 of about 1,374 (248)

The property of independence for Jonsson sets

open access: yesҚарағанды университетінің хабаршысы. Математика сериясы, 2016
The studies carried out in this article are connected with the description of model - theoretic properties of some, generally speaking, incomplete classes of theories that make a subclass of inductive theories.
A.R. Yeshkeyev
doaj   +1 more source

Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras

open access: yesNotre Dame Journal of Formal Logic, 2011
This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated.
Tommaso Cortonesi   +2 more
openaire   +5 more sources

Thermalization in quenched open quantum cosmology

open access: yesNuclear Physics B, 2023
In this article, we study the quantum field theoretic generalization of the Caldeira-Leggett model in general curved space-time considering interactions between two scalar fields in a classical gravitational background.
Subhashish Banerjee   +5 more
doaj   +1 more source

Criterion for the cosemanticness of the Abelian groups in the enriched signature

open access: yesҚарағанды университетінің хабаршысы. Математика сериясы, 2018
In the present paper we give a criterion of the cosemanticness relative to the Jonsson spectrum of the model in the class of Abelian groups with a distinguished predicate.
A.R. Yeshkeyev   +2 more
doaj   +1 more source

Superuniversality of Superdiffusion

open access: yesPhysical Review X, 2021
Anomalous finite-temperature transport has recently been observed in numerical studies of various integrable models in one dimension; these models share the feature of being invariant under a continuous non-Abelian global symmetry.
Enej Ilievski   +4 more
doaj   +1 more source

Coarse graining as a representation change

open access: yesPhysics Letters B, 2019
We discuss how SU(1,1) coherent states from the discrete series allow for a natural coarse graining operation. The physical application is quantum theories based on a set of three extensive observables whose Poisson algebra is isomorphic to su(1,1).
Norbert Bodendorfer, Fabian Haneder
doaj   +1 more source

Some properties of Morly rank over Jonsson sets

open access: yesҚарағанды университетінің хабаршысы. Математика сериясы, 2016
This article introduced and discussed the concepts of minimal Jonsson sets and respectively strongly minimal Jonsson sets. On this basis, it introduces the concept of the independence of special subsets of existentially closed submodel of the semantic ...
A.R. Yeshkeyev
doaj   +1 more source

Hopfield Neural Networks for Online Constrained Parameter Estimation With Time‐Varying Dynamics and Disturbances

open access: yesInternational Journal of Adaptive Control and Signal Processing, EarlyView.
This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley   +1 more source

An Adaptive Human Pilot Model With Reaction Time Delay for Enhanced Adaptive Control in Piloted Systems

open access: yesInternational Journal of Adaptive Control and Signal Processing, EarlyView.
This work introduces an adaptive human pilot model that captures pilot time‐delay effects in adaptive control systems. The model enables the prediction of pilot–controller interactions, facilitating safer integration and improved design of adaptive controllers for piloted applications.
Abdullah Habboush, Yildiray Yildiz
wiley   +1 more source

Algebraic and model-theoretic properties of tilings

open access: yesTheoretical Computer Science, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Home - About - Disclaimer - Privacy