en löwenheim skolem theorem ⁽ⁿ⁾

An English term in ConceptNet 5.8

Source: English Wiktionary

View this term in the API

Documentation
FAQ
Chat
Blog

Documentation
FAQ
Chat
Blog

Related terms

en cardinal number ➜
en countable ➜
en first order ➜
en infinite ➜
en isomorphism ➜
en model ➜
en theory ➜

Context of this term

en mathematical logic ➜

Creative Commons License

ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.