Objetivo: Conocer cómo el estudiantado de enfermería evalúa la estrategia SQA (“Lo que Sé”, “Lo que Quiero saber” y “Lo que Aprendí”), en una universidad privada de Santiago de Chile. Métodos: Estudio cuantitativo, descriptivo, transversal. Muestra de tipo no aleatoria y por conveniencia, compuesta por 62 estudiantes. Se determinó la valoración sobre la estrategia SQA mediante un instrumento, luego de la interacción con la estrategia en sesiones de trabajo en aula. Este instrumento, confeccionado con 15 ítems por los autores, obtuvo confiabilidad alta. Se resguardaron aspectos éticos, utilizando consentimientos informados y encuestas anónimas Resultados: Participaron en total 62 estudiantes. Los ítems de la encuesta con mayor valoración fueron: i. Las instrucciones para llevar a cabo la metodología SQA (media 4,52), ii. Que se pregunte el aspecto “lo que aprendí” (4,50) y iii. Si se considera necesario que se instauren estrategias que permitan la autoevaluación (4,26). Los aspectos menos valorados fueron: i. Si la estrategia SQA debe ser considerada como actividad formativa (2,77), ii. Si la estrategia SQA motiva a seguir aprendiendo (3,61) y iii. Si la estrategia SQA permite demostrar que se aprendió sobre un tema tratado en la asignatura (3,74). Conclusiones: La incorporación de la estrategia SQA fue exitosa. Los aspectos con mayor valoración fueron las instrucciones entregadas, lo aprendido y la necesidad de implementar metodologías de autoevaluación. Los aspectos menos valorados de la estrategia fueron el uso como actividad formativa y la capacidad de esta técnica para motivar el aprendizaje.
In this paper we show that cut-free derivations in the epsilon format of sequent calculus provide for a non-elementary speed-up w.r.t. cut-free proofs in usual sequent calculi in first-order language.
For every $n \in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.
In this document, we study the Stone's duality theorem in the form proposed by Acosta, Balbes, Dwinger and Stone for distributive lattices. Generalice them to the context of general lattices and study some characterization of the distributive lattices in this theory.
We prove that in Borel models of arithmetic on an uncountable Polish space, neither addition nor multiplication is continuous. This is an analogue of Tennenbaum's Theorem for topological models of arithmetic. This answers a question of Enayat, Hamkins, and Wcisło.
We show that the weakest versions of Foreman's minimal generic hugeness axioms cannot hold simultaneously on adjacent cardinals. Moreover, conventional forcing techniques cannot produce a model of one of these axioms.
We study possibilities for almost $n$-ary and $n$-aritizable theories. Their dynamics both in general case, for $ω$-categorical theories, and with respect to operations for theories are described.
We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for $Π^1_1$-sets of positive measure to computability and semicomputability relative to the Suslin functional, alternatively to the (equivalent) Hyperjump.
We study $Σ^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".
A concept of abstract inductive definition on a complete lattice is formulated and studied. As an application, a constructive and predicative version of Tarski's fixed point theorem is obtained.
If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms introduced by Hamkins.
In the present paper we shall prove that countable ω-categorical simple CM-trivial theories and countable ω-categorical simple theories with strong stable forking are low. In addition, we observe that simple theories of bounded finite weight are low.
We study various notions of "tameness" for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.