SMOLNET PORTAL home about changes

References for Consistency: Henkin's theorem

Back to article
See all references for article


References to other articles in the 'Henkin's theorem' section

Equivalence class
Equivalence relation
First-order logic
Interpretation (logic)
Signature (logic)
Structure (mathematical logic)
Witness (mathematics)


Source on Wikipedia (https://en.wikipedia.org)


--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 924.0 B. 99.63% smaller than original: 241.42 KB 🤮
Fetched: 16 ms. Converted: 401 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0

Response: 20 (Success), text/gemini
Original URLgemini://gemi.dev/cgi-bin/wp.cgi/refs?name=Consistency&section=7
Status Code20 (Success)
Content-Typetext/gemini; charset=utf-8; lang=en