Compact disc | compact disc | Compact Disc | Compact Cassette | compact cassette | National Popular Vote Interstate Compact | Minimal Compact | European Fiscal Compact | compact space | Sequentially compact space | Relatively compact subspace | Compact Muon Solenoid | Compact fluorescent lamp | compact Cassette | Australia Telescope Compact Array | Weakly compact cardinal | Shaped Compact Disc | Mayflower Compact | Massive compact halo object | Limit point compact | Great Lakes Compact | Embedded Compact Extended | Countably generated space | Compact space | Compact Kinetic Energy Missile | Compact Camera Port 2 | Campus Compact |
Based on Lindström's characterization, first order logic is, up to equivalence, the only abstract logic which is countably compact and has Löwenheim number ω.