Le domaine de cette thèse est la théorie des modèles, une branche de la logique mathématique.Ce travail porte sur l'étude d'une classe de théories, appelés théories NIP, qui inclut en particulier des corps ordonnés et corps valués. On y étudie plusieurs aspects. Tout d'abord, on définit une classe particulière de mesures sur ces structures, appelées "mesures génériquement stables". On montre qu'elles ont des propriétés analogues aux types dans une théorie stable, puis on donne des constructions pour en produire. On étudie aussi une forme faible de définissabilité des types. Enfin, on définit une notion de théories NIP "purement instable" et on montre comment on peut, dans le cas général, détecter des parties stables de types. / This thesis deals with model theory, a branch of mathematical logic.We study a particular class of theories called "NIP theories", which includes in particular some ordered fields and valued fields. We are interested in various aspects of those structures. First, we study a specific class of measures, which we call "generically stable measures". We show that they have properties analogous to those of types in a stable theory and we give some constructions to produce them. We also study a weak form of definability of types. Finally, we define a notion of a "purely unstable" NIP theory and show how, in general, we can detect the stable parts of types.

This cross-sectional study examined whether the Theory of Reasoned Action (TRA) and Technology Acceptance Model (TAM) apply to psychologists’ openness to using telepsychology, and to identify significant personal or environmental predictors of telepsychology adoption. A total of 1,791 licensed psychologists currently practicing psychotherapy in the United States were recruited to complete a previously developed 21-item pool. Personal and environmental characteristics were also collected. Path models representing the TRA, TAM, and a hybrid of both were tested. Also, a logistic regression was used to identify personal and environmental predictors of current use of telepsychology. Results indicated the TRA and TAM were a poor fit for modeling psychologists’ openness to using telepsychology. Adequate fit was found with a third model in which the perceived attitudes of others concerning telepsychology were associated with the perceived ease of use and usefulness of telepsychology. Perceived ease of use and usefulness of telepsychology were both uniquely associated with current use of telepsychology. Receiving telepsychology training, organizational policies concerning the use of telepsychology, treatment emphases, treatment setting, and practicing within a rural area were significant predictors of current use; however, individual characteristics such as age, race/ethnicity, and years of practice were not. Organizations interested in encouraging psychologists to adopt telepsychology should create policies supporting the use of telepsychology and provide adequate training. Government and regulatory entities seeking to ensure treatment for individuals currently restricted from mental health services by time or geography should create clear and consistent laws permitting and governing the use of telepsychology.

Model theory can express properties of algebraic subsets of complex n-space. The constructible subsets are precisely the first order definable subsets, and varieties correspond to maximal consistent collections of formulas, called types. Moreover, the topological dimension of a constructible set is equal to the Morley rank of the formula which defines it.

No description available.

Made available in DSpace on 2014-06-12T15:48:50Z (GMT). No. of bitstreams: 2 arquivo2717_1.pdf: 481883 bytes, checksum: bb9d70f42c1cda245b5340284b5dc431 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta tese, provamos que todo domínio infinito finitamente gerado é bi-interpretável com a estrutura dos números naturais. Usando este argumento, demonstramos que todo anel f.g. R que tem um ideal primo nilpotente I tal que R/I é um domínio é Quase-Finitamente Axiomatizável

No description available.

No description available.

We compute the partial isomorphism rank, in the sense Scott and Karp, of a pair of ordinal structures using an Ehrenfeucht-Fraisse game. A complete formula is proven by induction given any two arbitrary ordinals written in Cantor normal form.

No description available.

No description available.