Editorial: Implementing STEL
Introduces publication of new STEL Standards special issue of TET and highlights four articles on how teachers can implement STEL
more »
« less
- Award ID(s):
- 1904261
- PAR ID:
- 10210620
- Editor(s):
- de la Paz, K.
- Date Published:
- Journal Name:
- Technology and engineering teacher
- Volume:
- 80
- Issue:
- 3
- ISSN:
- 2158-0502
- Page Range / eLocation ID:
- 8
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
de la Paz, K. (Ed.)The concept of literacy and specifically technological and engineering literacy is difficult for practitioners of technology and engineering education to explain. As this concept is at the heart of the new STEL standards, the author explains this concept and provides applied examples.more » « less
-
Effective Ultrapowers and Applications; Aspects of Computation and Automata Theory with ApplicationsGreenberg, Noam; Jain, Sanjay; Ng, Keng Meng; Schewe, Sven; Stephan, Frank; Wu, Guohua; Yang, Yue (Ed.)We give a systematic account of the current state of knowledge of an e↵ective analogue of the ultraproduct construction. We start with a product of a uniformly computable sequence of computable structures indexed by the set of natural numbers. The equality of elements and sat- isfaction of formulas are defined modulo a subset of the index set, which is cohesive, i.e., indecomposable with respect to computably enumerable sets. We present an analogue of Lo ́s’s theorem for e↵ective ultraprod- ucts and a number of results on definability and isomorphism types of the e↵ective ultrapowers of the field of rational numbers, when the com- plements of cohesive sets are computably enumerable. These e↵ective ultraproducts arose naturally in the study of the automorphisms of the lattice of computably enumerable vector spaces. Previously, a number of authors considered related constructions in the context of nonstandard models of fragments of arithmetic.more » « less
An official website of the United States government

