Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Ordered algebraic structures --- 510.6 --- Forcing (Model theory) --- Model theory. --- Division rings. --- Forcing (Model theory). --- 510.6 Mathematical logic --- Logic, Symbolic and mathematical --- Logique mathématique --- Model theory --- Théorie des modèles --- Forcing (mathématiques) --- Théorie des ensembles