Pages that link to "Item:Q3956907"
From MaRDI portal
The following pages link to Archiv für mathematische Logik und Grundlagenforschung (Q3956907):
Displayed 7 items.
- Prefix classes of krom formulae with identity (Q3956908) (← links)
- Undecidability vs transfinite induction for the consistency of hyperarithmetical sets (Q3956932) (← links)
- Some diophantine forms of gödel's theorem (Q3956938) (← links)
- Interpolation, compactness and JEP in soft model theory (Q3958441) (← links)
- Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions (Q3960689) (← links)
- Eine Variante Des OrdinalzahlbezeichnungssystemsΣ (Q3960846) (← links)
- Interpolation in Logiken monotoner systeme (Q4745811) (← links)