Existence and Maximization

Abstract

1. {0}εx  DxH1 =  2. K: {0}εxK =  & KDxH1 =  D3. 3. K: {0}(x) =  & {0} x K & K = H1 & K(x) ∈ D D3.εu, β 4. KA: {0}[x/A] = K & K = H1 & K(x) ∈ D D2.0, G u H 5. A: {0}[x/A] = H1 & H1(x) ∈ D elim. K 6. A: {0}[x/A] = H1 & A\{} ∈ D D2.G..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

On the degree of incompleteness of modal logics.W. Blok - 1978 - Bulletin of the Section of Logic 7 (4):167-172.
Located sets and reverse mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
Monotonically Computable Real Numbers.Robert Rettinger, Xizhong Zheng, Romain Gengler & Burchard von Braunmühl - 2002 - Mathematical Logic Quarterly 48 (3):459-479.
A Characterization of the $\Delta _{2}^{0}$ Hyperhyperimmune Sets.Roland Sh Omanadze & Andrea Sorbi - 2008 - Journal of Symbolic Logic 73 (4):1407 - 1415.
Holomorphic line bundles and divisors on a domain of a Stein manifold.Makoto Abe - 2007 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 6 (2):323-330.
On the strength of Ramsey's theorem for pairs.Peter A. Cholak, Carl G. Jockusch & Theodore A. Slaman - 2001 - Journal of Symbolic Logic 66 (1):1-55.
Multiplicative valued difference fields.Koushik Pal - 2012 - Journal of Symbolic Logic 77 (2):545-579.
The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.
Degrees of difficulty of generalized r.e. separating classes.Douglas Cenzer & Peter G. Hinman - 2008 - Archive for Mathematical Logic 46 (7-8):629-647.
Le problème Des granDes puissances et celui Des granDes racines.Natacha Portier - 2000 - Journal of Symbolic Logic 65 (4):1675-1685.

Analytics

Added to PP
2010-10-24

Downloads
4 (#1,643,353)

6 months
4 (#1,004,663)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references