Statements (14)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            
                                            structures in first-order logic
                                        
                                        
                                         | 
                            
| gptkbp:describes | 
                                    
                                        
                                            
                                            complexity of definable sets
                                        
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:model_theory
                                        
                                         | 
                            
| gptkbp:introducedIn | 
                                    
                                        
                                            
                                            1960s
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Michael_Morley
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            
                                            Morley degree
                                        
                                        
                                         | 
                            
| gptkbp:similarTo | 
                                    
                                        
                                            
                                            dimension in algebraic geometry
                                        
                                        
                                         | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            gptkb:logic
                                        
                                         stability theory  | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Model_Theory
                                        
                                         gptkb:Classification_Theory  | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            7
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Morley rank
                                        
                                        
                                         |