Results 81 to 90 of about 33,998 (313)
Theoretical Computer Science, 2017 A model is an interpretation of the symbols of a theory which satisfies the axioms. This gives rise to the class of models for a theory which can be turned into a category with the associated model morphisms. But here may be some difficulties associated with this straightforward looking approach. Look at topological spaces, which may be specified among
openaire +1 more source
Proceedings of the American Mathematical Society, 1957 It is the purpose of this paper to show that Axiom A2 in Bourbaki's axiomatic system for set theory can be replaced by the weaker statement that every term x defines a set { x of which x is the only element. All references in the paper are to [1], and the terminology and notation of [1] are used.
openaire +2 more sources
Demand Dispersion, Metonymy and Ideal Panel Data [PDF]
In a generic competitive economy with constant returns production and "increasing dispersion," market demand satisfies the weak axiom of revealed preference and equilibrium is unique.
Michael Jerison
core
Form flows function: Learner‐centered game Re‐design in a STEM classroom
British Educational Research Journal, EarlyView.Abstract Re‐designing games facilitates interest‐driven learning and immerses learners in systems thinking. However, there are limited studies exploring how the form and function of tabletop games influence learners' design decisions and learning experiences. To address this gap, we conducted a mixed‐methods study in a STEM classroom in western Canada.
Farzan Baradaran Rahimi +2 more
wiley +1 more source
Counting cells can accurately predict small-molecule bioactivity benchmarks
Nature CommunicationsAccurately predicting the activity of a chemical in each bioactivity assay based on its already known properties is extremely useful in drug development.
Srijit Seal +16 more
doaj +1 more source
A Note on the Interval Function of a Disconnected Graph
Discussiones Mathematicae Graph Theory, 2018 In this note we extend the Mulder-Nebeský characterization of the interval function of a connected graph to the disconnected case. One axiom needs to be adapted, but also a new axiom is needed in addition.
Changat Manoj +3 more
doaj +1 more source
Logic and Logical Philosophy, 2022 The axiom of canonicity was introduced by the famous Polish logician Roman Suszko in 1951 as an explication of Skolem's Paradox (without reference to the L\"{o}wenheim-Skolem theorem) and a precise representation of the axiom of restriction in set theory proposed much earlier by Abraham Fraenkel.
openaire +1 more source