PREFERRED TERM
language
TYPE
-
http://www.irandoc.ac.ir/onto/irandoc-meta/Concept
BROADER CONCEPT
NARROWER CONCEPTS
RELATED CONCEPTS
- ambiguous
- assertion
- atomic diagram
- axiomatic system
- biconditional statement
- categoricity theorem
- chain of models
- classification of first order strucuters
- classification theory
- closed substructure
- complexity of proof
- condition
- conjecture
- consequent
- constructive mathematics
- contradiction
- counterexample
- decision problem
- deduction
- definable class
- definable type
- elementary diagram
- elementary substructure
- elimination of hyperimaginaries
- elimination of imaginaries
- equality
- expansion of structure
- extension of structure
- false
- finitely-generated structure
- finitism
- forcing language
- forking
- generalization
- Godel incompleteness theorem
- Godel numbering
- homogeneous model
- hypothesis
- inequality
- law
- lemma
- locally finite structure
- logical operations
- model complete theory
- model completion of theory
- models of arithmetic
- negation
- non-standard model
- o-minimal structers
- ordered set
- paradox
- relational algebra
- russian constactivism
- semantic of first order logic
- semantic of second order logic
- sequent
- skolem function
- skolemisation of a model
- skolem theory
- sort of structure
- substructure
- symbolic logic
- Tarski-Vaught theorem
- tautological implication
- term
- truth in model
- uncountably categorical
- witness property
IN OTHER LANGUAGES
زبان
Persian
URI
http://www.irandoc.acir/onto/irandoc/MAT0007294