Some properties of invariant sets

In [1] two interesting invariance notions were introduced: the notions of a set of godel numbers being invariant to automorphisms of the structures ( ω , ·) and ( ω , E ) respectively. Here, · and E are defined by n · m ≃ φ n ( m ) and nEm if and only if n Є W m , where { φ n } and { W n } are accep...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of symbolic logic 1984-03, Vol.49 (1), p.9-21
1. Verfasser:	Byerly, Robert E.
Format:	Artikel
Sprache:	eng
Schlagworte:	Automorphisms Cardinality Degree of unsolvability Descendants Exact sciences and technology Infinite sets Logic and foundations Logical theorems Mathematical functions Mathematical logic, foundations, set theory Mathematics Recursion Recursion theory Recursive functions Sciences and techniques of general use
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!