Filters








4,754,234 Hits in 6.7 sec

On the existence of universal models

Mirna Džamonja, Saharon Shelah
2004 Archive for Mathematical Logic  
The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories.  ...  size < µ which is universal for normed vector spaces over Q of dimension λ + under the notion of embedding h which specifies (a, b) such that ||h(x)||/||x|| ∈ (a, b) for all x.  ...  Two well known theorems on the existence of universal models for first order theories T (see [ChKe] ) are 1. Under GCH, there is a universal model of T of cardinality λ for every λ > |T |. 2.  ... 
doi:10.1007/s00153-004-0235-1 fatcat:lpsm5bdvozglbcjakgsz47u42q

On the existence of universal models [article]

Mirna Džamonja, Saharon Shelah
2006 arXiv   pre-print
We give a criterion on T which is sufficient for the consistent existence of λ^++ universal models of T of size λ^+ for models of T of size <λ^+, and is meaningful when 2^λ^+>λ^++.  ...  The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories.  ...  Two well known theorems on the existence of universal models for first order theories T (see [ChKe] ) are 1. Under GCH, there is a universal model of T of cardinality λ for every λ > |T |. 2.  ... 
arXiv:math/9805149v2 fatcat:arekatp245bhxb27nwszmtqb3e

On the existence of free models in fuzzy universal Horn classes

Vicent Costa, Pilar Dellunde
2017 Journal of Applied Logic  
We introduce the notion of term structure associated to a set of formulas in the fuzzy context and we show the existence of free models in fuzzy universal Horn classes.  ...  This paper is a contribution to the study of the universal Horn fragment of predicate fuzzy logics, focusing on some relevant notions in logic programming.  ...  Pilar Dellunde is also partially supported by the project RASO TIN2015-71799-C2-1-P (MINECO/FEDER) and the grant 2014SGR-118 from the Generalitat de Catalunya.  ... 
doi:10.1016/j.jal.2016.11.002 fatcat:nb2ob5i7crhrja26itmmzt3wve

On properties of theories which preclude the existence of universal models [article]

Mirna Džamonja, Saharon Shelah
2000 arXiv   pre-print
implying the failure of GCH (and close to the failure of SCH) hold.  ...  In this paper we investigate some properties of first order theories which prevent them from having universal models under certain cardinal arithmetic assumptions.  ...  amenability to the existence of universal models, has been pursued.  ... 
arXiv:math/0009078v1 fatcat:ec5ejymzozdmdo3q37o4uj6rp4

On properties of theories which preclude the existence of universal models

Mirna Džamonja, Saharon Shelah
2006 Annals of Pure and Applied Logic  
One of our examples is the theory T * feq for which non-universality results similar to the ones we obtain are already known; hence we may view our results as an abstraction of the known results from a  ...  We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality λ when certain cardinal arithmetic  ...  Acknowledgements The authors thank the United States-Israel Binational Science Foundation and NSF for their support during the preparation of this paper, and Mirna Džamonja thanks the Academic Study Group  ... 
doi:10.1016/j.apal.2005.06.001 fatcat:52vygr6bjbhvtjvmiwcoduyq4i

On Existence of Solutions to Stochastic Differential Equations with Current Velocities

S.V. Azaria, Yu.E. Gliklikh
2015 Bulletin of the South Ural State University Series Mathematical Modelling Programming and Computer Software  
Nelson in 60-th years of XX century and at the moment there are a lot of mathematical models of physical processes constructed in terms of those derivatives.  ...  An existence of solution theorem for those equations is obtained.  ...  Taking into account (11), we obtain L (1,v) (ρ(t, x)dt ∧ Λ α ) = 0. 2 Bulletin of the South Ural State University. Ser.  ... 
doi:10.14529/mmp150408 fatcat:mfugfhse25bppjqbejebfed3fe

ON THE CONCEPT, CONTENT, TYPES, KINDS AND EXISTING MODELS OF EXTRADITION
О ПОНЯТИИ, СОДЕРЖАНИИ, ТИПАХ, ВИДАХ И СЛОЖИВШИХСЯ МОДЕЛЯХ ЭКСТРАДИЦИИ

Oleg V. Voronin, Tomsk State University (Tomsk, Russian Federation)
2018 UGOLOVNAYa YuSTITsIYa  
ON THE CONCEPT, CONTENT, TYPES, KINDS AND EXISTING MODELS OF EXTRADITION Ugolovnaya yustitsiya -Russian Journal of Criminal Law, 2018, no. 11, pp. 37-40. DOI 10.17223/23088451/11/7 Oleg V.  ...  , the International Criminal Court) on the basis of and in accordance with the procedure established by the international treaties of the Russian Federation and the national law, or on the basis of the  ... 
doi:10.17223/23088451/11/7 fatcat:5l4k2zjjhbhmpp4urbqtgrkvmm

On the Existence of an Integer Solution of the Relaxed Weber Problem for a Tree Network

A.V. Panyukov
2019 Bulletin of the South Ural State University Series Mathematical Modelling Programming and Computer Software  
The criterion of optimality is the minimization of the total cost of deployment and the cost of communications. Placement of different tree vertices in one point of the installation space is allowed.  ...  This fact allows to prove the existence a saddle point while proving the performance of decomposition algorithms for problems different from problems because of additional restrictions.  ...  Mathematical Modelling, Programming & ComputerSoftware (Bulletin SUSU MMCS), 2019, vol. 12, no. 1, pp. 150-155 Bulletin of theSouth Ural State University. Ser.  ... 
doi:10.14529/mmp190114 fatcat:tnlycxuua5eojgwwq7637ra7dy

On the blow-up criterion and global existence of a nonlinear PDE system in biological transport networks

