Relatively constructible transitive models
Tom 96 / 1977
                    
                    
                        Fundamenta Mathematicae 96 (1977), 161-172                    
                                        
                        DOI: 10.4064/fm-96-3-161-172                    
                                    
                                                                
                             
             
                                                             
                                                             
                                                             
                                                             
                                                             
                                                             
                                                         
                                                            