150 views

Uploaded by Jaykov Foukzon

- 3 том.pdf
- Paper Presentation-schedule (JAN 22-2)
- 1074-jasr
- 3 ТОМ.
- Phipps 1
- Lobs Theorem4
- Lobs Theorem4
- Inconsistent countable set in second order ZFC and nonexistence of the strongly inaccessible cardinals.consistency results in topology. Non
- There is No Standard Model of ZFC2
- Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals
- Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible Cardinals
- Geometry of noninertial bases in relativistic mechanics of continua and Bell’s problem solution
- Inconsistent Countable Set 5
- Inconsistent Countable Set 5
- Inconsistent Countable Set.
- Inconsistent Countable Set4.
- Electrodynamics of a Continuous Medium in a System with Specified Structure
- Inconsistent Countable Set.
- Inconsistent Countable Set v2
- Inconsistent Countable Set v2

You are on page 1of 1

Jaykov Foukzon* (jaykovfoukzon@list.ru), , Israel. Inconsistent countable set. Preliminary report. Let Th be some xed, but unspecied, consistent formal theory.To each formula F of the language of Th is assigned a closed term,[F] ,called the code of F.Let Pr(y) be a predicate asserting provability [1-2].Def.1.An Th-w that is wellformed formula [2].Def.2.Th is a nice theory i (i) Th contains ZFC and (ii) let F be closed then Th Pr([F]) implies Th F Def.3.Let G(z) be a one-place open w such that: (*) Th E!x[G(x)].Then we said that, an set y is a Th-set i there is exist a one-place open Th-w G(z) and y=x for some x such that Th Ex[G(x)] and condition (*) is satised.Def.4. Let R* be a collection such that x[x R* Pr([(x is a Th-set)& (x x)])].Prop.1. Collection R* is a set.Prop.2.(i)Th ER*,(ii) Th R* is a countable Th-set.Prop.3.Suppose that Th is a nice theory. Then Th a set R* is inconsistent.[1] C.Smorynski, Handbook of mathematical logic,Edited by J.Barwise. North-Holland Publishing Company, 1977.[2] J.Foukzon. Inconsistent countable set. http://ru.scribd.com/doc/115012011/Inconsistent-Countable-Set-v2 (Received December 05, 2012) THIS IS ONLY A PREVIEW. YOUR SUBMISSION IS NOT COMPLETE UNTIL YOU RETURN TO THE ORIGINAL WINDOW AND CLICK THE Submit abstract BUTTON.

- 3 том.pdfUploaded byJaykov Foukzon
- Paper Presentation-schedule (JAN 22-2)Uploaded byJaykov Foukzon
- 1074-jasrUploaded byJaykov Foukzon
- 3 ТОМ.Uploaded byJaykov Foukzon
- Phipps 1Uploaded byJaykov Foukzon
- Lobs Theorem4Uploaded byJaykov Foukzon
- Lobs Theorem4Uploaded byJaykov Foukzon
- Inconsistent countable set in second order ZFC and nonexistence of the strongly inaccessible cardinals.consistency results in topology. NonUploaded byJaykov Foukzon
- There is No Standard Model of ZFC2Uploaded byJaykov Foukzon
- Inconsistent Countable Set in Second Order ZFC and Nonexistence of the Strongly Inaccessible CardinalsUploaded byJaykov Foukzon
- Uploaded byJaykov Foukzon
- Geometry of noninertial bases in relativistic mechanics of continua and Bell’s problem solutionUploaded byJaykov Foukzon
- Inconsistent Countable Set 5Uploaded byJaykov Foukzon
- Inconsistent Countable Set 5Uploaded byJaykov Foukzon
- Inconsistent Countable Set.Uploaded byJaykov Foukzon
- Inconsistent Countable Set4.Uploaded byJaykov Foukzon
- Electrodynamics of a Continuous Medium in a System with Specified StructureUploaded byJaykov Foukzon
- Inconsistent Countable Set.Uploaded byJaykov Foukzon
- Inconsistent Countable Set v2Uploaded byJaykov Foukzon
- Inconsistent Countable Set v2Uploaded byJaykov Foukzon
- S. a. Podosenov2Uploaded byJaykov Foukzon
- Svozil Quantum Field Theory on Fractal Space-timeUploaded byJaykov Foukzon
- 3 Inconsistent Countable SetUploaded byJaykov Foukzon