Results 21 to 30 of about 78,049 (169)
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond [PDF]
, 2010 We study finitely generated free Heyting algebras from a topological and from a model theoretic point of view. We review Bellissima’s representation of the finitely generated free Heyting algebra; we prove that it yields an embedding in the profinite ...
J.L. Darniere, M. Junker
core +4 more sources
Lindstrom theorems for fragments of first-order logic [PDF]
Logical Methods in Computer Science, 2009 Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem +2 more
doaj +1 more source
Automating Leibniz’s Theory of Concepts [PDF]
, 2015 Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’).
Alama, Jesse +2 more
core +2 more sources
The property of independence for Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 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
Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism [PDF]
, 2019 This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras.
A Baltag +45 more
core +9 more sources
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
Notre 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
Nuclear 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
Қарағанды университетінің хабаршысы. Математика сериясы, 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
Physical 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
An M-Theoretic Derivation of a 5d and 6d AGT Correspondence, and Relativistic and Elliptized Integrable Systems [PDF]
, 2016 We generalize our analysis in [arXiv:1301.1977], and show that a 5d and 6d AGT correspondence for SU(N) -- which essentially relates the relevant 5d and 6d Nekrasov instanton partition functions to the integrable representations of a q-deformed and ...
Tan, Meng-Chwan
core +1 more source