Generalized descriptive set theory and classification theory by Sy-david Friedman, Tapani Hyttinen, Vadim Kulikov

By Sy-david Friedman, Tapani Hyttinen, Vadim Kulikov

Descriptive set conception is principally serious about learning subsets of the gap of all countable binary sequences. during this paper the authors research the generalization the place countable is changed via uncountable. They discover homes of generalized Baire and Cantor areas, equivalence kin and their Borel reducibility. The examine indicates that the descriptive set idea seems very diverse during this generalized environment in comparison to the classical, countable case. in addition they draw the relationship among the steadiness theoretic complexity of first-order theories and the descriptive set theoretic complexity in their isomorphism family. The authors' effects recommend that Borel reducibility on uncountable constructions is a version theoretically common option to examine the complexity of isomorphism family members

Show description

Read Online or Download Generalized descriptive set theory and classification theory PDF

Best logic books

Technologically Enhanced Natural Radiation

This publication on TENR discusses the fundamental Physics and Chemistry rules of natural radiation. the present wisdom of the organic results of ordinary radiation is summarized. a large choice of issues, from cosmic radiation to atmospheric, terrestrial and aquatic radiation is addressed, together with radon, thoron, and depleted uranium.

Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

This booklet constitutes the lawsuits of the thirteenth overseas Workshop on Computational common sense in Multi-Agent platforms, CLIMA XIII, held in Montpellier, France, in August 2012. The eleven average papers have been rigorously reviewed and chosen from 27 submissions and provided with 3 invited papers. the aim of the CLIMA workshops is to supply a discussion board for discussing innovations, in keeping with computational good judgment, for representing, programming and reasoning approximately brokers and multi-agent platforms in a proper means.

Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

This publication constitutes the completely refereed post-conference court cases of the eighth foreign Workshop on Computational good judgment for Multi-Agent platforms, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the overseas convention on good judgment Programming. The 14 revised complete technical papers and 1 procedure description paper provided including 1 invited paper have been conscientiously chosen from 33 submissions and went via not less than rounds of reviewing and development.

Logic and the Nature of God

The publication '. .. may be guaranteed of the eye of the numerous on either side of the Atlantic who're eager about this topic. ' John Hick

Extra info for Generalized descriptive set theory and classification theory

Sample text

37. Theorem. Assume κ<κ = κ = ℵα > ω, κ is not weakly inaccessible (but note that the assumtion implies that κ is regular) and λ = |α + ω|. Then the following are equivalent. (1) There is γ < ω1 such that γ (λ) κ. (2) There is a complete countable T such that id B ∼ =T and ∼ =T B id. Proof. (2)⇒(1): Suppose that (1) is not true. Notice that then κ > 2ω . Then every shallow classifiable theory has < κ many models of power κ (see [8], item 6. ) and thus id B ∼ =T . On is not Borel by Theorem 69 the other hand if T is not classifiable and shallow, ∼ =T and thus it is not Borel reducible to id by Fact 6.

If i is a limit, i < λ, then let pi be an upper bound of {pj | j < i} which can be found in Mδi+1 by the assumptions (f), (e) and (b), and because / E. Finally let pλ be an upper bound of pi i<λ which exists because for Mδi ∩ κ ∈ all α ∈ i<λ sprt pi supi<λ ran pi (α) = Mδλ ∩ κ is not in E and the forcing is closed under such sequences. So pλ decides the whole τ . This completes the proof of the claim. Claim 1 So for simplicity, instead of Pκ+ let us work with Qκ+ . Claim 2. Let G be Pκ+ -generic over V .

We show first that identity on {η ∈ 2κ | η(0) = 1} reduces to ∼ =T . For all η ∈ 2κ , let Bη be a model of T of power κ such that if η(i) = 0, then the number 28 SY-DAVID FRIEDMAN, TAPANI HYTTINEN, and VADIM KULIKOV of equivalence classes isomorphic to Bi is countable and otherwise the number is κ. Clearly we can code Bη as ξη ∈ 2κ so that η → ξη is the required Borel reduction. We show then that ∼ =T Borel reduces to identity on X = {η : κ → (κ + 1)}. ∗ Since T is classifiable and shallow, for all δ, i < κ the set {η ∈ X| (Aη δ/E) L∗ ∼ = Ai } is Borel.

Download PDF sample

Rated 4.63 of 5 – based on 47 votes