Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Silver Machine
CHF 37.00
Auf Lager
SKU
18AR85JJGC9
1 Verfügbar 
Geliefert zwischen Do., 29.01.2026 und Fr., 30.01.2026
Details
High Quality Content by WIKIPEDIA articles! In set theory, Silver machines are devices used for bypassing the use of fine structure in proofs of statements holding in L. They were invented as a means of proving global square holds in the constructible universe. An ordinal is definable from a class of ordinals X if and only if there is a formula phi(mu0,mu1, ldots ,mun) and exists beta1, ldots , betan,gamma in X such that is the unique ordinal for which models{Lgamma} phi(alpha^circ,beta1^circ, ldots , beta^circn) where for all we define alpha^circ to be the name for within L . A structure langle X, , (hi){iomega} rangle is eligible if and only if: 1. X subseteq On. 2. is the ordering on On restricted to X. 3. forall i, hi is a partial function from Xk(i) to X, for some integer k(i). If N=langle X, , (hi){iomega} rangle is an eligible structure then N is defined to be as before but with all occurrences of X replaced with X cap lambda.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131165566
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131165566
- Format Fachbuch
- Titel Silver Machine
- Herausgeber Betascript Publishing
- Anzahl Seiten 64
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
