PREFERRED TERM
cardinality of language
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
RELATED CONCEPTS
- atomic diagram
- cardinal
- categoricity theorem
- classification of first order strucuters
- classification theory
- closed substructure
- cofinal substructure
- condition
- conjecture
- contradiction
- counterexample
- deduction
- definable type
- elementary substructure
- expansion of structure
- forking
- Godel incompleteness theorem
- homogeneous model
- hypothesis
- model complete theory
- negation
- paradox
- relational algebra
- semantic of first order logic
- semantic of second order logic
- sequent
- set theory
- skolem function
- Tarski-Vaught theorem
- Vaught test
- witness property
IN OTHER LANGUAGES
قوت زبان
Persian
URI
http://www.irandoc.acir/onto/irandoc/MAT0007278