Bin Li, ,School of Mathematical Sciences, University of Electronic Science and Technology of China, Chengdu 611731, China, ,Department of Mathematics, Jincheng College of Sichuan University, Chengdu 611731, China
2019 Kinetic and Related Models  
We also show that the solutions exist globally in time under the some smallness conditions of initial data and of the source.  ...  We establish the local existence of strong solutions and present a blow-up criterion.  ...  The author is very grateful to the referee for his/her detailed comments and valuable suggestions, which greatly improved the manuscript, and to Professor Zhaoyin Xiang for suggesting this problem to him  ... 
doi:10.3934/krm.2019043 fatcat:b66buxaseza4dlnoofspf52xjy

Which Prior Mathematical Knowledge Is Necessary for Study Success in the University Study Entrance Phase? Results on a New Model of Knowledge Levels Based on a Reanalysis of Data from Existing Studies

Stefanie Rach, Stefan Ufer
2020 International Journal of Research in Undergraduate Mathematics Education  
Based on theoretical analysis of the demands in tertiary mathematics courses, we develop a mathematical test with 17 items in the domain of Analysis.  ...  So, the findings could contribute to more precise study advice and support before and while studying advanced mathematics at university.  ...  Compliance with Ethical Standards Conflict of Interest On behalf of all authors, the corresponding author states that there is no conflict of interest.  ... 
doi:10.1007/s40753-020-00112-x fatcat:gzwxngifdfc5hfdsiugrhthlzy

A global existence of classical solutions to the two-dimensional kinetic-fluid model for flocking with large initial data

Seung-Yeal Ha, ,Department of Mathematical Sciences and Research Institute of Mathematics, Seoul National University, Seoul 08826, Republic of Korea, Bingkang Huang, Qinghua Xiao, Xiongtao Zhang, ,Korea Institute for Advanced Study, Hoegiro 85, Seoul, 02455, Republic of Korea, ,School of Mathematics, Hefei University of Technology, Hefei 230009, China, ,Wuhan Institute of Physics and Mathematicss, Chinese Academy of Science, Wuhan 430071, China, ,Center for Mathematical Sciences, Huazhong University of Science and Technology, Wuhan 430074, China
2020 Communications on Pure and Applied Analysis  
For the global solvability of the coupled system, we present a sufficient framework for the global existence of classical solutions with large initial data which can contain vacuum using the weighted energy  ...  We extend an earlier global solvability result [20] in the one-dimensional setting to the two-dimensional setting.  ...  We would like to thank you for following the instructions above very closely in advance. It will definitely save us lot of time and expedite the process of your paper's publication.  ... 
doi:10.3934/cpaa.2020039 fatcat:ii5w6fhmtvgpxmcemnr7fextaq

Influence of Modeling on the Seismic Performance Assessment of an Existing Three Storey RC Building [article]

Alexandros D. Tolis, National Technological University Of Athens, National Technological University Of Athens, Μιχάλης Φραγκιαδάκης
2011
The paper focuses on the study of typical reinforced concrete structures build between the years 1950 and 1970 in Southern Europe.  ...  Response parameters, such as damage distribution and drift capacity, are analyzed to identify the limitations of numerical modeling, of each specific element, with respect to the investigated engineering  ...  Based on the logic of object-oriented programming, enables user to combine existing libraries with new components through appropriate parameters, in order to describe the mathematical model, without changing  ... 
doi:10.26240/heal.ntua.1747 fatcat:n35gbik4mbgnrnp5klskem7boe

On the existence of global-in-time weak solutions and scaling laws for Kolmogorovs two-equation model of turbulence [article]

Alexander Mielke, Joachim Naumann, University, My, University, My
2019
The main part of the paper consists in proving the existence of weak solutions of Kolmogorov's two-equation model under space-periodic boundary conditions in cubes with positive side length l.  ...  We first discuss scaling laws for a slightly more general two-equation models to highlight the special role of the model devised by Kolmogorov in 1942.  ...  existence of a sequence {u 0,ε } ε>0 which satisfies (5.3a) follows immediately from the condition on u 0 in (4.1), whereas the existence of sequences {ω 0,ε } ε>0 and {k 0,ε } ε>0 satisfying (5.3) can  ... 
doi:10.34657/2858 fatcat:5gknynd4evb2fgwyjp3xx3jibm

Which prior mathematical knowledge is necessary for study success in the university study entrance phase? : results on a new model of knowledge levels based on a reanalysis of data from existing studies [article]

Stefanie Rach, Stefan Ufer, Universitäts- Und Landesbibliothek Sachsen-Anhalt, Martin-Luther Universität
2022
Based on theoretical analysis of the demands in tertiary mathematics courses, we develop a mathematical test with 17 items in the domain of Analysis.  ...  So, the findings could contribute to more precise study advice and support before and while studying advanced mathematics at university.  ...  Acknowledgments We wish to thank the reviewers and the editor for their helpful suggestions. Funding Information Open Access funding provided by Projekt DEAL.  ... 
doi:10.25673/81571 fatcat:7lly52tbpbbhrn7d5yta7cuqha

USING NEW SITE TEMPLATES BASED ON MS SHAREPOINT

Lola Xalmedova, Ravshan Aliev
2022 Berlin Studies in Knowledge Research  
Features and capabilities of MS SharePoint, which is used on the basis of new site templates, are presented.  ...  This article discusses the use of new site templates for organizational data based on MS SharePoint.  ...  Improving the braking distance of the train before level crossing // InterConf. -2020. 3. National Open University "University of Internet Information Technologies"http://www.intuit.ru/. 4.  ... 
doi:10.47689/978-9943-7818-0-1-pp17-20 fatcat:gswmtohh3fc73mwzzh5f4vc2qe
« Previous Showing results 1 — 15 out of 4,754,234 results