Worauf beziehen sich Objekte in der Substruktur?

Question

Worauf beziehen sich Objekte in der Substruktur?

Logik
Mengenlehre
Mathematik
Modelltheorie

wie

Erstens ist eine Kardinalzahl κ genau dann unzugänglich, wenn κ die folgende Spiegelungseigenschaft hat: Für alle Teilmengen U ⊂ V _κ existiert α < κ, so dass $(V_\alpha,\in,U\cap V_\alpha)$ ist eine elementare Unterstruktur von $(V_\kappa,\in,U)$ .

Aber normalerweise für eine Struktur, $(A,\sigma,I)$ $A$ würde sich auf die Domäne beziehen, $\sigma$ wäre Unterschrift und $I$ wäre Interpretation - also in diesem Fall, was sind drei Objekte drin $( \, \, \, )$ im Zitat beziehen sich auf?

Antworten (1)

Worauf beziehen sich Objekte in der Substruktur?

Benutzer642796 · Answer 1

Für Modelle der (Fragmente der) Mengenlehre, in der Struktur $( V , \in , A )$ der Satz $A$ wird als neue unäre Relation angenommen, so dass $A(x)$ hält iff $x \in A$ . (Das sind also technisch Strukturen über eine andere Sprache, die zusätzlich zur Binärdatei hat $\in$ ein zusätzliches unäres Beziehungssymbol).

Worauf beziehen sich Objekte in der Substruktur?

wie

Antworten (1)

Benutzer642796

Jedes ZFC-Modell hat ein Element, das ein ZFC-Modell ist

Warum haben Modelle von ZF, die keine ωω\omega-Modelle sind, nicht standardisierte Formeln, deren Länge "unendlich große natürliche Zahlen" sind?

Fragen zum Konzept von Struktur, Modell und formaler Sprache

Wie GENAU stört Tarskis Undefinierbarkeit der Wahrheit die Definition von ⊨⊨\vDash für richtige Klassen, und warum nicht für Mengen?

Zeigen, dass κκ\kappa in Ultrapower schwach kompakt ist.

Kennen wir den Index des minimalen Stadiums im konstruierbaren Universum, das ein Modell von ZFCZFCZFC ist?

Verfolgen der richtigen Klassen vs. Sets, wenn gezeigt wird, dass ZFC ein zählbares Modell hat (vorausgesetzt, ZFC ist konsistent)

Absolutheit verstehen

Kann eine Theorie ihre auf eine Menge relativierten Axiome (schematisch) beweisen?

Verwenden von Compactness, um eine nicht konstruierbare Menge zu finden