Global inductive definability (Q4177549)
From MaRDI portal
scientific article; zbMATH DE number 3613017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Global inductive definability |
scientific article; zbMATH DE number 3613017 |
Statements
Global inductive definability (English)
0 references
1978
0 references
Jacobson Radicals
0 references
Back-And-Forth
0 references
Ultra-Products
0 references
Finitely Generated Substructures
0 references
Pairing Functions
0 references
Verifiability Relations
0 references
Omitting Types
0 references
Inductive Definability
0 references
Closure Ordinals
0 references
Morley-Shelah Ranks Of Formulas
0 references
Noetherian Rings
0 references
Karp-Scott Analysis
0 references
Infinitary Logics On Admissible Sets
0 references
Nilpotence Indices
0 references
Two-Sorted Structures
0 references
Morley Rank
0 references
