Results 1 to 10 of about 70 (60)

Algebras of Binary Isolating Formulas for Strong Product Theories

Bulletin of Irkutsk State University, Series Mathematics, 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. These algebras are useful for classifying theories and determining which algebras correspond to which theories.
exaly   +2 more sources

Algebras of Binary Isolating Formulas for Tensor Product Theories

Bulletin of Irkutsk State University, Series Mathematics, 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. These algebras are related to the following natural classification questions: 1) for a given class of theories, determine which algebras correspond to theories from that class,
exaly   +2 more sources

Algebras of Binary Isolating Formulas for Theories of Root Products of Graphs

Bulletin of Irkutsk State University, Series Mathematics, 2021
Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types. These algebras are associated with the following natural classification questions: 1) for a given class of theories, determine which algebras correspond to the theories from
exaly   +2 more sources

Forcing of Infinity and Algebras of Distributions of Binary Semi-isolating Formulas for Strongly Minimal Theories [PDF]

Mathematics and Statistics, 2014
We apply a general approach for distributions of binary isolating and semi-isolating formulas to the class of strongly minimal theories.
exaly   +3 more sources

Algebras of Binary Isolating Formulas for Homomorphic Product Theories

Bulletin of Irkutsk State University, Series Mathematics
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. These algebras are useful for classifying theories and determining which algebras correspond to which theories.
exaly   +3 more sources

Algebras of binary isolating formulas for theories of modular products of graphs

Bulletin of the Karaganda University-mathematics
This article discusses the problems of constructing and classifying algebras generated by modular products of cycles. We demonstrate that algebras of binary isolating, used to analyze relationships between binary formulas of a theory, can be naturally interpreted in terms of metric properties of graphs.
exaly   +2 more sources

Algebras of distributions of binary semi-isolating formulas for families of isolated types and for countably categorical theories [PDF]

International Mathematical Forum, 2014
We apply a general approach for distributions of binary isolating and semi-isolating formulas to families of isolated types and to the class of countably categorical theories.
openaire   +2 more sources

Algebras of distributions of binary isolating formulas of a complete theory

, 2012
41 pages, 1 ...
Shulepov, Ilya V., Sudoplatov, Sergey V.
openaire   +2 more sources

An exciting Approach to Theoretical Spectroscopy

Advanced Science, EarlyView.
ABSTRACT Theoretical spectroscopy, and more generally, electronic‐structure theory, are powerful concepts for describing the complex many‐body interactions in materials. They cover methods from ground‐state properties to lattice excitations and light‐matter interaction, including time‐resolved variants.
Martí Raya‐Moreno, Alexander Buccheri, Noah Alexy Dasch, Nasrin Farahani, Ignacio Gonzalez Oliva, Andris Gulans, Seokhyun Hong, Manoar Hossain, Hannah Kleine, Martin Kuban, Sven Lubeck, Benedikt Maurer, Pasquale Pavone, Fabian Peschel, Daria Popova‐Gorelova, Lu Qiao, Elias Richter, Santiago Rigamonti, Ronaldo Rodrigues Pela, Maximilian Schebek, Kshitij Sinha, Daniel T. Speckhard, Jan Stutz, Sebastian Tillack, Dmitry Tumakov, Jānis Užulis, Mara Voiculescu, Cecilia Vona, Mao Yang, Claudia Draxl   +29 more
wiley   +1 more source

Resolving passive heat transfer and phase‐change heat in cryogenic CO2 deposition (Desublimation) from CO2/N2 mixtures

AIChE Journal, EarlyView.
Abstract In cryogenic CO2 desublimation systems where phase change dominates both heat transfer and separation, conventional lumped thermal‐resistance treatments embed interfacial latent heat into an overall heat‐transfer coefficient, obscuring how phase‐change heat is partitioned between the gas phase and the coolant and limiting diagnostic insight ...
Shengwen Xiao, Hiroshi Machida, Koyo Norinaga   +2 more
wiley   +1 more source