Working within the Zermelo-Frankel Axioms of set theory, we will introduce two important contradictory axioms: Axiom of Choice and Axiom of Determinacy. We will explore perfect polish spaces and games on these spaces to see that the Axiom of Determinacy is inconsistent with the Axiom of Choice. We will see some of the major consequences of accepting the Axiom of Determinacy and how some of these results change when accepting the Axiom of Choice. We will consider 2-player games of perfect information wherein we will see some powerful results having to do with properties of the real numbers. We will use a game to illustrate a weak proof of the continuum hypothesis.

Thesis (Ph.D.)--Boston University / PLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis or dissertation. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and would like to request open access for it, please contact us at open-help@bu.edu. Thank you. / The problem of the dissertation is to discover what John Wesley meant by perfect love. Statements of both approbation and criticism regarding his doctrine are usually made from the vantage of various present-day interpretations. The goal of this study is to describe the type of perfection and love which was uppermost in Wesley's thought. The method used is motif analysis as it is developed by Anders Nygren in his book, Agape and Eros. Nygren's method and motifs (Agape, the New Testament motif; Eros, the Greek motif; Nomos, the Judaistic motif; and Caritas, Augustine's union of the Greek and New Testament motifs) are examined to determine their usefulness for research. While Nygren's description of Agape or New Testament love is not sufficiently complete, his description of the contrasting ways and systems of thought is sufficiently demonstrated to warrant the use of motif research . The method proved to be valuable in the examination of Wesley's thought [TRUNCATED] / 2031-01-01

Nosso objeto de estudo são os sistemas de spins com interações de longo alcance; em particular, estamos interessados em sistemas cuja probabilidade invariante é o modelo de Ising em A^S, onde A = {-1, 1} é o espaço de spins e S = Z^d é o espaço de sítios. Apresentamos dois resultados originais que são consequências da aplicação de algoritmos de simulação perfeita e de acoplamento no contexto da construção deste tipo de sistemas e de suas respectivas probabilidades invariantes. / Our object of interest are spin systems with long-range interactions. As a special case, we are interested in systems whose invariant measure is the Ising model on A^S, where A = {-1, 1} is the space of spins and S = Z^d is the space of sites. We present two original results that are byproducts of the application of Perfect Simulation and Coupling algorithms in the context of the construction of these spin systems and their respective invariant measures.

Nesta tese observa-se o papel que a semântica e a pragmática desempenham, na gramática inicial (early grammar) da interlíngua de falantes de português, na compreensão de textos em inglês e em espanhol nos quais se relatam eventos passados e se empregam as oposições Present Perfect x Past Simple e Pretérito Perfecto x Pretérito Indefinido. Assumimos (MICHAELLIS, 1998) que um dos valores mais fortes das formas compostas dessas duas línguas é o resultativo e que como o português, na maioria das vezes, expressa o resultado de outros modos, o aprendiz vê naquelas apenas uma maneira de expressar ações passadas. Em função disso, ao analisar a estrutura da língua estrangeira, acaba atribuindo aos tempos compostos de ambas os valores aspectuais das perífrases [TER+Particípio] e [ESTAR+Gerúndio] do português, que em muitos casos não coincide com os valores das formas perifrásticas das línguas que estão aprendendo. Enquanto as perífrases da língua estrangeira têm o aspecto perfectivo resultativo, as do português têm valor imperfectivo continuativo. Tal fato, que afeta a compreensão do texto, não é percebido pelos aprendizes. Estes analisam primeiramente a sintaxe da língua-alvo (top-down procedure, Liceras, 2003a) uma vez que não têm acesso aos traços que desencadeiam a fixação de parâmetros para a realização do bottom-up. O padrão de atribuição dos valores das perífrases da L1 para a L2 aparece nas interlínguas do espanhol e do inglês, apontando para um mesmo processo, independente de a língua-alvo ser mais ou menos próxima do português. Testes com análise de variância comprovam que se trata de um mesmo processo para as duas línguas, que começa a partir da reestruturação da L1, sugerindo que a aquisição dessa é regida pelos princípios da GU, mas que a marcação de parâmetros não acontecerá como na L1, mas se dará via reestruturação de porções da L1. Os valores semânticos utilizados na interlíngua, nesse estágio, também são os da L1, o que aponta que, assim como acontece com a fonologia, a criança nasce com sensibilidade para acessar qualquer valor semântico, mas existe um período crítico que faz com que a aquisição da L2 ocorra por reestruturação não apenas sintática mas também semântica dos valores da L1. A pragmática, por sua vez, será acessada, após a semântica, como uma sintonia fina do sentido / In this thesis, the roles of Semantics and Pragmatics in text comprehension tasks have been investigated in Portuguese speakers interlanguage early grammar. The texts in both English and Spanish had past events told employing Present Perfect x Past Simple and Pretérito Perfecto x Pretérito Indefinido pairings. We have adopted (Michaellis, 1998) that the English periphrasis has as its most salient meaning the resultative reading and have applied it to the Spanish periphrasis as well. Portuguese, on the other hand, expresses resultative meaning in different ways most of the times leading students to see in the Present Perfect and Pretérito Perfecto structures the past event meaning alone. Consequently, when analyzing the foreign language structures, learners end up assigning them the aspectual values which belong to the Portuguese [TER+Participle] and [ESTAR+Gerund] periphrases, despite their not sharing the same aspectual values most of the time, because the English and Spanish forms express the perfective and resultative aspect, while the Portuguese periphrasis indicates the imperfective and durative aspect. This mismatch affects text comprehension, but is not perceived by the students. Learners first analyze the target language structure (topdown procedure, Liceras, 2003a), once they cannot have access to the features which trigger the parameter setting, precluding a bottom-up procedure. The same pattern of value assignment from the L1 periphrasis to both L2 is noticeable in both English and Spanish interlanguages. Analysis of Variance tests have proven that both interlanguages undergo the same process, which starts from L1 reestructuring. This fact suggests that adult L2 learner will make use of UG principles, but will not set parameters the way children do, L2 will grow by reestructuring portions of L1. The semantic values applied in both English and Spanish interlanguages at this stage, are L1?s as well, allowing a comparison to the phonology acquisition. Children are born sensitive to any semantic value, but due to a critical period for semantics, adult L2 learners will acquire L2 semantic values by reestructing not only the syntax of L1 but also its semantic values. Learners will have access to pragmatics, after semantics, as a fine-tuned meaning

No presente trabalho apresentamos o algoritmo de simulacão perfeita CFTP, proposto em Propp & Wilson (1996). Seguindo o trabalho de Philippe & Robert (2003) implementamos o CFTP gerando amostras da distribuicão normal bivariada truncada no quadrante positivo. O algoritmo proposto e comparado com o amostrador de Gibbs e o método de rejeição. Finalmente, apresentamos sugestões para a implementação do CFTP para gerar amostras da distribuição normal truncada em dimensões maiores que dois e a geração de amostras em conjuntos diferente do quadrante positivo. / This project will display the CFTP perfect simulation algorithm presented at Propp & Wilson (1996). According to Philippe & Robert (2003) will be implemented the CFTP providing samples of the bivariate normal distribution truncated at the positive quadrant. The proposed algorithm is compared to the samples generated by Gibbs Sampler and by the rejection sampling ( or acceptance rejection method or \"accept-reject algorithm\"). Finally, suggestions to the implementation of CFTP in order to produce truncated normal distribution samples at bigger dimensions than two and the provide a diferent set of samples from the positive quadrant.

Nesta tese consideramos uma nova classe de sistemas markovianos de partículas com infinitas componentes interagentes. O sistema representa a evolução temporal dos potenciais de membrana de um conjunto infinito de neurônios interagentes. Provamos a existência e unicidade do processo construindo um pseudo-algoritmo de simulação perfeita e mostrando que este algoritmo roda em um número finito de passos quase certamente. Estudamos também o comportamento do sistema quando consideramos apenas um conjunto finito de neurônios. Neste caso, construímos um procedimento de simulação perfeita para o acoplamento entre o processo limitado a um conjunto finito de neurônios e o processo que considera todos os neurônios do sistema. Como consequência encontramos um limitante superior para a probabilidade de discrepância entre os processos. / We consider a new class of interacting particle systems with a countable number of interacting components. The system represents the time evolution of the membrane potentials of an infinite set of interacting neurons. We prove the existence and uniqueness of the process, by the construction of a perfect simulation procedure. We show that this algorithm is successful, that is, we show that the number of steps of the algorithm is finite almost surely. We also study the behaviour of the system when we consider only a finite number of neurons. In this case, we construct a perfect simulation procedure for the coupling of the process with a finite number of neurons and the process with a infinite number of neurons. As a consequence we obtain an upper bound for the error we make when sampling from a finite set of neurons instead of the infinite set of neurons.

Diplomová práce se snaží poskytnout ucelený pohled na známé poznatky z oblasti teorie opakovaných jako části teorie her. Teoretická část se zabývá předpoklady, výpočetními principy a rovnovážnými strategiemi pro opakované hry. V praktické části je teorie aplikována na oblast petrochemického průmyslu, konkrétně na konkurenci dvou čerpacích stanic v rámci prostorově vymezeného trhu.

No presente trabalho apresentamos o algoritmo de simulacão perfeita CFTP, proposto em Propp & Wilson (1996). Seguindo o trabalho de Philippe & Robert (2003) implementamos o CFTP gerando amostras da distribuicão normal bivariada truncada no quadrante positivo. O algoritmo proposto e comparado com o amostrador de Gibbs e o método de rejeição. Finalmente, apresentamos sugestões para a implementação do CFTP para gerar amostras da distribuição normal truncada em dimensões maiores que dois e a geração de amostras em conjuntos diferente do quadrante positivo. / This project will display the CFTP perfect simulation algorithm presented at Propp & Wilson (1996). According to Philippe & Robert (2003) will be implemented the CFTP providing samples of the bivariate normal distribution truncated at the positive quadrant. The proposed algorithm is compared to the samples generated by Gibbs Sampler and by the rejection sampling ( or acceptance rejection method or \"accept-reject algorithm\"). Finally, suggestions to the implementation of CFTP in order to produce truncated normal distribution samples at bigger dimensions than two and the provide a diferent set of samples from the positive quadrant.

Nosso objeto de estudo são os sistemas de spins com interações de longo alcance; em particular, estamos interessados em sistemas cuja probabilidade invariante é o modelo de Ising em A^S, onde A = {-1, 1} é o espaço de spins e S = Z^d é o espaço de sítios. Apresentamos dois resultados originais que são consequências da aplicação de algoritmos de simulação perfeita e de acoplamento no contexto da construção deste tipo de sistemas e de suas respectivas probabilidades invariantes. / Our object of interest are spin systems with long-range interactions. As a special case, we are interested in systems whose invariant measure is the Ising model on A^S, where A = {-1, 1} is the space of spins and S = Z^d is the space of sites. We present two original results that are byproducts of the application of Perfect Simulation and Coupling algorithms in the context of the construction of these spin systems and their respective invariant measures.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / Nesta dissertaÃÃo, tratamos da gramaticalizaÃÃo do pretÃrito perfeito composto em LÃngua Portuguesa. Abordamos a mudanÃa linguÃstica, partindo da correlaÃÃo forma(s)-funÃÃo(Ães) em dois eixos de anÃlise: (i) o continnum de gramaticalizaÃÃo de ter/haver (pleno) + particÃpio adjetival > ter/haver (auxiliar) + particÃpio verbal e (ii) a variaÃÃo linguÃstica na codificaÃÃo do tempo passado perfectivo anterior ao momento da fala. Duas abordagens teÃricas embasam a pesquisa: o Funcionalismo linguÃstico, voltado à gramaticalizaÃÃo e a Teoria da VariaÃÃo e MudanÃa LinguÃstica, estabelecendo, dessa forma, um modelo sociofuncionalista de investigaÃÃo. Para isso, utilizamos narrativas em prosa dos sÃculos XV, XVI e XVII, perÃodo de transiÃÃo e fixaÃÃo da LÃngua Portuguesa. No que concerne à gramaticalizaÃÃo, foram investigados os parÃmetros de gramaticalizaÃÃo de Lehmann (2002[1985]) â Integridade, Paradigmaticidade, Variabilidade paradigmÃtica, Escopo, Conexidade, Variabilidade sintagmÃtica â a modalidade, o tempo em relaÃÃo à referÃncia e o tipo de verbo. No que diz respeito à variaÃÃo, foram analisados a modalidade, o aspecto, a natureza semÃntica dos argumentos, o tipo de verbo, a referÃncia temporal â textual e o perÃodo histÃrico. Desses fatores mostram-se relevantes para o condicionamento a relaÃÃo entre tempo e referÃncia, a natureza semÃntica do sujeito, o aspecto e o perÃodo histÃrico. Essa proposta se mostra relevante, porque, alÃm de atestar o uso o pretÃrito perfeito composto ao longo da histÃria da linguÃstica do PortuguÃs como as pesquisas anteriores sobre o tema, investiga os fatores que condicionaram a mudanÃa de ter/haver + particÃpio passado sob a Ãtica sociofuncionalista. / In this dissertation, we deal with the grammaticalization of past tense compound in Portuguese. We discuss linguistic change, based on the correlation form(s)-function(s) in two lines of analysis: (I) the grammaticalization continuum of to have/there to be (full) + adjectival participle > to have/there to be (auxiliary) + verb participle and (ii) the linguistic variation in coding the perfective past tense before the moment of speech. Two theoretical approaches base the research: the linguistic Functionalism, focused on grammaticalization, and the Theory of Linguistic Variation and Change, establishing thus a socio-functionalist research model. For this, we used narratives in prose from the XV, XVI and XVII centuries, Portuguese transition and fixation moment. Regarding grammaticalization, we investigated Lehmannâs (2002[1985]) grammaticalization parameters - Integrity, Paradigmaticity, Paradigmatic Variability, Scope, Bondedness, Syntagmatic Variability - modality, reference time and verb type. Regarding variation, we investigated modality, aspect, semantic nature of arguments, type of verb, time and textual reference and the historical moment. Out of these factors, the ones shown as relevant for conditioning were time and reference relation, semantic nature of the subject, aspect and historical moment. This proposal is relevant because, besides attesting the past tense compound use made throughout Portuguese history as previous research has done on the topic, it investigates the factors that condition to have/there to be + past participle change from the socio-functionalist viewpoint.