Literatura científica selecionada sobre o tema "Extensions compactes"

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Extensions compactes".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Extensions compactes"

1

Casanovas, Enrique. "Compactly expandable models and stability." Journal of Symbolic Logic 60, no. 2 (1995): 673–83. http://dx.doi.org/10.2307/2275857.

Texto completo da fonte
Resumo:
In analogy to ω-logic, one defines M-logic for an arbitrary structure M (see [5],[6]). In M-logic only those structures are considered in which a special part, determined by a fixed unary predicate, is isomorphic to M. Let L be the similarity type of M and T its complete theory. We say that M-logic is κ-compact if it satisfies the compactness theorem for sets of < κ sentences. In this paper we introduce the related notion of compactness for expandability: a model M is κ-compactly expandable if for every extension T′ ⊇ T of cardinality < κ, if every finite subset of T′ can be satisfied in
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Caicedo, Xavier. "A simple solution to Friedman's fourth problem." Journal of Symbolic Logic 51, no. 3 (1986): 778–84. http://dx.doi.org/10.2307/2274031.

Texto completo da fonte
Resumo:
AbstractIt is shown that Friedman's problem, whether there exists a proper extension of first order logic satisfying the compactness and interpolation theorems, has extremely simple positive solutions if one considers extensions by generalized (finitary) propositional connectives. This does not solve, however, the problem of whether such extensions exist which are also closed under relativization of formulas.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Zhang, Zhihua. "Approximation of Bivariate Functions via Smooth Extensions." Scientific World Journal 2014 (2014): 1–16. http://dx.doi.org/10.1155/2014/102062.

Texto completo da fonte
Resumo:
For a smooth bivariate function defined on a general domain with arbitrary shape, it is difficult to do Fourier approximation or wavelet approximation. In order to solve these problems, in this paper, we give an extension of the bivariate function on a general domain with arbitrary shape to a smooth, periodic function in the whole space or to a smooth, compactly supported function in the whole space. These smooth extensions have simple and clear representations which are determined by this bivariate function and some polynomials. After that, we expand the smooth, periodic function into a Fouri
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

van den Berg, Benno, and Ieke Moerdijk. "The axiom of multiple choice and models for constructive set theory." Journal of Mathematical Logic 14, no. 01 (2014): 1450005. http://dx.doi.org/10.1142/s0219061314500056.

Texto completo da fonte
Resumo:
We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Löf's type theory (hence acceptable from a constructive and generalized-predicative standpoint). In addition, it is strong enough to prove the Set Compactness theorem and the results in formal topology which make use of this theorem. Moreover, it is stable under the standard constructions from algebraic set theory, namely exact completion, realizability models, forcing as well as more gene
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Kim, Yong-Chan, and S. E. Abbas. "Some good extensions of compactness." Journal of Korean Institute of Intelligent Systems 13, no. 5 (2003): 614–20. http://dx.doi.org/10.5391/jkiis.2003.13.5.614.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Enayat, Ali. "Conservative extensions of models of set theory and generalizations." Journal of Symbolic Logic 51, no. 4 (1986): 1005–21. http://dx.doi.org/10.2307/2273912.

Texto completo da fonte
Resumo:
An attempt to answer the following question gave rise to the results of the present paper. Let be an arbitrary model of set theory. Does there exist an elementary extension of satisfying the two requirements: (1) contains an ordinal exceeding all the ordinals of ; (2) does not enlarge any (hyper) integer of ? Note that a trivial application of the ordinary compactness theorem produces a model satisfying condition (1); and an internal ultrapower modulo an internal ultrafilter produces a model satisfying condition (2) (but not (1), because of the axiom of replacement). Also, such a satisfying bo
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Paúl, Pedro J. "New applications of Pták's extension theorem to weak compactness." Czechoslovak Mathematical Journal 39, no. 3 (1989): 454–58. http://dx.doi.org/10.21136/cmj.1989.102316.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Gasparis, I. "An extension of James's compactness theorem." Journal of Functional Analysis 268, no. 1 (2015): 194–209. http://dx.doi.org/10.1016/j.jfa.2014.10.021.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Aygün, Halis, A. Arzu Bural, and S. R. T. Kudri. "Fuzzy Inverse Compactness." International Journal of Mathematics and Mathematical Sciences 2008 (2008): 1–9. http://dx.doi.org/10.1155/2008/436570.

Texto completo da fonte
Resumo:
We introduce definitions of fuzzy inverse compactness, fuzzy inverse countable compactness, and fuzzy inverse Lindelöfness on arbitrary -fuzzy sets in -fuzzy topological spaces. We prove that the proposed definitions are good extensions of the corresponding concepts in ordinary topology and obtain different characterizations of fuzzy inverse compactness.
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Pal, Arupkumar. "Regularity of operators on essential extensions of the compacts." Proceedings of the American Mathematical Society 128, no. 9 (2000): 2649–57. http://dx.doi.org/10.1090/s0002-9939-00-05611-2.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
Mais fontes
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!