Switch to: Citations

Add references

You must login to add references.
  1. Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
    Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...)
    Download  
     
    Export citation  
     
    Bookmark   103 citations  
  • Boolean valued models and generalized quantifiers.Jouko Väänänen - 1980 - Annals of Mathematical Logic 18 (3):193-225.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Extensions of Elementary Logic.Per Lindström - 1969 - Theoria 35 (1):1-11.
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  • Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
    This book brings together several directions of work in model theory between the late 1950s and early 1980s.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  • How large is the first strongly compact cardinal? or a study on identity crises.Menachem Magidor - 1976 - Annals of Mathematical Logic 10 (1):33-57.
    Download  
     
    Export citation  
     
    Bookmark   59 citations