El libro explora la memoria, la identidad y la construcción de la experiencia artística a través de la cerámica contemporánea. Reivindica el valor del hacer cerámico en el arte actual. Postula la sostenibilidad, inclusión, interculturalidad e innovación como elementos clave en la práctica cerámica.
We introduce and study some general principles and hierarchical properties of expansions and restrictions of structures and their theories The general approach is applied to describe these properties for classes of $ω$-categorical theories and structures, Ehrenfeucht theories and their models, strongly minimal, $ω_1$-theories, and stable ones.
The first-order model theory of modules has been studied for decades. More recently, the model theoretic study of nonelementary classes of modules--especially Abstract Elementary Classes of modules--has produced interesting results. This survey aims to discuss these recent results and give an introduction to the framework of Abstract Elementary Classes for module theorists.
We study definable J-sets for definable groups and compare them with weakly generic sets. We show that the property that J-sets coincide with weakly generic sets is invariant on enough saturated models, and hence a model-theoretical property. We have positive results for superstable commutative groups and some easy examples in pCF. We also give an example for noncoincidence.
We prove that the constructive and intuitionistic variants of the modal logic $\mathsf{KB}$ coincide. This result contrasts with a recent result by Das and Marin, who showed that the constructive and intuitionistic variants of $\mathsf{K}$ do not prove the same diamond-free formulas.
We characterize having Borel isomorphism relation among some weakly minimal trivial theories, namely the examples of families of finite equivalence relations from recent joint work with Laskowski, and tame expansions of crosscutting-equivalence relations. We also prove a dichotomy in Borel complexity for the latter.
We give a notion of Scott rank for separable metric structures based on the definability of the (metric closures of) automorphism orbits in continuous infinitary logic. This is a continuous analogue of work of Montalbán for countable structures. In the process, we prove some results concerning definability, type omitting, and back-and-forth for metric structures.
We obtain bounds on the cardinality of $pcf(\mathfrak{a})$ from instances of weak diamond. Consequently, under mild assumptions there are many singular cardinals of the from $\aleph_δ$ for which $2^{\aleph_δ}<\aleph_{(|δ|^{+3})}$. For example, if every limit cardinal is a strong limit cardinal then this bound holds at a class of singular cardinals.
It is shown that there is $N$ such that there is no algorithm to decide for identities in at most $N$ variables validity in the class of finite modular lattices. This is based on Slobodskoi's result that the Restricted Word Problem is unsolvable for the class of finite groups and relies on Freese's technique of capturing group presentations within free modular lattices.
Yen-Min Huang, Wan-Ming Chen, Mingchih Chen
et al.
Background: Diabetic nephropathy is a common cause of chronic kidney disease (CKD) and end-stage kidney disease (ESKD) worldwide and results in tremendous wastage of medical resources. Determining the indicators of diabetic nephropathy, such as sarcopenia, and implementing early interventions to prevent disease progression is crucial. Purpose: The effect of sarcopenia on the risk of severe diabetic nephropathy in patients with type 2 diabetes (T2DM) remains unclear. Patients and Methods: We recruited patients with T2DM and categorized them into two groups, propensity score–matched at a ratio of 1:1, according to whether they had sarcopenia. We subsequently compared the groups’ risk of severe diabetic nephropathy. Results: The matching process yielded a final cohort of 105,166 patients with T2DM (52,583 and 52,583 in the sarcopenia and nonsarcopenia groups, respectively) who were eligible for inclusion in subsequent analyses. According to both the univariate and multivariate Cox regression analyses, the adjusted hazard ratio (aHR) (95% confidence interval) of severe diabetic nephropathy for the sarcopenia diabetes group compared with the control group was 1.10 (1.08–1.13; p < 0.001). Conclusion: The patients with T2DM and sarcopenia were at a higher risk of severe diabetic nephropathy than were those without sarcopenia. Our results may serve as a valuable reference for relevant government authorities in establishing health policies to promote early detection of sarcopenia and exercise to help patients with T2DM overcome sarcopenia.
William Elvis Plata Quezada, Liliana Rueda Cáceres
Este artículo presenta resultados parciales del proyecto de investigación “Diversidad religiosa y arquitectura en Colombia”. A partir de observación directa, entrevistas, estudio planimétrico y revisión documental, se realizó un análisis histórico, social y arquitectónico a quince lugares de culto representativos de grupos religiosos significativos en Colombia, teniendo en cuenta variables que interrelacionan el espacio sagrado con las representaciones y expresiones religiosas. En concreto, el estudio tuvo en cuenta información relacionada con cuatro variables: a) contexto, b) Forma, c) Funcionalidad y d) Significado. En esta oportunidad se exponen los significados que dirigentes religiosos, feligresía y visitantes otorgan a los espacios estudiados, en cuanto a: sacralidad, condición histórico-patrimonial, y condición estética. Se concluye que los espacios religiosos son lugares altamente simbólicos, cuyos significados son otorgados bien por interés expreso de sus creadores, o bien por la interpretación que fieles y visitantes hacen de ellos. Dichos significados no son estáticos y evolucionan con el tiempo y según los cambios contextuales. Tales significados pueden aludir y basarse en referentes tradicionales, como pueden ser completamente nuevos, no historicistas y hasta neutrales. Por otra parte, el espacio religioso es, ante todo, un lugar que permite el encuentro con la divinidad, por supuesto, pero sobre todo, con el otro, necesidad vital para los seres humanos. Ahí está la gran valoración que propios y visitantes le otorgan.
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces correspond to properties that the logic might enjoy, like the deduction theorem or the existence of a disjunction.
[Spanish] En el presente ensayo se cuestionará la vigencia de las premisas sobre lo cómico propuestas por Henri Bergson en «Le rire. Essai sur la signification du comique», separando los mecanismos a través de los que se articula lo risible de su base teórica. Tras una lectura crítica de «Le rire» enfrentará los mecanismos de lo cómico a pasajes de «El Mercader de Venecia», «Julio César» «Hamlet», y «La duodécima noche» de William Shakespeare, en aras de esforzar el funcionamiento de los mecanismos bergsonianos con sus distintas aplicaciones para comprobar si pueden explicar cómo se articula lo risible en estas obras. Luego, enfrentaremos «Le rire» con la interpretación crítica de D.H. Monro en «Argument of laughter». Finalmente, haremos una reflexión sobre los límites de los mecanismos de Bergson, buscando establecer qué utilidad puede tener un vocabulario común desde el cual adentrarse a la interpretación de las partes cómicas de una obra, o como el eje desde donde se puedan generar nuevos acercamientos al texto. [English] This thesis departs from the ideas Henri Bergson put forward in "Le rire". Studying the applications of Bergsonian mechanisms of laughter as tools to further the understanding of a literary work, some comedies and tragedies of Shakespeare will be analyzed with Bergsonian tools in order to test the limits of how useful they are in creating a cohesive language by which that that is laughable may be described.
In this short note we give a proof of Liouville's theorem (every bounded entire complex function is constant) following Peterzil and Starchenko's approach to complex analysis via o-minimality.
I show that propositional intuitionistic logic is complete with respect to an adaptation of Dummett's pragmatist justification procedure. In particular, given a pragmatist justification of an argument, I show how to obtain a natural deduction derivation of the conclusion of the argument from, at most, the same assumptions.
In this article we survey the development of generic and coarse computability and the main results on how classical asymptotic density interacts with the theory of computability.
We prove that the problems of representing a finite ordered complemented semigroup or finite lattice-ordered semigroup as an algebra of binary relations over a finite set are undecidable. In the case that complementation is taken with respect to a universal relation, this result can be extended to infinite representations of ordered complemented semigroups.
We investigate the reverse mathematics strength of Martin's pointed tree theorem (MPT) and one of its variants, weak Martin's pointed tree theorem (wMPT).
We consider modal logics of products of neighborhood frames and prove that for any pair $L$ and $L'$ of logics from set $\{S4, D4, D, T\}$ modal logic of products of $L$-neighborhood frames and $L'$-neighborhood frames is the fusion of $L$ and $L'$.