Results 1 to 10 of about 1,021,911 (264)
The Role of Theory in Biology: How You Can Be, and Likely Already Are, a Theoretician [PDF]
Ecology and EvolutionTheory is an inextricable component of the scientific process. Nonetheless, many researchers have an uneasy relationship with theory. This paper provides tools to empower researchers to place their work within a theoretical framework, and to aid them in ...
Samuel M. Scheiner
doaj +2 more sources
Axioms, 2021 We prove some results in set theory as applied to general topology and model theory. In particular, we study ℵ1-collectionwise Hausdorff, Chang Conjecture for logics with Malitz-Magidor quantifiers and monadic logic of the real line by odd/even Cantor ...
Saharon Shelah
doaj +1 more source
The Axiomatic Approach to Non-Classical Model Theory
Mathematics, 2022 Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance on category theory. Here, we survey some developments over the last decade or so concerning the
Răzvan Diaconescu
doaj +1 more source
Model theory of operator algebras II: model theory [PDF]
Israel Journal of Mathematics, 2014 20 pages; references are not missing this ...
Farah, Ilijas +2 more
openaire +2 more sources
Algebras of Binary Isolating Formulas for Tensor Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2022 Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations.
D.Yu. Emel’yanov
doaj +1 more source
Algebras of Binary Isolating Formulas for Strong Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2023 Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emelyanov
doaj +1 more source
Sensors, 2021 Decision-making is an important part of human life and particularly in any engineering process related to a complex product. New sensors and actuators based on MEMS technologies are increasingly complex and quickly evolving into products.
Juan A. Martínez Rojas +4 more
doaj +1 more source
Black Holes and Complexity via Constructible Universe
Universe, 2020 The relation of randomness and classical algorithmic computational complexity is a vast and deep subject by itself. However, already, 1-randomness sequences call for quantum mechanics in their realization.
Jerzy Król, Paweł Klimasara
doaj +1 more source
Model integration and a theory of models [PDF]
Decision Support Systems, 1993 Model integration extends the scope of model management to include the dimension of manipulation as well. This invariably leads to comparisons with database theory. Model integration is viewed from four perspectives: Organizational, definitional, procedural, and implementational.
Dolk, Daniel R., Kottemann, Jeffrey E.
openaire +3 more sources
Statistical Relational Learning With Unconventional String Models
Frontiers in Robotics and AI, 2018 This paper shows how methods from statistical relational learning can be used to address problems in grammatical inference using model-theoretic representations of strings.
Mai H. Vu +5 more
doaj +1 more source