Results 51 to 60 of about 78,049 (169)
Some model-theoretic correspondences between dimension groups and AF algebras
Annals of Pure and Applied Logic, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
On relationships between algebraic properties of groups and rings in some model-theoretic contexts [PDF]
The Journal of Symbolic Logic, 2011 AbstractWe study relationships between certain algebraic properties of groups and rings definable in a first order structure or *-closed in a compact G-space. As a consequence, we obtain a few structural results about ω-categorical rings as well as about small, nm-stable compact G-rings, and we also obtain surprising relationships between some ...
openaire +3 more sources
Algebraic and model theoretic methods in constraint satisfaction
, 2015 This text is related to the tutorials I gave at the Banff International Research Station and within a "Doc-course" at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.
openaire +2 more sources
Arithmetic, Set Theory, Reduction and Explanation [PDF]
, 2018 Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress.
D’Alessandro, William
core
Weil Spaces and Weil-Lie Groups [PDF]
, 2014 We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the definition of a ...
Bertram, Wolfgang
core
Quantum Harmonic Oscillator as a Zariski Geometry
, 2013 We carry out a model-theoretic analysis of the Heisenberg algebra. To this end, a geometric structure is associated to the Heisenberg algebra and is shown to be a Zariski geometry.
Solanki, Vinesh +2 more
core
Mathematical model of “dialectical logic”, and relatively autonomous cognitive robots
Антиномии, 2019 The object of investigation is the notorious problem of “dialectical-logic”, and its relevance to constructing relatively autonomous cognitive robots. The subjectmatter is formal axiological aspect of the mentioned object.
Vladimir O. Lobovikov
doaj +1 more source
Methodological Innovations, 2011 Qualitative Comparative Analysis (QCA) is a case-based method, developed by Ragin (1987, 2000), to analyse medium-and large-n datasets. It uses Boolean algebra to show which configurations of factors in a model are either necessary and/or sufficient for ...
Stephanie Thomson
doaj +1 more source
Some model-theoretic results in the algebraic theory of quadratic forms
Annals of Pure and Applied Logic, 2001 Some model-theoretic properties of special groups of finite type are studied. Special groups are models of a first-order axiomatization of the algebraic theory of (reduced) binary quadratic forms over fields. They consist of a group \(G\) of exponent \(2\), a distinguished element \(-1\), and an `isometry' relation on pairs from \(G\).
openaire +2 more sources
Formal Semantics: Origins, Issues, Early Impact
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj +1 more source