Compactness=JEP in any logic
Volume 116 / 1983
                    
                    
                        Fundamenta Mathematicae 116 (1983), 99-108                    
                                        
                        DOI: 10.4064/fm-116-2-99-108                    
                                    
                                                                
                             
             
                                                             
                                                             
                                                             
                                                             
                                                             
                                                             
                                                         
                                                            