संरचना (गणितीय तर्क): Difference between revisions

Latest revision as of 13:35, 17 March 2023

सार्वभौमिक बीजगणित और मॉडल सिद्धांत में, संरचना में एक सेट (गणित) के साथ-साथ अंतिम संचालन और संबंधों का एक संग्रह होता है जो उस पर परिभाषित होते है।

सार्वभौम बीजगणित उन संरचनाओं का अध्ययन करता है जो समूह, क्षेत्र और सदिश स्थान जैसी बीजगणितीय संरचनाओं का सामान्यीकरण करती है। सार्वभौम बीजगणित शब्द का उपयोग प्रथम-क्रम के सिद्धांतों की संरचनाओं के लिए किया जाता है, जिसमें कोई संबंध प्रतीक नहीं होता है।^[1] मॉडल सिद्धांत का एक अलग दायरा है जिसमें सेट सिद्धांत के मॉडल जैसे मूलभूत संरचनाओं सहित अधिक मनमाना प्रथम-क्रम सिद्धांतों को सम्मलित किया गया है।

मॉडल-सैद्धांतिक दृष्टिकोण से, संरचनाएं पहले-क्रम तर्क के शब्दार्थ को परिभाषित करने के लिए उपयोग की जाने वाली वस्तुएं है, सीएफ टार्स्की का सत्य का सिद्धांत या टार्स्कियन अर्थविज्ञान का सिद्धांत भी है।

मॉडल सिद्धांत में दिए गए सिद्धांत के लिए, संरचना को एक मॉडल कहा जाता है यदि यह उस सिद्धांत के परिभाषित स्वीकृती को संतुष्ट करता है, चूंकि कभी-कभी इसे अर्थ-संबंधी मॉडल के रूप में असंबद्ध किया जाता है जब कोई गणितीय मॉडल की अधिक सामान्य समायोजन में धारणा पर चर्चा करता है। तर्कशास्त्री कभी-कभी संरचनाओं को व्याख्या के रूप में संदर्भित करते है,^[2] जबकि व्याख्या शब्द का सामान्यतः मॉडल सिद्धांत में एक अलग अर्थ होता है, व्याख्या (मॉडल सिद्धांत) देखें।

डेटाबेस सिद्धांत में, बिना किसी फलन वाली संरचनाओं का संबंधपरक डेटाबेस के मॉडल के रूप में अध्ययन किया जाता है।

परिभाषा

औपचारिक रूप से, एक संरचना को ट्रिपल के रूप में परिभाषित किया जा सकता है ${\mathcal {A}}=(A,\sigma ,I)$ डोमेन से मिलकर $A,$ एक संकेत (तर्क) $\sigma ,$ और एक व्याख्या फलन $I$ यह इंगित करता है कि डोमेन पर संकेत की व्याख्या कैसे की जाती है। यह इंगित करने के लिए कि संरचना में एक विशेष संकेत है $\sigma$ कोई इसे एक $\sigma$ -संरचना के रूप में संदर्भित कर सकता है।

डोमेन

एक संरचना का डोमेन एक मनमाना सेट होता है, इसे संरचना का अंतर्निहित सेट व्योम या डोमेन भी कहा जाता है। मौलिक प्रथम-क्रम तर्क में, संरचना की परिभाषा रिक्त डोमेन को प्रतिबंधित करती है।^[3]

कभी-कभी अंकन $\operatorname {dom} ({\mathcal {A}})$ या $|{\mathcal {A}}|$ के डोमेन के लिए प्रयोग किया जाता है ${\mathcal {A}},$ लेकिन अधिकांशतः संरचना और उसके डोमेन के बीच कोई सांकेतिक भेद नहीं किया जाता है (अर्थात, एक ही प्रतीक ${\mathcal {A}}$ संरचना और उसके डोमेन दोनों को संदर्भित करता है।)^[4]

संकेत

संकेत (तर्क) $\sigma =(S,\operatorname {ar} )$ संरचना में सम्मलित होते है:

सेट $S$ फलन प्रतीकों और संबंध प्रतीकों के साथ होता है
फलन $\operatorname {ar} :\ S\to \mathbb {N} _{0}$ जो प्रत्येक प्रतीक को बताता है $s$ एक प्राकृतिक संख्या $n=\operatorname {ar} (s).$
प्राकृतिक संख्या $n=\operatorname {ar} (s)$ एक प्रतीक का $s$ का योग कहा जाता है क्योंकि यह व्याख्या [स्पष्टीकरण की आवशयकता] की अरिटी है

चूंकि बीजगणित में उत्पन्न होने वाले संकेतों में अधिकांशतः केवल फलन प्रतीक होते है, बिना संबंध प्रतीकों वाले संकेत को बीजगणितीय संकेत कहा जाता है। ऐसे संकेत वाली संरचना को बीजगणित भी कहा जाता है, इसे किसी क्षेत्र पर बीजगणित की धारणा के साथ भ्रमित नहीं होना चाहिए।

व्याख्या फलन

व्याख्या फलन $I$ का ${\mathcal {A}}$ संकेत के प्रतीकों को फलन और संबंध प्रदान करता है। प्रत्येक फलन प्रतीक $f$ की अरिटी $n$ असाइन किया गया है $n$ - एरी फलन $f^{\mathcal {A}}=I(f)$ डोमेन पर प्रदान करता है। प्रत्येक संबंध प्रतीक $R$ अरिटी की $n$ असाइन किया गया है $n$ -आरी संबंध $R^{\mathcal {A}}=I(R)\subseteq A^{\operatorname {ar(R)} }$ डोमेन पर। एक शून्य ( $=\,0$ -आरी) फलन प्रतीक $c$ को स्थिर प्रतीक कहा जाता है, क्योंकि इसकी व्याख्या $I(c)$ को डोमेन के एक स्थिर तत्व के साथ पहचाना जा सकता है।

जब एक संरचना (और इसलिए व्याख्या फलन) संदर्भ द्वारा दी जाती है, तो प्रतीक $s$ और इसकी व्याख्या $I(s).$ के बीच कोई सांकेतिक भेद नहीं किया जाता है। उदाप्रत्येकण के लिए, यदि $f$ का एक बाइनरी फलन प्रतीक है ${\mathcal {A}},$ केवल लिखता है $f:{\mathcal {A}}^{2}\to {\mathcal {A}}$ इसके अतिरिक्त $f^{\mathcal {A}}:|{\mathcal {A}}|^{2}\to |{\mathcal {A}}|.$

उदाप्रत्येकण

मानक संकेत $\sigma _{f}$ क्षेत्र (गणित) के लिए दो बाइनरी फलन प्रतीक होते है $\mathbf {+}$ और $\mathbf {\times }$ जहां अतिरिक्त प्रतीकों को प्राप्त किया जा सकता है, जैसे कि एकात्मक फलन प्रतीक $\mathbf {-}$ विशिष्ट रूप से निर्धारित किया गया $\mathbf {+}$ ) और दो स्थिर चिह्न $\mathbf {0}$ और $\mathbf {1}$ (विशिष्ट रूप से निर्धारित $\mathbf {+}$ और $\mathbf {\times }$ क्रमश)। इस प्रकार संकेत के लिए एक संरचना (बीजगणित) में तत्वों का एक समूह होता है $A$ एक साथ में दो बाइनरी फलन, जिन्हें एक यूनरी फलन और दो विशिष्ट तत्वों के साथ बढ़ाया जा सकता है, लेकिन इस बात की कोई आवश्यकता नहीं है कि यह किसी भी क्षेत्र के स्वीकृती को संतुष्ट करे। परिमेय संख्याएँ $\mathbb {Q} ,$ वास्तविक संख्याएँ $\mathbb {R}$ और जटिल संख्याएँ $\mathbb {C} ,$ किसी अन्य क्षेत्र की तरह माना जा सकता है $\sigma$ -संरचना एक स्पष्ट विधि से:

{\begin{alignedat}{3}{\mathcal {Q}}&=(\mathbb {Q} ,\sigma _{f},I_{\mathcal {Q}})\\{\mathcal {R}}&=(\mathbb {R} ,\sigma _{f},I_{\mathcal {R}})\\{\mathcal {C}}&=(\mathbb {C} ,\sigma _{f},I_{\mathcal {C}})\\\end{alignedat}}

तीनों स्थितियों में हमारे द्वारा दिए गए मानक फलन है

\sigma _{f}=(S_{f},\operatorname {ar} _{f})

साथ^[5] $S_{f}=\{+,\times ,-,0,1\}$ और

{\begin{alignedat}{3}\operatorname {ar} _{f}&(+)&&=2,\\\operatorname {ar} _{f}&(\times )&&=2,\\\operatorname {ar} _{f}&(-)&&=1,\\\operatorname {ar} _{f}&(0)&&=0,\\\operatorname {ar} _{f}&(1)&&=0.\\\end{alignedat}}

व्याख्या फलन $I_{\mathcal {Q}}$ है:

I_{\mathcal {Q}}(+):\mathbb {Q} \times \mathbb {Q} \to \mathbb {Q}

परिमेय संख्याओं का जोड़ है,

I_{\mathcal {Q}}(\times ):\mathbb {Q} \times \mathbb {Q} \to \mathbb {Q}

परिमेय संख्याओं का गुणन है,

I_{\mathcal {Q}}(-):\mathbb {Q} \to \mathbb {Q}

वह फलन है जो प्रत्येक तर्कसंगत संख्या लेता है

x

को

-x,

और

I_{\mathcal {Q}}(0)\in \mathbb {Q}

संख्या है

0,

और

I_{\mathcal {Q}}(1)\in \mathbb {Q}

संख्या है

1;

और $I_{\mathcal {R}}$ और $I_{\mathcal {C}}$ समान रूप से परिभाषित है।^[5]

लेकिन पूर्णांको का $\mathbb {Z}$ जो एक क्षेत्र नहीं है, $\sigma _{f}$ -संरचना भी उसी तरह वास्तव में है, इस बात की कोई आवश्यकता नहीं है कि कोई भी क्षेत्र अभिगृहीत a में हो $\sigma _{f}$ -संरचना।

आदेशित फ़ील्ड के लिए एक संकेत के अतिरिक्त बाइनरी संबंध की आवश्यकता होती है जैसे $\,<\,$ या $\,\leq ,\,$ और इसलिए इस तरह के संकेत के लिए संरचनाएं बीजगणित नहीं है, भले ही वे शब्द के सामान्य, अस्पष्ट अर्थों में निश्चित रूप से बीजगणितीय संरचनाएं होती है।

समुच्चय सिद्धांत के लिए सामान्य संकेत में एक एकल द्विआधारी संबंध सम्मलित होता है $\in .$ इस संकेत के लिए एक संरचना में तत्व का एक सेट और व्याख्या होती है $\in$ इन तत्वों पर एक द्विआधारी संबंध के रूप में होता है।

प्रेरित अवसंरचनाएं और बंद उप-समूचय

${\mathcal {A}}$ का एक (प्रेरित) उपसंरचना कहा जाता है ${\mathcal {B}}$ यदि

${\mathcal {A}}$ और ${\mathcal {B}}$ एक ही संकेत है $\sigma ({\mathcal {A}})=\sigma ({\mathcal {B}});$
${\mathcal {A}}$ का डोमेन में सम्मलित होते है ${\mathcal {B}}:$ $|{\mathcal {A}}|\subseteq |{\mathcal {B}}|;$ और
सभी फलनों और संबंध प्रतीकों की व्याख्या पर सहमत है $|{\mathcal {A}}|.$

इस संबंध के लिए सामान्य संकेतन है ${\mathcal {A}}\subseteq {\mathcal {B}}.$

उप-समूचय $B\subseteq |{\mathcal {A}}|$ संरचना के डोमेन का ${\mathcal {A}}$ बंद कहा जाता है यदि यह के फलनों के तहत बंद है ${\mathcal {A}},$ अर्थात्, यदि निम्न शर्त पूरी होती है: प्रत्येक प्राकृतिक संख्या के लिए $n,$ प्रत्येक $n$ -एरी फलन प्रतीक $f$ ( संकेत में ${\mathcal {A}}$ ) और सभी तत्व $b_{1},b_{2},\dots ,b_{n}\in B,$ लगाने का परिणाम $f$ तक $n$ -टुपल $b_{1}b_{2}\dots b_{n}$ से एक तत्व है $B:$ $f(b_{1},b_{2},\dots ,b_{n})\in B.$

प्रत्येक उप-समूचय के लिए $B\subseteq |{\mathcal {A}}|$ का सबसे छोटा बंद उप-समूचय है गणित $|{\mathcal {A}}|$ उसमें सम्मिलित है $B.$ इसे किसके द्वारा उत्पन्न बंद उप-समूचय कहा जाता है $B,$ या पतवार और $B,$ द्वारा दर्शाया गया $\langle B\rangle$ या $\langle B\rangle _{\mathcal {A}}$ . परिचालक $\langle \rangle$ के सबसेट के सेट पर फ़ाइनिटरी क्लोजर ऑपरेटर है $|{\mathcal {A}}|$ .

यदि ${\mathcal {A}}=(A,\sigma ,I)$ और $B\subseteq A$ एक बंद उप-समूचय है, तो $(B,\sigma ,I')$ की एक प्रेरित उपसंरचना है ${\mathcal {A}},$ कहाँ $I'$ σ के प्रत्येक प्रतीक को प्रतिबंध निर्दिष्ट करता है $B$ इसकी व्याख्या में ${\mathcal {A}}.$ इसके विपरीत, एक प्रेरित उपसंरचना का डोमेन एक बंद उप-समूचय है।

संरचना के बंद उप-समूचय (या प्रेरित अवसंरचना क्रम) बनाते है। दो उप-समूचयों का मिलन (गणित) उनका प्रतिच्छेदन है। दो उप-समूचयों का जुड़ाव (गणित) उनके संघ द्वारा उत्पन्न बंद उप-समूचय है। सार्वभौम बीजगणित एक संरचना के अवसंरचनाओं का विस्तार से अध्ययन करता है।

उदाप्रत्येकण

होने देना $\sigma =\{+,\times ,-,0,1\}$ फिर से फ़ील्ड के लिए मानक संकेत बनें होते है। जब माना जाता है $\sigma$ संरचनाएँ प्राकृतिक विधि परिमेय संख्याएँ वास्तविक संख्याओं का एक उपसंरचना बनाती है, और वास्तविक संख्याएँ जटिल संख्याओं का एक उपसंरचना बनाती है। परिमेय संख्याएँ वास्तविक संख्याओं की सबसे छोटी उपसंरचना होती है जो क्षेत्र के स्वीकृति को भी संतुष्ट करती है।

पूर्णांकों का समुच्चय वास्तविक संख्याओं का और भी छोटा उपसंरचना देता है जो कि एक क्षेत्र नहीं है। दरअसल, पूर्णांक इस संकेत का उपयोग करते हुए रिक्त सेट द्वारा उत्पन्न वास्तविक संख्याओं का आधार है। सार बीजगणित में धारणा जो एक क्षेत्र के उपसंरचना से मेल खाती है, वह एक क्षेत्र की विस्तार की है।

ग्राफ़ को परिभाषित करने का सबसे स्पष्ट विधि वाली संरचना है $\sigma$ एक एकल बाइनरी संबंध प्रतीक होता है $E.$ ग्राफ़ के शीर्ष संरचना का डोमेन बनाते है, और दो शीर्षों के लिए $a$ और $b,$ $(a,b)\!\in {\text{E}}$ मतलब कि $a$ और $b$ किनारे से जुड़े हुए है। संकेतीकरण में, सबग्राफ्स की शब्दावली की धारणा से अधिक प्रतिबंधात्मक है। उदाप्रत्येकण के लिए, लेट $G$ एक ग्राफ बनें जिसमें किनारे से जुड़े दो कोने होते है, और $H$ एक ही कोने से बना ग्राफ है लेकिन कोई किनारा नहीं होता है। $H$ का उपसमूह है $G,$ लेकिन एक प्रेरित उपसंरचना नहीं। ग्राफ सिद्धांत में धारणा जो प्रेरित उप-संरचनाओं से मेल खाती है, वह प्रेरित उप-अनुच्छेदों की है।

समरूपता और एम्बेडिंग

समरूपता

दो संरचनाएं दी गई है ${\mathcal {A}}$ और ${\mathcal {B}}$ एक ही संकेत σ, a (σ-) समरूपता से ${\mathcal {A}}$ को ${\mathcal {B}}$ एक नक्शा है (गणित) $h:|{\mathcal {A}}|\rightarrow |{\mathcal {B}}|$ जो फलनों और संबंधों को संरक्षित करता है। ज्यादा ठीक:

प्रत्येक एन-एरी फ़ंक्शन के लिए σ और किसी भी तत्व का प्रतीक f के लिए $a_{1},a_{2},\dots ,a_{n}\in |{\mathcal {A}}|$ , निम्नलिखित समीकरण धारण करता है:

h(f(a_{1},a_{2},\dots ,a_{n}))=f(h(a_{1}),h(a_{2}),\dots ,h(a_{n}))

.

प्रत्येक एन-एरी संबंध के लिए σ और किसी भी तत्व का प्रतीक आर $a_{1},a_{2},\dots ,a_{n}\in |{\mathcal {A}}|$ , निम्नलिखित निहितार्थ धारण करता है:

जहा

(a_{1},a_{2},\dots ,a_{n})\in R^{\mathcal {A}}\implies (h(a_{1}),h(a_{2}),\dots ,h(a_{n}))\in R^{\mathcal {B}}

कहाँ

R^{\mathcal {A}}

,

R^{\mathcal {B}}

संबंध प्रतीक की व्याख्या है

R

संरचना में वस्तु सिद्धांत की

{\mathcal {A}}

,

{\mathcal {B}}

क्रमश।

एक समरूपता h से ${\mathcal {A}}$ को ${\mathcal {B}}$ सामान्यतः के रूप में दर्शाया गया है $h:{\mathcal {A}}\rightarrow {\mathcal {B}}$ , चूंकि तकनीकी रूप से फलन h के बीच है $|{\mathcal {A}}|$ , $|{\mathcal {B}}|$ दो संरचनाओं में से ${\mathcal {A}}$ , ${\mathcal {B}}$ .

प्रत्येक हस्ताक्षर σ के लिए एक ठोस श्रेणी σ-होम होती है जिसमें σ-संरचनाएं वस्तुओं के रूप में होती है और σ- होमोमोर्फिज्म आकारिकी के रूप में होती है।

एक समरूपता $h:{\mathcal {A}}\rightarrow {\mathcal {B}}$ को कभी-कभी मजबूत कहा जाता है यदि:

वस्तु सिद्धांत और किसी भी तत्व के प्रत्येक एन-आरी संबंध प्रतीक आर के लिए और किसी भी तत्व के लिए $b_{1},b_{2},\dots ,b_{n}\in |{\mathcal {B}}|$ ऐसा है कि $(b_{1},b_{2},\dots ,b_{n})\in R^{\mathcal {B}}$ , वहाँ है $a_{1},a_{2},\dots ,a_{n}\in |{\mathcal {A}}|$ ऐसा है कि $(a_{1},a_{2},\dots ,a_{n})\in R^{\mathcal {A}}$ और $b_{1}=h(a_{1}),\,b_{2}=h(a_{2}),\,\dots ,\,b_{n}=h(a_{n}).$

मजबूत समरूपता σ-होम श्रेणी की एक उपश्रेणी को जन्म देती है जिसका ऊपर विरोध किया गया था।

एम्बेडिंग

ए (σ-) समरूपता $h:{\mathcal {A}}\rightarrow {\mathcal {B}}$ एक (σ-) एम्बेडिंग कहा जाता है यदि यह अतिरक्‍तता फलन है | एक-से-एक और

σ और किसी भी तत्व के प्रत्येक n-आर्य संबंध प्रतीक 'R के लिए $a_{1},a_{2},\dots ,a_{n}$ , निम्नलिखित समानता रखती है:

(a_{1},a_{2},\dots ,a_{n})\in R^{\mathcal {A}}\iff (h(a_{1}),h(a_{2}),\dots ,h(a_{n}))\in R^{\mathcal {B}}

(जहां पहले की तरह $R^{\mathcal {A}}$ , $R^{\mathcal {B}}$ संरचना में वस्तु सिद्धांत σ के संबंध प्रतीक R की व्याख्या को संदर्भित करता है ${\mathcal {A}}$ , ${\mathcal {B}}$ क्रमश)। इस प्रकार एक एम्बेडिंग एक मजबूत समरूपता के समान है जो एक-से-एक है। σ-संरचनाओं और σ-एम्बेडिंग की श्रेणी σ-Emb σ-होम की एक ठोस उपश्रेणी है।

प्रेरित अवसंरचनाएँ σ-Emb में उप-वस्तुओं के अनुरूप है। यदि σ में केवल फलन प्रतीक है, तो σ-Emb σ-होम के एकरूपता की उपश्रेणी है। इस स्थितियो में प्रेरित अवसंरचना भी σ-होम में उपवस्तु के अनुरूप होती है।

उदाप्रत्येकण

जैसा कि ऊपर देखा गया है, संरचनाओं के रूप में रेखांकन के मानक संकेतीकरणमें प्रेरित उप-संरचना ठीक-ठीक प्रेरित उप-अनुच्छेद है। चूंकि, एक ग्राफ समरूपता एक ही चीज़ है जो ग्राफ़ को कोड करने वाली दो संरचनाओं के बीच एक समरूपता है। पिछले अनुभाग के उदाप्रत्येकण में, भले ही G का सबग्राफ H प्रेरित नहीं है, पहचान मानचित्र आईडी: H → G एक समरूपता है। यह मानचित्र वास्तव में σ-होम श्रेणी में एक एकरूपता है, और इसलिए H, G का एक सबऑब्जेक्ट है जो एक प्रेरित आधार नहीं है।

समरूपता समस्या

निम्नलिखित समस्या को समरूपता समस्या के रूप में जाना जाता है:

दो परिमित संरचनाओं को देखते हुए

{\mathcal {A}}

और

{\mathcal {B}}

एक परिमित संबंधपरक संकेत के लिए, एक समरूपता खोजें

h:{\mathcal {A}}\rightarrow {\mathcal {B}}

या दिखाएँ कि ऐसा कोई समरूपता उपस्थित नहीं है।

प्रत्येक प्रतिबन्धी संतुष्टि कि समस्या (सीएसपी) का समरूपता समस्या में अनुवाद है।<ref>जेवन्स, पीटर; कोहेन, डेविड; पियर्सन, जस्टिन (1998), "बाधाएं और सार्वभौमिक बीजगणित", गणित और आर्टिफिशियल इंटेलिजेंस के इतिहास, 24: 51–67, doi:10.1023/A:1018941030227, S2CID 15244028.</ref> इसलिए, परिमित मॉडल सिद्धांत के विधियो का उपयोग करके प्रतिबन्धि संतुष्टि और समरूपता समस्या की जटिलता का अध्ययन किया जा सकता है।

एक अन्य अनुप्रयोग डेटाबेस सिद्धांत में है, जहां डेटाबेस का एक संबंध मॉडल अनिवार्य रूप से एक संबंध संरचना के समान होता है। इससे पता चलता है कि डेटाबेस पर एक संयोजन क्वेरी को डेटाबेस मॉडल के समान संकेत में किसी अन्य संरचना द्वारा वर्णित किया जा सकता है। संबंधपरक मॉडल से क्वेरी का प्रतिनिधित्व करने वाली संरचना के लिए एक समरूपता क्वेरी के समाधान के समान ही है। इससे पता चलता है कि संयोजक क्वेरी समस्या भी होमोमोरफिस्म समस्या के समतुल्य है।

संरचनाएं और प्रथम-क्रम तर्क

संरचनाओं को कभी-कभी "प्रथम-क्रम संरचना" के रूप में संदर्भित किया जाता है। ह भ्रामक है, क्योंकि उनकी परिभाषा में कुछ भी उन्हें किसी विशिष्ट तर्क से बांधता नहीं है, और वास्तव में वे शब्दार्थ वस्तुओं के रूप में उपयुक्त है, दोनों पहले क्रम के तर्क के बहुत सीमित अंशों के लिए जैसे कि सार्वभौमिक बीजगणित में उपयोग किया जाता है, और दूसरे क्रम के तर्क के लिए भी उपयोग किया जाता है। प्रथम-क्रम तर्क और मॉडल सिद्धांत के संबंध में, संरचनाओं को अधिकांशतः मॉडल कहा जाता है, तब भी जब प्रश्न किसका मॉडल? होता है तो कोई स्पष्ट उत्तर नहीं होता है।

संतुष्टि संबंध

प्रत्येक प्रथम-क्रम संरचना ${\mathcal {M}}=(M,\sigma ,I)$ का संतुष्टि संबंध है ${\mathcal {M}}\vDash \phi$ सभी सूत्रों के लिए परिभाषित $\,\phi$ की भाषा से मिलकर भाषा में ${\mathcal {M}}$ के प्रत्येक तत्व के लिए एक स्थिर प्रतीक के साथ $M,$ जिसे उस तत्व के रूप में समझा जाता है। इस संबंध को टार्स्की की टी-स्कीमा का उपयोग करके आगमनात्मक रूप से परिभाषित किया गया है।

संरचना ${\mathcal {M}}$ सिद्धांत (गणितीय तर्क) का एक मॉडल कहा जाता है $T$ यदि भाषा ${\mathcal {M}}$ की भाषा के समान है $T$ और प्रत्येक वाक्य में $T$ से संतुष्ट है ${\mathcal {M}}.$ इस प्रकार, उदाहरण के लिए, जेडएफसी सेट सिद्धांत मॉडल भाषा में एक संरचना है। जो प्रत्येक जेडएफसी स्वीकृत को संतुष्ट करती है।

निश्चित संबंध

एक $n$ -आर्य संबंध $R$ व्योम पर (अर्थात डोमेन) $M$ संरचना का ${\mathcal {M}}$ परिभाषित करने योग्य कहा जाता है (या स्पष्ट रूप से परिभाषित करने योग्य सीएफ बेथ निश्चितता, या $\emptyset$ -परिभाषित करने योग्य, या मापदंडों के साथ निश्चित $\emptyset$ सीएफ नीचे) यदि कोई सूत्र है $\varphi (x_{1},\ldots ,x_{n})$ जैसे कि

R=\{(a_{1},\ldots ,a_{n})\in M^{n}:{\mathcal {M}}\vDash \varphi (a_{1},\ldots ,a_{n})\}.

दूसरे शब्दों में,

R

निश्चित है यदि कोई सूत्र है

\varphi

जैसा कि

(a_{1},\ldots ,a_{n})\in R\Leftrightarrow {\mathcal {M}}\vDash \varphi (a_{1},\ldots ,a_{n})

सही है। एक महत्वपूर्ण विशेष स्थिति विशिष्ट तत्वों की निश्चितता है। तत्व

m

का

M

में निश्चित है

{\mathcal {M}}

यदि और केवल यदि कोई सूत्र है

\varphi (x)

जैसा कि

{\mathcal {M}}\vDash \forall x(x=m\leftrightarrow \varphi (x)).

मापदंडों के साथ निश्चितता

एक सन्दर्भ में, $R$ को मापदंडों के साथ निश्चित या परिभाषित किया जा सकता है (या $|{\mathcal {M}}|$ -निश्चित) यदि कोई सूत्र है $\varphi$ मापदंडों के साथ ${\mathcal {M}}$ ऐसा है कि $R$ का प्रयोग करके निश्चित किया जा सकता है $\varphi .$ एक संरचना के प्रत्येक तत्व का उपयोग करके परिभाषित किया जा सकता है।

कुछ लेखक बिना मापदंडों के निश्चित अर्थ के लिए निश्चित का उपयोग करते है, जबकि अन्य लेखकों का मतलब मापदंडों के साथ निश्चित होता है। मोटे तौर पर, परिपाटी का अर्थ है कि उसे बिना मापदंडों के परिभाषित किया जा सकता है, सेट सिद्धांतकारों के बीच अधिक सामान्य होता है, जबकि विपरीत सम्मेलन मॉडल सिद्धांतकारों के बीच अधिक सामान्य होता है।

निहित निश्चितता

ऊपर से याद करें कि ए $n$ -आर्य संबंध $R$ व्योम पर $M$ का ${\mathcal {M}}$ यदि कोई सूत्र है तो स्पष्ट रूप से परिभाषित किया जा सकता है $\varphi (x_{1},\ldots ,x_{n})$ ऐसा है कि

R=\{(a_{1},\ldots ,a_{n})\in M^{n}:{\mathcal {M}}\vDash \varphi (a_{1},\ldots ,a_{n})\}.

यहाँ सूत्र

\varphi

संबंध को परिभाषित करने के लिए प्रयोग किया जाता है

R

के संकेत के ऊपर होना चाहिए

{\mathcal {M}}

इसलिए

\varphi

उल्लेख नहीं हो सकता

R

खुद, के बाद से

R

के संकेत में नहीं है

{\mathcal {M}}.

यदि कोई सूत्र है

\varphi

की भाषा युक्त विस्तारित भाषा में

{\mathcal {M}}

और एक नया प्रतीक

R,

और संबंध

R

पर ही संबंध है

{\mathcal {M}}

ऐसा है कि

{\mathcal {M}}\vDash \varphi ,

तब

R

परोक्ष रूप से परिभाषित किया जा सकता है

{\mathcal {M}}.

बेथ की प्रमेय, प्रत्येक निहित रूप से परिभाषित संबंध स्पष्ट रूप से निश्चित है।

कई प्रकार की संरचनाएं

ऊपर परिभाषित संरचनाओं को कभी-कभी अधिक सामान्य कई-क्रमबद्ध संरचनाओं से अलग करने के लिए एक-क्रमबद्ध संरचना कहा जाता है। कई-सॉर्ट की गई संरचना में डोमेन की मनमानी संख्या हो सकती है। सॉर्ट संकेत का हिस्सा होते है, और वे विभिन्न डोमेन के लिए नामों की भूमिका निभाते है। कई-सॉर्ट किए गए संकेत यह भी निर्धारित करते है कि किस प्रकार के कई प्रकार के ढांचे के फलनों और संबंधों को परिभाषित किया गया है। इसलिए, फलन प्रतीकों या संबंध प्रतीकों की समानताएं अधिक जटिल वस्तुएं होनी चाहिए जैसे कि प्राकृतिक संख्याओं के अतिरिक्त टुपल्स ऑफ सॉर्ट में होता है।

संचालन रिक्त स्थान, उदाप्रत्येकण के लिए, निम्नलिखित विधि से दो क्रमबद्ध संरचनाओं के रूप में माना जा सकता है। संचालन रिक्त स्थान के क्रमबद्ध संकेत में दो प्रकार के वी (वैक्टर के लिए) और एस (स्केलर्स के लिए) और निम्नलिखित फलन प्रतीक होते है:

+_एस और ×_एस ऑफ एरिटी (एस, एस, एस).
−_एस ऑफ एरिटी (एस, एस).
0_एस और 1_एस ऑफ एरिटी (एस).

+_वी ऑफ एरिटी (वी, वी, वी).
−_वी ऑफ एरिटी (वी, वी).
0_वी ऑफ एरिटी (वी).

× ऑफ एरिटी (एस, वी, वी).

यदि वी क्षेत्र एफ पर सदिश स्थान है, तो संबंधित दो-क्रमबद्ध संरचना ${\mathcal {V}}$ संचालन डोमेन के होते है $|{\mathcal {V}}|_{V}=V$ , स्केलर डोमेन $|{\mathcal {V}}|_{S}=F$ , और स्पष्ट फलन, जैसे सदिश शून्य $0_{V}^{\mathcal {V}}=0\in |{\mathcal {V}}|_{V}$ , अदिश शून्य $0_{S}^{\mathcal {V}}=0\in |{\mathcal {V}}|_{S}$ , या अदिश गुणन $\times ^{\mathcal {V}}:|{\mathcal {V}}|_{S}\times |{\mathcal {V}}|_{V}\rightarrow |{\mathcal {V}}|_{V}$ .

बहु-वर्गीकृत संरचनाओं को अधिकांशतः एक सुविधाजनक उपकरण के रूप में उपयोग किया जाता है। लेकिन उन्हें संभवतः ही कभी एक कठोर विधि से परिभाषित किया जाता है, क्योंकि यह सामान्यीकरण को स्पष्ट रूप से पूरा करने के लिए अप्रतिबंधित होते है।

अधिकांश गणितीय प्रयासों में, छँटाई पर अधिक ध्यान नहीं दिया जाता है। एक तरह का तर्क चूंकि, स्वाभाविक रूप से एक प्रकार के सिद्धांत की ओर जाता है। जैसा कि बार्ट जैकब्स कहते है: एक तर्क हमेशा एक प्रकार के सिद्धांत पर एक तर्क होता है। बदले में यह जोर श्रेणीबद्ध तर्क की ओर ले जाता है क्योंकि एक प्रकार के सिद्धांत पर एक तर्क स्पष्ट रूप से एक (कुल) श्रेणी से मेल खाता है, तर्क पर कब्जा करना, दूसरे (आधार) श्रेणी होना, प्रकार सिद्धांत पर कब्जा करना होता है।^[6]

अन्य सामान्यीकरण

आंशिक बीजगणित

सार्वभौमिक बीजगणित और मॉडल सिद्धांत दोनों (संरचनाओं या) बीजगणित की कक्षाओं का अध्ययन करते है जो एक संकेत और स्वीकृत के एक सेट द्वारा परिभाषित होते है। मॉडल सिद्धांत के स्थिति में इन स्वीकृत में पहले क्रम के वाक्यों का रूप है। सार्वभौमिक बीजगणित की औपचारिकता कहीं अधिक प्रतिबंधात्मक होती है, अनिवार्य रूप से यह केवल प्रथम-क्रम के वाक्यों की अनुमति देता है, जिनमें शब्दों के बीच सार्वभौमिक रूप से मात्रात्मक समीकरणों का रूप होता है, उदाप्रत्येकण $\forall$ एक्स $\forall$ y (x + y = y + x)। एक परिणाम यह है कि मॉडल सिद्धांत की तुलना में सार्वभौमिक बीजगणित में एक संकेत का चुनाव अधिक महत्वपूर्ण होता है। उदाप्रत्येकण के लिए, समूहों का वर्ग, जिसमें संकेत में बाइनरी फलन प्रतीक × और निरंतर प्रतीक 1 सम्मलित है, एक प्रारंभिक वर्ग है, लेकिन यह विविधता नहीं है। यूनिवर्सल बीजगणित इस समस्या को एक यूनरी फलन प्रतीक ^-1.जोड़कर हल करता है।

क्षेत्र के स्थिति में यह रणनीति सिर्फ जोड़ने के लिए काम करती है। गुणन के लिए यह विफल रहता है क्योंकि 0 में गुणक व्युत्क्रम नहीं होता है। इससे निपटने का एक तदर्थ प्रयास 0 को परिभाषित करना होगा⁻¹ = 0. (यह प्रयास विफल हो जाता है, अनिवार्य रूप से क्योंकि इस परिभाषा के साथ 0 × 0^-1 = 1 सत्य नहीं है)। इसलिए, स्वाभाविक रूप से किसी को आंशिक फलनों की अनुमति देने के लिए प्रेरित किया जाता है, अर्थात ऐसे फलन जो केवल उनके डोमेन के सबसेट पर परिभाषित होते है। चूँकि, धारणाओं को सामान्य बनाने के कई स्पष्ट विधि होते है जैसे कि सबसंरचना, समरूपता और पहचान होते है।

टाइप की गई भाषाओं के लिए संरचनाएं

प्रकार सिद्धांत में, कई प्रकार के चर होते है, जिनमें से प्रत्येक का एक प्रकार होता है। प्रकारों को आगमनात्मक रूप से परिभाषित किया गया है, दिए गए दो प्रकार δ और σ का एक प्रकार σ → δ भी है जो प्रकार σ की वस्तुओं से प्रकार δ की वस्तुओं के फलनों का प्रतिनिधित्व करता है। टाइप की गई भाषा के लिए एक संरचना (सामान्य प्रथम-क्रम शब्दार्थ में) प्रत्येक प्रकार की वस्तुओं का एक अलग सेट सम्मलित होना चाहिए, और फलन प्रकार के लिए संरचना में उस प्रकार के प्रत्येक वस्तु द्वारा दर्शाए गए फलन के बारे में पूरी जानकारी होनी चाहिए।

उच्च-क्रम की भाषाएँ

उच्च-क्रम तर्क के लिए एक से अधिक संभावित शब्दार्थ है, जैसा कि द्वितीय-क्रम तर्क पर लेख में चर्चा की गई है। पूर्ण उच्च-क्रम शब्दार्थ का उपयोग करते समय, एक संरचना के लिए केवल टाइप 0 की वस्तुओं के लिए एक व्योम की आवश्यकता होती है, और टी-स्कीमा को विस्तारित किया जाता है जिससे कि उच्च-क्रम प्रकार पर एक परिमाणक मॉडल द्वारा संतुष्ट होता है और केवल यदि यह अलग-अलग सत्य होता है। प्रथम-क्रम शब्दार्थ का उपयोग करते समय, प्रत्येक उच्च-क्रम प्रकार के लिए एक अतिरिक्त क्रम जोड़ा जाता है, जैसा कि कई क्रमबद्ध प्रथम क्रम भाषा के स्थिति में होता है।

संरचनाएं जो उचित वर्ग है

समुच्चय सिद्धांत और श्रेणी सिद्धांत के अध्ययन में, कभी-कभी उन संरचनाओं पर विचार करना उपयोगी होता है जिनमें संवाद का क्षेत्र एक समुच्चय के अतिरिक्त डोमेन का उचित वर्ग होता है। ऊपर चर्चा किए गए सेट मॉडल से अलग करने के लिए इन संरचनाओं को कभी-कभी क्लास मॉडल कहा जाता है। जब डोमेन एक उचित वर्ग होता है, तो प्रत्येक फलन और संबंध प्रतीक को उचित वर्ग द्वारा भी प्रदर्शित किया जाता है।

बर्ट्रेंड रसेल के 'गणितीय सिद्धांत' में, संरचनाओं को उनके डोमेन के रूप में उचित वर्ग रखने की भी अनुमति थी।

यह भी देखें

गणितीय संरचना – Additional mathematical object

↑ Some authors refer to structures as "algebras" when generalizing universal algebra to allow relations as well as functions.
↑ Hodges, Wilfrid (2009). "Functional Modelling and Mathematical Models". In Meijers, Anthonie (ed.). Philosophy of technology and engineering sciences. Handbook of the Philosophy of Science. Vol. 9. Elsevier. ISBN 978-0-444-51667-1.
↑ A logical system that allows the empty domain is known as an inclusive logic.
↑ As a consequence of these conventions, the notation $|{\mathcal {A}}|$ may also be used to refer to the cardinality of the domain of ${\mathcal {A}}.$ In practice this never leads to confusion.
↑ ^5.0 ^5.1 टिप्पणी: $\mathbf {0} ,\mathbf {1} ,$ और $\mathbf {-}$ बाईं ओर के संकेतों को देखें $S_{f}.$ $0,1,2,$ और $-$ दाईं ओर की प्राकृतिक संख्या देखें $N_{0}$ और यूनरी ऑपरेशन माइनस इन $\mathbb {Q} .$
↑ Jacobs, Bart (1999), Categorical Logic and Type Theory, Elsevier, pp. 1–4, ISBN 9780080528700

संदर्भ

Burris, Stanley N.; Sankappanavar, H. P. (1981), A Course in Universal Algebra, Berlin, New York: Springer-Verlag
Chang, Chen Chung; Keisler, H. Jerome (1989) [1973], Model Theory, Elsevier, ISBN 978-0-7204-0692-4
Diestel, Reinhard (2005) [1997], Graph Theory, Graduate Texts in Mathematics, vol. 173 (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-26183-4
Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang (1994), Mathematical Logic (2nd ed.), New York: Springer, ISBN 978-0-387-94258-2
Hinman, P. (2005), Fundamentals of Mathematical Logic, A K Peters, ISBN 978-1-56881-262-5
Hodges, Wilfrid (1993), Model theory, Cambridge: Cambridge University Press, ISBN 978-0-521-30442-9
Hodges, Wilfrid (1997), A shorter model theory, Cambridge: Cambridge University Press, ISBN 978-0-521-58713-6
Marker, David (2002), Model Theory: An Introduction, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98760-6
Poizat, Bruno (2000), A Course in Model Theory: An Introduction to Contemporary Mathematical Logic, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98655-5
Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic (3rd ed.), New York: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-3, ISBN 978-1-4419-1220-6
Rothmaler, Philipp (2000), Introduction to Model Theory, London: CRC Press, ISBN 978-90-5699-313-9

बाप्रत्येकी संबंध

Semantics section in Classical Logic (an entry ऑफ Stanford Encyclopedia ऑफ Philosophy)

[1] Some authors refer to structures as "algebras" when generalizing universal algebra to allow relations as well as functions.

[2] Hodges, Wilfrid (2009). "Functional Modelling and Mathematical Models". In Meijers, Anthonie (ed.). Philosophy of technology and engineering sciences. Handbook of the Philosophy of Science. Vol. 9. Elsevier. ISBN 978-0-444-51667-1.

[3] A logical system that allows the empty domain is known as an inclusive logic.

[4] As a consequence of these conventions, the notation $|{\mathcal {A}}|$ may also be used to refer to the cardinality of the domain of ${\mathcal {A}}.$ In practice this never leads to confusion.

[sign_and_number-5] 5.0 ^5.1 टिप्पणी: $\mathbf {0} ,\mathbf {1} ,$ और $\mathbf {-}$ बाईं ओर के संकेतों को देखें $S_{f}.$ $0,1,2,$ और $-$ दाईं ओर की प्राकृतिक संख्या देखें $N_{0}$ और यूनरी ऑपरेशन माइनस इन $\mathbb {Q} .$

[6] Jacobs, Bart (1999), Categorical Logic and Type Theory, Elsevier, pp. 1–4, ISBN 9780080528700

[1]

[2]

[3]

[4]

[5]

[6]

Anonymous

Search

संरचना (गणितीय तर्क): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 13:35, 17 March 2023

Contents

परिभाषा

डोमेन

संकेत

व्याख्या फलन

उदाप्रत्येकण

प्रेरित अवसंरचनाएं और बंद उप-समूचय

उदाप्रत्येकण

समरूपता और एम्बेडिंग

समरूपता

एम्बेडिंग

उदाप्रत्येकण

समरूपता समस्या

संरचनाएं और प्रथम-क्रम तर्क

संतुष्टि संबंध

निश्चित संबंध

मापदंडों के साथ निश्चितता

निहित निश्चितता

कई प्रकार की संरचनाएं

अन्य सामान्यीकरण

आंशिक बीजगणित

टाइप की गई भाषाओं के लिए संरचनाएं

उच्च-क्रम की भाषाएँ

संरचनाएं जो उचित वर्ग है

यह भी देखें

टिप्पणियाँ

संदर्भ

बाप्रत्येकी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
 {{Short description|Mapping of mathematical formulas to a particular meaning, in universal algebra and in model theory}}
-{{not to be confused|गणित का प्रतिरूप}}
+[[सार्वभौमिक बीजगणित]] और [[मॉडल सिद्धांत]] में, '''संरचना''' में एक [[सेट (गणित)]] के साथ-साथ [[अंतिम]] संचालन और [[अंतिम संबंध|संबंधों]] का एक संग्रह होता है जो उस पर परिभाषित होते है।
-{{More footnotes|date=April 2010}}
-[[सार्वभौमिक बीजगणित]] और [[मॉडल सिद्धांत|प्रतिरूप सिद्धांत]] में, '''संरचना''' में एक [[सेट (गणित)]] के साथ-साथ [[अंतिम]] संचालन और [[अंतिम संबंध|संबंधों]] का एक संग्रह होता है जो उस पर परिभाषित होता है।
-सार्वभौम बीजगणित उन संरचनाओं का अध्ययन करता है जो [[समूह (गणित)|समूह]], वलय, [[क्षेत्र (गणित)|क्षेत्र]] और सदिश स्थान जैसी [[बीजगणितीय संरचना|बीजगणितीय संरचनाओं]] का सामान्यीकरण करती है। सार्वभौम बीजगणित शब्द का उपयोग प्रथम-क्रम के सिद्धांतों की संरचनाओं के लिए किया जाता है, जिसमें कोई [[संबंध प्रतीक]] नहीं होता है।<ref>Some authors refer to structures as "algebras" when generalizing universal algebra to allow [[relation (mathematics)|relations]] as well as functions.</ref> प्रतिरूप सिद्धांत का एक अलग दायरा है जिसमें सेट सिद्धांत के प्रतिरूप जैसे मूलभूत संरचनाओं सहित अधिक मनमाना प्रथम-क्रम [[समुच्चय सिद्धान्त|सिद्धान्त]] सम्मलित है।
+सार्वभौम बीजगणित उन संरचनाओं का अध्ययन करता है जो [[समूह (गणित)|समूह]], [[क्षेत्र (गणित)|क्षेत्र]] और सदिश स्थान जैसी [[बीजगणितीय संरचना|बीजगणितीय संरचनाओं]] का सामान्यीकरण करती है। सार्वभौम बीजगणित शब्द का उपयोग प्रथम-क्रम के सिद्धांतों की संरचनाओं के लिए किया जाता है, जिसमें कोई [[संबंध प्रतीक]] नहीं होता है।<ref>Some authors refer to structures as "algebras" when generalizing universal algebra to allow [[relation (mathematics)|relations]] as well as functions.</ref> मॉडल सिद्धांत का एक अलग दायरा है जिसमें सेट सिद्धांत के मॉडल जैसे मूलभूत संरचनाओं सहित अधिक मनमाना प्रथम-क्रम सिद्धांतों को सम्मलित किया गया है।
-प्रतिरूप-सैद्धांतिक दृष्टिकोण से, संरचनाएं पहले-क्रम तर्क के शब्दार्थ को परिभाषित करने के लिए उपयोग की जाने वाली वस्तुएं है, सीएफ टार्स्की का सत्य का सिद्धांत या टार्स्कियन सिमेंटिक्स का सिद्धांत।
+मॉडल-सैद्धांतिक दृष्टिकोण से, संरचनाएं पहले-क्रम तर्क के शब्दार्थ को परिभाषित करने के लिए उपयोग की जाने वाली वस्तुएं है, सीएफ टार्स्की का सत्य का सिद्धांत या टार्स्कियन अर्थविज्ञान का सिद्धांत भी है।
-प्रतिरूप सिद्धांत में दिए गए सिद्धांत के लिए, एक संरचना को एक प्रतिरूप कहा जाता है यदि यह उस सिद्धांत के परिभाषित स्वयंसिद्धों को संतुष्ट करता है, चूंकि कभी-कभी इसे [[सिमेंटिक मॉडल|सिमेंटिक प्रतिरूप]] के रूप में असंबद्ध किया जाता है जब कोई गणितीय प्रतिरूप की अधिक सामान्य सेटिंग में धारणा पर चर्चा करता है। तर्कशास्त्री कभी-कभी संरचनाओं को [[व्याख्या (तर्क)|व्याख्या]] के रूप में संदर्भित करते है,<ref>
+मॉडल सिद्धांत में दिए गए सिद्धांत के लिए, संरचना को एक मॉडल कहा जाता है यदि यह उस सिद्धांत के परिभाषित स्वीकृती को संतुष्ट करता है, चूंकि कभी-कभी इसे [[सिमेंटिक मॉडल|अर्थ-संबंधी मॉडल]] के रूप में असंबद्ध किया जाता है जब कोई गणितीय मॉडल की अधिक सामान्य समायोजन में धारणा पर चर्चा करता है। तर्कशास्त्री कभी-कभी संरचनाओं को [[व्याख्या (तर्क)|व्याख्या]] के रूप में संदर्भित करते है,<ref>
 {{cite book |last=Hodges |first=Wilfrid |editor-last=Meijers |editor-first=Anthonie |date=2009 |chapter=Functional Modelling and Mathematical Models |title=Philosophy of technology and engineering sciences |series=Handbook of the Philosophy of Science |publisher=Elsevier |volume=9 |isbn=978-0-444-51667-1}}
-</ref> जबकि व्याख्या शब्द का सामान्यतः प्रतिरूप सिद्धांत में एक अलग (चूंकि संबंधित) अर्थ होता है, [[व्याख्या (मॉडल सिद्धांत)|व्याख्या (प्रतिरूप सिद्धांत)]] देखें।
+</ref> जबकि व्याख्या शब्द का सामान्यतः मॉडल सिद्धांत में एक अलग अर्थ होता है, [[व्याख्या (मॉडल सिद्धांत)]] देखें।
-[[डेटाबेस]] सिद्धांत में, बिना किसी फ़ंक्शन वाली संरचनाओं का [[संबंधपरक मॉडल|संबंधपरक]] डेटाबेस के [[संबंधपरक मॉडल|प्रतिरूप]] के रूप में अध्ययन किया जाता है।
+[[डेटाबेस]] सिद्धांत में, बिना किसी फलन वाली संरचनाओं का [[संबंधपरक मॉडल|संबंधपरक]] डेटाबेस के [[संबंधपरक मॉडल|मॉडल]] के रूप में अध्ययन किया जाता है।
 == परिभाषा ==
-औपचारिक रूप से, एक संरचना को ट्रिपल के रूप में परिभाषित किया जा सकता है <math>\mathcal{A} = (A, \sigma, I)</math> प्रवचन के एक डोमेन से मिलकर <math>A,</math> एक [[हस्ताक्षर (तर्क)]] <math>\sigma,</math> और एक व्याख्या समारोह <math>I</math> यह इंगित करता है कि डोमेन पर हस्ताक्षर की व्याख्या कैसे की जानी है। यह इंगित करने के लिए कि संरचना में एक विशेष हस्ताक्षर है <math>\sigma</math> कोई इसे एक <math>\sigma</math>-संरचना के रूप में संदर्भित कर सकता है।
+औपचारिक रूप से, एक संरचना को ट्रिपल के रूप में परिभाषित किया जा सकता है <math>\mathcal{A} = (A, \sigma, I)</math> डोमेन से मिलकर <math>A,</math> एक [[हस्ताक्षर (तर्क)|संकेत (तर्क)]] <math>\sigma,</math> और एक व्याख्या फलन <math>I</math> यह इंगित करता है कि डोमेन पर संकेत की व्याख्या कैसे की जाती है। यह इंगित करने के लिए कि संरचना में एक विशेष संकेत है <math>\sigma</math> कोई इसे एक <math>\sigma</math>-संरचना के रूप में संदर्भित कर सकता है।
 === डोमेन ===
-एक संरचना का डोमेन एक मनमाना सेट है, इसे संरचना का अंतर्निहित सेट, इसका वाहक (विशेष रूप से सार्वभौमिक बीजगणित में), इसका ब्रह्मांड (विशेष रूप से प्रतिरूप सिद्धांत) या इसके प्रवचन का डोमेन भी कहा जाता है। मौलिक प्रथम-क्रम तर्क में, संरचना की परिभाषा खाली डोमेन को प्रतिबंधित करती है।<ref>A logical system that allows the empty domain is known as an [[Free logic|inclusive logic]].</ref>
+एक संरचना का डोमेन एक मनमाना सेट होता है, इसे संरचना का अंतर्निहित सेट व्योम या डोमेन भी कहा जाता है। मौलिक प्रथम-क्रम तर्क में, संरचना की परिभाषा रिक्त डोमेन को प्रतिबंधित करती है।<ref>A logical system that allows the empty domain is known as an [[Free logic|inclusive logic]].</ref>
-कभी-कभी अंकन <math>\operatorname{dom}(\mathcal A)</math> या <math>|\mathcal A|</math> के डोमेन के लिए प्रयोग किया जाता है <math>\mathcal A,</math> लेकिन अधिकांशतः एक संरचना और उसके डोमेन (अर्थात, एक ही प्रतीक) के बीच कोई सांकेतिक भेद नहीं किया जाता है <math>\mathcal A</math> संरचना और उसके डोमेन दोनों को संदर्भित करता है।)<ref>As a consequence of these conventions, the notation <math>|\mathcal A|</math> may also be used to refer to the [[cardinality]] of the domain of <math>\mathcal A.</math> In practice this never leads to confusion.</ref>
+कभी-कभी अंकन <math>\operatorname{dom}(\mathcal A)</math> या <math>|\mathcal A|</math> के डोमेन के लिए प्रयोग किया जाता है <math>\mathcal A,</math> लेकिन अधिकांशतः संरचना और उसके डोमेन के बीच कोई सांकेतिक भेद नहीं किया जाता है (अर्थात, एक ही प्रतीक <math>\mathcal A</math> संरचना और उसके डोमेन दोनों को संदर्भित करता है।)<ref>As a consequence of these conventions, the notation <math>|\mathcal A|</math> may also be used to refer to the [[cardinality]] of the domain of <math>\mathcal A.</math> In practice this never leads to confusion.</ref>
-===हस्ताक्षर===
+===संकेत===
-{{Main|हस्ताक्षर (तर्क)}}
+{{Main| संकेत (तर्क)}}
-हस्ताक्षर (तर्क) <math>\sigma = (S, \operatorname{ar})</math> एक संरचना के होते है:
-* एक सेट <math>S</math> फ़ंक्शन प्रतीकों और [[संबंध प्रतीक|संबंध प्रतीकों]] के साथ
+संकेत (तर्क) <math>\sigma = (S, \operatorname{ar})</math> संरचना में सम्मलित होते है:
-* एक समारोह <math>\operatorname{ar} : \ S \to \N_0</math> जो प्रत्येक प्रतीक को बताता है <math>s</math> एक [[प्राकृतिक संख्या]] <math>n = \operatorname{ar}(s).</math> प्राकृतिक संख्या <math>n=\operatorname{ar}(s)</math> एक प्रतीक का <math>s</math> की आरती कहलाती है <math>s</math> क्योंकि यह व्याख्या की योग्यता है
-चूंकि [[बीजगणित]] में उत्पन्न होने वाले हस्ताक्षरों में अधिकांशतः केवल फ़ंक्शन प्रतीक होते है, बिना संबंध प्रतीकों वाले हस्ताक्षर को [[बीजगणितीय हस्ताक्षर]] कहा जाता है। ऐसे हस्ताक्षर वाली संरचना को बीजगणित भी कहा जाता है, इसे किसी क्षेत्र पर बीजगणित की धारणा के साथ भ्रमित नहीं होना चाहिए।
-=== व्याख्या समारोह ===
+* सेट <math>S</math> फलन प्रतीकों और [[संबंध प्रतीक|संबंध प्रतीकों]] के साथ होता है
-{{not to be confused|text=[[व्याख्या (प्रतिरूप सिद्धांत)|एक प्रतिरूप की व्याख्या]] दूसरे प्रतिरूप में}}
+* फलन <math>\operatorname{ar} : \ S \to \N_0</math> जो प्रत्येक प्रतीक को बताता है <math>s</math> एक [[प्राकृतिक संख्या]] <math>n = \operatorname{ar}(s).</math>
-व्याख्या कार्य <math>I</math> का <math>\mathcal A</math> हस्ताक्षर के प्रतीकों को कार्य और संबंध प्रदान करता है। प्रत्येक समारोह प्रतीक <math>f</math> दया की <math>n</math> सौंपा गया है <math>n</math>-एरी समारोह <math>f^{\mathcal A} = I(f)</math> डोमेन पर प्रदान करता है। प्रत्येक संबंध प्रतीक <math>R</math> दया की <math>n</math> एक सौंपा गया है <math>n</math>-आर्य संबंध <math>R^{\mathcal A} = I(R)\subseteq A^{\operatorname{ar(R)}}</math> डोमेन पर प्रदान करता है। एक शून्य (<math>= \, 0</math>-आरी) फ़ंक्शन प्रतीक <math>c</math> एक [[स्थिर प्रतीक]] कहा जाता है, क्योंकि इसकी व्याख्या <math>I(c)</math> डोमेन के एक स्थिर तत्व के साथ पहचाना जा सकता है।
+*प्राकृतिक संख्या <math>n=\operatorname{ar}(s)</math> एक प्रतीक का <math>s</math> का योग कहा जाता है क्योंकि यह व्याख्या [स्पष्टीकरण की आवशयकता] की अरिटी है
+चूंकि [[बीजगणित]] में उत्पन्न होने वाले संकेतों में अधिकांशतः केवल फलन प्रतीक होते है, बिना संबंध प्रतीकों वाले संकेत को [[बीजगणितीय हस्ताक्षर|बीजगणितीय संकेत]] कहा जाता है। ऐसे संकेत वाली संरचना को बीजगणित भी कहा जाता है, इसे किसी क्षेत्र पर बीजगणित की धारणा के साथ भ्रमित नहीं होना चाहिए।
-जब एक संरचना (और इसलिए एक व्याख्या कार्य) संदर्भ द्वारा दी जाती है, तो प्रतीक के बीच कोई सांकेतिक भेद नहीं किया जाता है <math>s</math> और इसकी व्याख्या <math>I(s).</math> उदाहरण के लिए, यदि <math>f</math> का एक बाइनरी फ़ंक्शन प्रतीक है <math>\mathcal A,</math> एक बस लिखता है <math>f : \mathcal A^2 \to \mathcal A</math> इसके अतिरिक्त <math>f^{\mathcal A} : |\mathcal A|^2 \to |\mathcal A|.</math>
+=== व्याख्या फलन ===
-=== उदाहरण ===
+व्याख्या फलन <math>I</math> का <math>\mathcal A</math> संकेत के प्रतीकों को फलन और संबंध प्रदान करता है। प्रत्येक फलन प्रतीक <math>f</math> की अरिटी <math>n</math> असाइन किया गया है <math>n</math>- एरी फलन <math>f^{\mathcal A} = I(f)</math> डोमेन पर प्रदान करता है। प्रत्येक संबंध प्रतीक <math>R</math> अरिटी की <math>n</math> असाइन किया गया है <math>n</math>-आरी संबंध <math>R^{\mathcal A} = I(R)\subseteq A^{\operatorname{ar(R)}}</math> डोमेन पर। एक शून्य (<math>= \, 0</math>-आरी) फलन प्रतीक <math>c</math> को [[स्थिर प्रतीक]] कहा जाता है, क्योंकि इसकी व्याख्या <math>I(c)</math> को डोमेन के एक स्थिर तत्व के साथ पहचाना जा सकता है।
-मानक हस्ताक्षर <math>\sigma_f</math> क्षेत्र (गणित) के लिए दो बाइनरी फ़ंक्शन प्रतीक होते है <math>\mathbf{+}</math> और <math>\mathbf{\times}</math> जहां अतिरिक्त प्रतीकों को प्राप्त किया जा सकता है, जैसे कि एकात्मक कार्य प्रतीक <math>\mathbf{-}</math> (विशिष्ट रूप से निर्धारित <math>\mathbf{+}</math>) और दो स्थिर प्रतीक <math>\mathbf{0}</math> और <math>\mathbf{1}</math> (विशिष्ट रूप से निर्धारित <math>\mathbf{+}</math> और <math>\mathbf{\times}</math> क्रमश)। इस प्रकार हस्ताक्षर के लिए एक संरचना (बीजगणित) में तत्वों का एक समूह होता है <math>A</math> साथ में दो बाइनरी फ़ंक्शंस, जिन्हें एक यूनरी फ़ंक्शन और दो विशिष्ट तत्वों के साथ बढ़ाया जा सकता है, लेकिन इस बात की कोई आवश्यकता नहीं है कि यह किसी भी क्षेत्र के स्वयंसिद्धों को संतुष्ट करे। परिमेय संख्याएँ <math>\Q,</math> [[वास्तविक संख्या]]एँ <math>\Reals</math> और [[जटिल संख्या]]एँ <math>\Complex,</math> किसी अन्य क्षेत्र की तरह माना जा सकता है <math>\sigma</math>-संरचना एक स्पष्ट तरीके से:<math display=block>\begin{alignat}{3}
+जब एक संरचना (और इसलिए व्याख्या फलन) संदर्भ द्वारा दी जाती है, तो प्रतीक <math>s</math> और इसकी व्याख्या <math>I(s).</math> के बीच कोई सांकेतिक भेद नहीं किया जाता है। उदाप्रत्येकण के लिए, यदि <math>f</math> का एक बाइनरी फलन प्रतीक है <math>\mathcal A,</math> केवल लिखता है <math>f : \mathcal A^2 \to \mathcal A</math> इसके अतिरिक्त <math>f^{\mathcal A} : |\mathcal A|^2 \to |\mathcal A|.</math>
+=== उदाप्रत्येकण ===
+मानक संकेत <math>\sigma_f</math> क्षेत्र (गणित) के लिए दो बाइनरी फलन प्रतीक होते है <math>\mathbf{+}</math> और <math>\mathbf{\times}</math> जहां अतिरिक्त प्रतीकों को प्राप्त किया जा सकता है, जैसे कि एकात्मक फलन प्रतीक <math>\mathbf{-}</math> विशिष्ट रूप से निर्धारित किया गया <math>\mathbf{+}</math>) और दो स्थिर चिह्न <math>\mathbf{0}</math> और <math>\mathbf{1}</math> (विशिष्ट रूप से निर्धारित <math>\mathbf{+}</math> और <math>\mathbf{\times}</math> क्रमश)। इस प्रकार संकेत के लिए एक संरचना (बीजगणित) में तत्वों का एक समूह होता है <math>A</math> एक साथ में दो बाइनरी फलन, जिन्हें एक यूनरी फलन और दो विशिष्ट तत्वों के साथ बढ़ाया जा सकता है, लेकिन इस बात की कोई आवश्यकता नहीं है कि यह किसी भी क्षेत्र के स्वीकृती को संतुष्ट करे। परिमेय संख्याएँ <math>\Q,</math> [[वास्तविक संख्या]]एँ <math>\Reals</math> और [[जटिल संख्या]]एँ <math>\Complex,</math> किसी अन्य क्षेत्र की तरह माना जा सकता है <math>\sigma</math>-संरचना एक स्पष्ट विधि से:<math display=block>\begin{alignat}{3}
 \mathcal Q &= (\Q, \sigma_f, I_{\mathcal Q}) \\
 \mathcal R &= (\Reals, \sigma_f, I_{\mathcal R}) \\
 \mathcal C &= (\Complex, \sigma_f, I_{\mathcal C}) \\
-\end{alignat}</math>तीनों स्थितियों में हमारे द्वारा दिए गए मानक हस्ताक्षर है<math display=block>\sigma_f = (S_f, \operatorname{ar}_f)</math>साथ<ref name="sign_and_number" /> <math>S_f = \{+, \times, -, 0, 1\}</math> और<math display="block">\begin{alignat}{3}
+\end{alignat}</math>तीनों स्थितियों में हमारे द्वारा दिए गए मानक फलन है<math display=block>\sigma_f = (S_f, \operatorname{ar}_f)</math>
+साथ<ref name="sign_and_number" /> <math>S_f = \{+, \times, -, 0, 1\}</math> और<math display="block">\begin{alignat}{3}
 \operatorname{ar}_f&(+) &&= 2, \\
 \operatorname{ar}_f&(\times) &&= 2, \\
@@ Line 49: / Line 51: @@
 \operatorname{ar}_f&(0) &&= 0, \\
 \operatorname{ar}_f&(1) &&= 0. \\
-\end{alignat}</math>व्याख्या कार्य <math>I_{\mathcal Q}</math> है:
+\end{alignat}</math>
+व्याख्या फलन <math>I_{\mathcal Q}</math> है:
 :<math>I_{\mathcal Q}(+) : \Q \times \Q \to \Q</math> परिमेय संख्याओं का जोड़ है,
 :<math>I_{\mathcal Q}(\times) : \Q \times \Q \to \Q</math> परिमेय संख्याओं का गुणन है,
-:<math>I_{\mathcal Q}(-) : \Q \to \Q</math> वह कार्य है जो प्रत्येक तर्कसंगत संख्या लेता है <math>x</math> को <math>-x,</math> और
+:<math>I_{\mathcal Q}(-) : \Q \to \Q</math> वह फलन है जो प्रत्येक तर्कसंगत संख्या लेता है <math>x</math> को <math>-x,</math> और
 :<math>I_{\mathcal Q}(0) \in \Q</math> संख्या है <math>0,</math> और
 :<math>I_{\mathcal Q}(1) \in \Q</math> संख्या है <math>1;</math>
-और <math>I_{\mathcal R}</math> और <math>I_{\mathcal C}</math> समान रूप से परिभाषित है।<ref name="sign_and_number">टिप्पणी: <math>\mathbf{0}, \mathbf{1},</math> और <math>\mathbf{-}</math> बाईं ओर के संकेतों को देखें <math>S_f.</math> <math>0, 1, 2,</math> और <math>-</math> दाईं ओर की प्राकृतिक संख्या देखें <math>N_0</math> और यूनरी ऑपरेशन माइनस इन <math>\Q.</math></रेफरी>
+और <math>I_{\mathcal R}</math> और <math>I_{\mathcal C}</math> समान रूप से परिभाषित है।<ref name="sign_and_number">टिप्पणी: <math>\mathbf{0}, \mathbf{1},</math> और <math>\mathbf{-}</math> बाईं ओर के संकेतों को देखें <math>S_f.</math> <math>0, 1, 2,</math> और <math>-</math> दाईं ओर की प्राकृतिक संख्या देखें <math>N_0</math> और यूनरी ऑपरेशन माइनस इन <math>\Q.</math></ref>
-लेकिन अंगूठी <math>\Z</math> [[पूर्णांक]]ों की संख्या, जो एक क्षेत्र नहीं है, भी एक है <math>\sigma_f</math>-संरचना उसी तरह। वास्तव में, इसकी कोई आवश्यकता नहीं है {{em|any}} क्षेत्र के स्वयंसिद्धों में एक है <math>\sigma_f</math>-संरचना।
+लेकिन [[पूर्णांक|पूर्णांको]] का <math>\Z</math> जो एक क्षेत्र नहीं है, <math>\sigma_f</math>-संरचना भी उसी तरह वास्तव में है, इस बात की कोई आवश्यकता नहीं है कि कोई भी क्षेत्र अभिगृहीत a में हो <math>\sigma_f</math>-संरचना।
-आदेशित फ़ील्ड के लिए एक हस्ताक्षर के लिए एक अतिरिक्त बाइनरी संबंध की आवश्यकता होती है जैसे <math>\,<\,</math> या <math>\,\leq,\,</math> और इसलिए इस तरह के हस्ताक्षर के लिए संरचनाएं बीजगणित नहीं हैं, भले ही वे शब्द के सामान्य, ढीले अर्थों में निश्चित रूप से बीजगणितीय संरचनाएं हों।
+आदेशित फ़ील्ड के लिए एक संकेत के अतिरिक्त बाइनरी संबंध की आवश्यकता होती है जैसे <math>\,<\,</math> या <math>\,\leq,\,</math> और इसलिए इस तरह के संकेत के लिए संरचनाएं बीजगणित नहीं है, भले ही वे शब्द के सामान्य, अस्पष्ट अर्थों में निश्चित रूप से बीजगणितीय संरचनाएं होती है।
-समुच्चय सिद्धांत के लिए सामान्य हस्ताक्षर में एक एकल द्विआधारी संबंध शामिल होता है <math>\in.</math> इस हस्ताक्षर के लिए एक संरचना में तत्वों का एक सेट होता है और इसकी व्याख्या होती है <math>\in</math> इन तत्वों पर एक द्विआधारी संबंध के रूप में संबंध।
+समुच्चय सिद्धांत के लिए सामान्य संकेत में एक एकल द्विआधारी संबंध सम्मलित होता है <math>\in.</math> इस संकेत के लिए एक संरचना में तत्व का एक सेट और व्याख्या होती है <math>\in</math> इन तत्वों पर एक द्विआधारी संबंध के रूप में होता है।
-==प्रेरित अवसंरचनाएं और बंद उपसमुच्चय==
+==प्रेरित अवसंरचनाएं और बंद उप-समूचय==
-<math>\mathcal A</math> की उपसंरचना (गणित)|(प्रेरित) उपसंरचना कहलाती है <math>\mathcal B</math> अगर
+<math>\mathcal A</math> का एक (प्रेरित) उपसंरचना कहा जाता है <math>\mathcal B</math> यदि
-*<math>\mathcal A</math> और <math>\mathcal B</math> एक ही हस्ताक्षर हैं <math>\sigma(\mathcal A) = \sigma(\mathcal B);</math>
+*<math>\mathcal A</math> और <math>\mathcal B</math> एक ही संकेत है <math>\sigma(\mathcal A) = \sigma(\mathcal B);</math>
-*का डोमेन <math>\mathcal A</math> के क्षेत्र में आता है <math>\mathcal B:</math> <math>|\mathcal A|\subseteq |\mathcal B|;</math> और
+*<math>\mathcal A</math> का डोमेन में सम्मलित होते है <math>\mathcal B:</math> <math>|\mathcal A|\subseteq |\mathcal B|;</math> और
-*सभी कार्यों और संबंध प्रतीकों की व्याख्या पर सहमत हैं <math>|\mathcal A|.</math>
+*सभी फलनों और संबंध प्रतीकों की व्याख्या पर सहमत है <math>|\mathcal A|.</math>
 इस संबंध के लिए सामान्य संकेतन है <math>\mathcal A \subseteq \mathcal B.</math>
-उपसमुच्चय <math>B \subseteq |\mathcal A|</math> एक संरचना के डोमेन के <math>\mathcal A</math> बंद कहा जाता है अगर यह के कार्यों के तहत बंद है <math>\mathcal A,</math> अर्थात्, यदि निम्न स्थिति संतुष्ट होती है: प्रत्येक प्राकृतिक संख्या के लिए <math>n,</math> प्रत्येक <math>n</math>-एरी फ़ंक्शन प्रतीक <math>f</math> (हस्ताक्षर में <math>\mathcal A</math>) और सभी तत्व <math>b_1, b_2, \dots, b_n \in B,</math> आवेदन करने का परिणाम <math>f</math> तक <math>n</math>-टुपल <math>b_1b_2\dots b_n</math> पुन: का एक अंग है <math>B:</math> <math>f(b_1, b_2, \dots, b_n) \in B.</math>
-प्रत्येक उपसमुच्चय के लिए <math>B\subseteq|\mathcal A|</math> का सबसे छोटा बंद उपसमुच्चय है <math>|\mathcal A|</math> उसमें सम्मिलित है <math>B.</math> इसे द्वारा उत्पन्न बंद उपसमुच्चय कहा जाता है <math>B,</math> या पतवार <math>B,</math> और द्वारा दर्शाया गया <math>\langle B\rangle</math> या <math>\langle B\rangle_{\mathcal A}</math>. परिचालक <math>\langle\rangle</math> के [[सत्ता स्थापित]] पर एक अंतिम क्लोजर ऑपरेटर है <math>|\mathcal A|</math>.
-अगर <math>\mathcal A = (A, \sigma, I)</math> और <math>B \subseteq A</math> एक बंद उपसमुच्चय है, तो <math>(B, \sigma, I')</math> की एक प्रेरित उपसंरचना है <math>\mathcal A,</math> कहाँ <math>I'</math> σ के प्रत्येक प्रतीक को प्रतिबंध निर्दिष्ट करता है <math>B</math> इसकी व्याख्या में <math>\mathcal A.</math> इसके विपरीत, एक प्रेरित उपसंरचना का डोमेन एक बंद उपसमुच्चय है।
+उप-समूचय <math>B \subseteq |\mathcal A|</math> संरचना के डोमेन का <math>\mathcal A</math> बंद कहा जाता है यदि यह के फलनों के तहत बंद है <math>\mathcal A,</math> अर्थात्, यदि निम्न शर्त पूरी होती है: प्रत्येक प्राकृतिक संख्या के लिए <math>n,</math> प्रत्येक <math>n</math>-एरी फलन प्रतीक <math>f</math> ( संकेत में <math>\mathcal A</math>) और सभी तत्व <math>b_1, b_2, \dots, b_n \in B,</math> लगाने का परिणाम <math>f</math> तक <math>n</math>-टुपल <math>b_1b_2\dots b_n</math> से एक तत्व है <math>B:</math> <math>f(b_1, b_2, \dots, b_n) \in B.</math>
-एक संरचना के बंद उपसमुच्चय (या प्रेरित अवसंरचना) एक जाली (क्रम) बनाते हैं। दो उपसमुच्चयों का मिलन (गणित) उनका प्रतिच्छेदन है। दो उपसमुच्चयों का जुड़ाव (गणित) उनके संघ द्वारा उत्पन्न बंद उपसमुच्चय है। सार्वभौम बीजगणित एक संरचना के अवसंरचनाओं की जाली का विस्तार से अध्ययन करता है।
+प्रत्येक उप-समूचय के लिए <math>B\subseteq|\mathcal A|</math> का सबसे छोटा बंद उप-समूचय है गणित <math>|\mathcal A|</math> उसमें सम्मिलित है <math>B.</math> इसे किसके द्वारा उत्पन्न बंद उप-समूचय कहा जाता है <math>B,</math> या पतवार और <math>B,</math> द्वारा दर्शाया गया <math>\langle B\rangle</math> या <math>\langle B\rangle_{\mathcal A}</math>. परिचालक <math>\langle\rangle</math> के सबसेट के सेट पर फ़ाइनिटरी क्लोजर ऑपरेटर है <math>|\mathcal A|</math>.
-===उदाहरण===
+यदि <math>\mathcal A = (A, \sigma, I)</math> और <math>B \subseteq A</math> एक बंद उप-समूचय है, तो <math>(B, \sigma, I')</math> की एक प्रेरित उपसंरचना है <math>\mathcal A,</math> कहाँ <math>I'</math> σ के प्रत्येक प्रतीक को प्रतिबंध निर्दिष्ट करता है <math>B</math> इसकी व्याख्या में <math>\mathcal A.</math> इसके विपरीत, एक प्रेरित उपसंरचना का डोमेन एक बंद उप-समूचय है।
-होने देना <math>\sigma = \{+, \times, -, 0, 1\}</math> फ़ील्ड के लिए फिर से मानक हस्ताक्षर बनें। जब माना जाता है <math>\sigma</math>प्राकृतिक तरीके से संरचनाएँ, परिमेय संख्याएँ वास्तविक संख्याओं का एक उपसंरचना बनाती हैं, और वास्तविक संख्याएँ जटिल संख्याओं का एक उपसंरचना बनाती हैं। परिमेय संख्याएँ वास्तविक (या सम्मिश्र) संख्याओं की सबसे छोटी उपसंरचना होती हैं जो क्षेत्र के स्वयंसिद्धों को भी संतुष्ट करती हैं।
+संरचना के बंद उप-समूचय (या प्रेरित अवसंरचना क्रम) बनाते है। दो उप-समूचयों का मिलन (गणित) उनका प्रतिच्छेदन है। दो उप-समूचयों का जुड़ाव (गणित) उनके संघ द्वारा उत्पन्न बंद उप-समूचय है। सार्वभौम बीजगणित एक संरचना के अवसंरचनाओं का विस्तार से अध्ययन करता है।
-पूर्णांकों का समुच्चय वास्तविक संख्याओं का और भी छोटा उपसंरचना देता है जो कि एक क्षेत्र नहीं है। दरअसल, पूर्णांक इस हस्ताक्षर का उपयोग करते हुए खाली सेट द्वारा उत्पन्न वास्तविक संख्याओं का आधार हैं। सार बीजगणित की धारणा जो इस हस्ताक्षर में एक क्षेत्र के उप-संरचना से मेल खाती है, वह एक क्षेत्र विस्तार की बजाय एक [[सबरिंग]] है।
+===उदाप्रत्येकण===
-ग्राफ़ (असतत गणित) को परिभाषित करने का सबसे स्पष्ट तरीका हस्ताक्षर के साथ एक संरचना है <math>\sigma</math> एक एकल बाइनरी संबंध प्रतीक से मिलकर <math>E.</math> ग्राफ़ के शीर्ष संरचना का डोमेन बनाते हैं, और दो शीर्षों के लिए <math>a</math> और <math>b,</math> <math>(a, b)\!\in \text{E}</math> मतलब कि <math>a</math> और <math>b</math> किनारे से जुड़े हुए हैं। इस एन्कोडिंग में, प्रेरित सबस्ट्रक्चर की धारणा ग्राफ थ्योरी#सबग्राफ्स की शब्दावली की धारणा से अधिक प्रतिबंधात्मक है। उदाहरण के लिए, चलो <math>G</math> एक ग्राफ बनें जिसमें किनारे से जुड़े दो कोने हों, और दें <math>H</math> एक ही कोने से बना ग्राफ हो लेकिन कोई किनार न हो। <math>H</math> का उपसमूह है <math>G,</math> लेकिन एक प्रेरित उपसंरचना नहीं। [[ग्राफ सिद्धांत]] में धारणा जो प्रेरित उप-संरचनाओं से मेल खाती है, वह प्रेरित उप-अनुच्छेदों की है।
+होने देना <math>\sigma = \{+, \times, -, 0, 1\}</math> फिर से फ़ील्ड के लिए मानक संकेत बनें होते है। जब माना जाता है <math>\sigma</math> संरचनाएँ प्राकृतिक विधि परिमेय संख्याएँ वास्तविक संख्याओं का एक उपसंरचना बनाती है, और वास्तविक संख्याएँ जटिल संख्याओं का एक उपसंरचना बनाती है। परिमेय संख्याएँ वास्तविक संख्याओं की सबसे छोटी उपसंरचना होती है जो क्षेत्र के स्वीकृति को भी संतुष्ट करती है।
+पूर्णांकों का समुच्चय वास्तविक संख्याओं का और भी छोटा उपसंरचना देता है जो कि एक क्षेत्र नहीं है। दरअसल, पूर्णांक इस संकेत का उपयोग करते हुए रिक्त सेट द्वारा उत्पन्न वास्तविक संख्याओं का आधार है। सार बीजगणित में धारणा जो एक क्षेत्र के उपसंरचना से मेल खाती है, वह एक क्षेत्र की विस्तार की है।
+ग्राफ़ को परिभाषित करने का सबसे स्पष्ट विधि वाली संरचना है <math>\sigma</math> एक एकल बाइनरी संबंध प्रतीक होता है <math>E.</math> ग्राफ़ के शीर्ष संरचना का डोमेन बनाते है, और दो शीर्षों के लिए <math>a</math> और <math>b,</math> <math>(a, b)\!\in \text{E}</math> मतलब कि <math>a</math> और <math>b</math> किनारे से जुड़े हुए है। संकेतीकरण में, सबग्राफ्स की शब्दावली की धारणा से अधिक प्रतिबंधात्मक है। उदाप्रत्येकण के लिए, लेट <math>G</math> एक ग्राफ बनें जिसमें किनारे से जुड़े दो कोने होते है, और <math>H</math> एक ही कोने से बना ग्राफ है लेकिन कोई किनारा नहीं होता है। <math>H</math> का उपसमूह है <math>G,</math> लेकिन एक प्रेरित उपसंरचना नहीं। [[ग्राफ सिद्धांत]] में धारणा जो प्रेरित उप-संरचनाओं से मेल खाती है, वह प्रेरित उप-अनुच्छेदों की है।
 ==समरूपता और एम्बेडिंग==
-{{See also|Universal algebra#Basic constructions}}
+{{See also|यूनिवर्सल बीजगणित मूल निर्माण}}
 ===समरूपता===
-दो संरचनाएं दी गई हैं <math>\mathcal A</math> और <math>\mathcal B</math> एक ही हस्ताक्षर σ, a (σ-) समरूपता से <math>\mathcal A</math> को <math>\mathcal B</math> एक नक्शा है (गणित) <math>h:|\mathcal A|\rightarrow|\mathcal B|</math> जो कार्यों और संबंधों को संरक्षित करता है। ज्यादा ठीक:
+दो संरचनाएं दी गई है <math>\mathcal A</math> और <math>\mathcal B</math> एक ही संकेत σ, a (σ-) समरूपता से <math>\mathcal A</math> को <math>\mathcal B</math> एक नक्शा है (गणित) <math>h:|\mathcal A|\rightarrow|\mathcal B|</math> जो फलनों और संबंधों को संरक्षित करता है। ज्यादा ठीक:
-*σ और किसी भी तत्व के प्रत्येक n-ary फ़ंक्शन प्रतीक f के लिए <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math>, निम्नलिखित समीकरण धारण करता है:
+*प्रत्येक एन-एरी फ़ंक्शन के लिए σ और किसी भी तत्व का प्रतीक ''f'' के लिए <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math>, निम्नलिखित समीकरण धारण करता है:
 ::<math>h(f(a_1,a_2,\dots,a_n))=f(h(a_1),h(a_2),\dots,h(a_n))</math>.
-*हर एन-आरी संबंध के लिए σ और किसी भी तत्व का प्रतीक आर <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math>, निम्नलिखित निहितार्थ धारण करता है:
+*प्रत्येक एन-एरी संबंध के लिए σ और किसी भी तत्व का प्रतीक आर <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math>, निम्नलिखित निहितार्थ धारण करता है:
-::<math>(a_1,a_2,\dots,a_n)\in R^{\mathcal{A}} \implies (h(a_1),h(a_2),\dots,h(a_n))\in R^{\mathcal{B}}</math> कहाँ <math>R^{\mathcal{A}}</math>, <math>R^{\mathcal{B}}</math> संबंध प्रतीक की व्याख्या है <math>R</math> संरचना में वस्तु सिद्धांत की <math>\mathcal{A}</math>, <math>\mathcal{B}</math> क्रमश।
+::जहा <math>(a_1,a_2,\dots,a_n)\in R^{\mathcal{A}} \implies (h(a_1),h(a_2),\dots,h(a_n))\in R^{\mathcal{B}}</math> कहाँ <math>R^{\mathcal{A}}</math>, <math>R^{\mathcal{B}}</math> संबंध प्रतीक की व्याख्या है <math>R</math> संरचना में वस्तु सिद्धांत की <math>\mathcal{A}</math>, <math>\mathcal{B}</math> क्रमश।
-एक समरूपता एच से <math>\mathcal A</math> को <math>\mathcal B</math> आमतौर पर के रूप में दर्शाया गया है <math>h: \mathcal A\rightarrow\mathcal B</math>, हालांकि तकनीकी रूप से कार्य h डोमेन के बीच है <math>|\mathcal{A}|</math>, <math>|\mathcal{B}|</math> दो संरचनाओं में से <math>\mathcal{A}</math>, <math>\mathcal{B}</math>.
+एक समरूपता ''h'' से <math>\mathcal A</math> को <math>\mathcal B</math> सामान्यतः के रूप में दर्शाया गया है <math>h: \mathcal A\rightarrow\mathcal B</math>, चूंकि तकनीकी रूप से फलन ''h'' के बीच है <math>|\mathcal{A}|</math>, <math>|\mathcal{B}|</math> दो संरचनाओं में से <math>\mathcal{A}</math>, <math>\mathcal{B}</math>.
-प्रत्येक हस्ताक्षर σ के लिए एक [[ठोस श्रेणी]] [[श्रेणी (गणित)]] σ-होम है जिसमें वस्तुओं के रूप में σ-संरचनाएं और आकारिकी (श्रेणी सिद्धांत) के रूप में σ-होमोमोर्फिज्म हैं।
+प्रत्येक हस्ताक्षर σ के लिए एक ठोस श्रेणी σ-होम होती है जिसमें σ-संरचनाएं वस्तुओं के रूप में होती है और σ- होमोमोर्फिज्म आकारिकी के रूप में होती है।
-एक समरूपता <math>h: \mathcal A\rightarrow\mathcal B</math> कभी-कभी मजबूत कहा जाता है अगर:
+एक समरूपता <math>h: \mathcal A\rightarrow\mathcal B</math> को कभी-कभी मजबूत कहा जाता है यदि:
-*प्रत्येक 'एन'-आर्य संबंध प्रतीक 'आर' वस्तु सिद्धांत और किसी भी तत्व के लिए <math>b_1,b_2,\dots,b_n\in|\mathcal B|</math> ऐसा है कि <math>(b_1,b_2,\dots,b_n)\in R^{\mathcal{B}}</math>, वहाँ हैं <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math> ऐसा है कि <math>(a_1,a_2,\dots,a_n)\in R^{\mathcal{A}}</math> और <math>b_1=h(a_1),\,b_2=h(a_2),\,\dots,\,b_n=h(a_n).</math>{{Citation needed|reason=This definition of strong homomorphism looks non-standard.|date=September 2015}}{{dubious|date=January 2023|reason=This definition seems to require the homomorphism to be surjective. It also appears to be non-standard, and no references are given for it.}}
+*वस्तु सिद्धांत और किसी भी तत्व के प्रत्येक एन-आरी संबंध प्रतीक आर के लिए और किसी भी तत्व के लिए <math>b_1,b_2,\dots,b_n\in|\mathcal B|</math> ऐसा है कि <math>(b_1,b_2,\dots,b_n)\in R^{\mathcal{B}}</math>, वहाँ है <math>a_1,a_2,\dots,a_n\in|\mathcal A|</math> ऐसा है कि <math>(a_1,a_2,\dots,a_n)\in R^{\mathcal{A}}</math> और <math>b_1=h(a_1),\,b_2=h(a_2),\,\dots,\,b_n=h(a_n).</math>
-मजबूत समाकारिताएँ σ-होम श्रेणी की एक उपश्रेणी को जन्म देती हैं जिसका ऊपर विरोध किया गया था।
+मजबूत समरूपता σ-होम श्रेणी की एक उपश्रेणी को जन्म देती है जिसका ऊपर विरोध किया गया था।
 ===एम्बेडिंग===
-ए (σ-) समरूपता <math>h:\mathcal A\rightarrow\mathcal B</math> एक (σ-) एम्बेडिंग कहा जाता है अगर यह [[इंजेक्शन समारोह]] है | एक-से-एक और
+ए (σ-) समरूपता <math>h:\mathcal A\rightarrow\mathcal B</math> एक (σ-) एम्बेडिंग कहा जाता है यदि यह [[इंजेक्शन समारोह|अतिरक्‍तता फलन]] है | एक-से-एक और
 *σ और किसी भी तत्व के प्रत्येक ''n''-आर्य संबंध प्रतीक 'R'' के लिए <math>a_1,a_2,\dots,a_n</math>, निम्नलिखित समानता रखती है:''
 ::<math>(a_1,a_2,\dots,a_n)\in R^{\mathcal{A}} \iff(h(a_1),h(a_2),\dots,h(a_n))\in R^{\mathcal{B}}</math>
-(जहां पहले की तरह <math>R^{\mathcal{A}}</math>, <math>R^{\mathcal{B}}</math> संरचना में वस्तु सिद्धांत σ के संबंध प्रतीक R की व्याख्या को संदर्भित करता है <math>\mathcal{A}</math>, <math>\mathcal{B}</math> क्रमश)।
+(जहां पहले की तरह <math>R^{\mathcal{A}}</math>, <math>R^{\mathcal{B}}</math> संरचना में वस्तु सिद्धांत σ के संबंध प्रतीक R की व्याख्या को संदर्भित करता है <math>\mathcal{A}</math>, <math>\mathcal{B}</math> क्रमश)। इस प्रकार एक एम्बेडिंग एक मजबूत समरूपता के समान है जो एक-से-एक है। σ-संरचनाओं और σ-एम्बेडिंग की श्रेणी σ-Emb σ-होम की एक ठोस [[उपश्रेणी]] है।
-इस प्रकार एक एम्बेडिंग एक मजबूत समरूपता के समान है जो एक-से-एक है।
+प्रेरित अवसंरचनाएँ σ-Emb में उप-वस्तुओं के अनुरूप है। यदि σ में केवल फलन प्रतीक है, तो σ-Emb σ-होम के [[एकरूपता]] की उपश्रेणी है। इस स्थितियो में प्रेरित अवसंरचना भी σ-होम में [[subobject|उपवस्तु]] के अनुरूप होती है।
-σ-संरचनाओं और σ-एम्बेडिंग की श्रेणी σ-Emb σ-होम की एक ठोस [[उपश्रेणी]] है।
-प्रेरित अवसंरचनाएँ σ-Emb में उप-वस्तुओं के अनुरूप हैं। यदि σ में केवल फ़ंक्शन प्रतीक हैं, तो σ-Emb σ-होम के [[एकरूपता]] की उपश्रेणी है। इस मामले में प्रेरित अवसंरचना भी σ-होम में [[subobject]] के अनुरूप है।
+===उदाप्रत्येकण===
-===उदाहरण===
+जैसा कि ऊपर देखा गया है, संरचनाओं के रूप में रेखांकन के मानक संकेतीकरणमें प्रेरित उप-संरचना ठीक-ठीक प्रेरित उप-अनुच्छेद है। चूंकि, एक [[ग्राफ समरूपता]] एक ही चीज़ है जो ग्राफ़ को कोड करने वाली दो संरचनाओं के बीच एक समरूपता है। पिछले अनुभाग के उदाप्रत्येकण में, भले ही G का सबग्राफ H प्रेरित नहीं है, पहचान मानचित्र आईडी: H → G एक समरूपता है। यह मानचित्र वास्तव में σ-होम श्रेणी में एक एकरूपता है, और इसलिए H, G का एक सबऑब्जेक्ट है जो एक प्रेरित आधार नहीं है।
-जैसा कि ऊपर देखा गया है, संरचनाओं के रूप में रेखांकन के मानक एन्कोडिंग में प्रेरित उप-संरचना ठीक-ठीक प्रेरित उप-अनुच्छेद हैं। हालाँकि, एक [[ग्राफ समरूपता]] एक ही चीज़ है जो ग्राफ़ को कोड करने वाली दो संरचनाओं के बीच एक होमोमोर्फिज़्म है। पिछले अनुभाग के उदाहरण में, भले ही G का सबग्राफ H प्रेरित न हो, पहचान मैप आईडी: H → G एक समरूपता है। यह नक्शा वास्तव में σ-'होम' श्रेणी में एक मोनोमोर्फिज्म है, और इसलिए H, G का एक सबऑब्जेक्ट है जो एक प्रेरित सबस्ट्रक्चर नहीं है।
 ===समरूपता समस्या===
@@ Line 128: / Line 131: @@
 निम्नलिखित समस्या को समरूपता समस्या के रूप में जाना जाता है:
-:दो परिमित संरचनाओं को देखते हुए <math>\mathcal A</math> और <math>\mathcal B</math> एक परिमित संबंधपरक हस्ताक्षर के लिए, एक समरूपता खोजें <math>h:\mathcal A\rightarrow\mathcal B</math> या दिखाएँ कि ऐसा कोई समरूपता मौजूद नहीं है।
+:दो परिमित संरचनाओं को देखते हुए <math>\mathcal A</math> और <math>\mathcal B</math> एक परिमित संबंधपरक संकेत के लिए, एक समरूपता खोजें <math>h:\mathcal A\rightarrow\mathcal B</math> या दिखाएँ कि ऐसा कोई समरूपता उपस्थित नहीं है।
-हर [[बाधा संतुष्टि समस्या]] (CSP) का समरूपता समस्या में अनुवाद है।<nowiki><ref></nowiki>{{Citation |last1=Jeavons |first1=Peter |last2=Cohen |first2=David |last3=Pearson |first3=Justin |date=1998 |title=Constraints and universal algebra |journal=Annals of Mathematics and Artificial Intelligence |doi=10.1023/A:1018941030227 |volume=24 |pages=51–67 |s2cid=15244028 |postscript=.}}</ref> इसलिए, [[परिमित मॉडल सिद्धांत|परिमित प्रतिरूप सिद्धांत]] के तरीकों का उपयोग करके बाधा संतुष्टि और समरूपता समस्या की जटिलता का अध्ययन किया जा सकता है।
+प्रत्येक [[बाधा संतुष्टि समस्या|प्रतिबन्धी संतुष्टि कि समस्या]] (सीएसपी) का समरूपता समस्या में अनुवाद है।<nowiki><ref></nowiki>{{Citation |last1=जेवन्स |first1=पीटर |last2=कोहेन |first2=डेविड |last3=पियर्सन |first3=जस्टिन |date=1998 |title=बाधाएं और सार्वभौमिक बीजगणित |journal=गणित और आर्टिफिशियल इंटेलिजेंस के इतिहास |doi=10.1023/A:1018941030227 |volume=24 |pages=51–67 |s2cid=15244028 |postscript=.}}</ref> इसलिए, [[परिमित मॉडल सिद्धांत]] के विधियो का उपयोग करके प्रतिबन्धि संतुष्टि और समरूपता समस्या की जटिलता का अध्ययन किया जा सकता है।
-एक अन्य अनुप्रयोग डेटाबेस सिद्धांत में है, जहां डेटाबेस का एक संबंध प्रतिरूप अनिवार्य रूप से एक संबंध स्ट्रक्चर के समान होता है। यह पता चला है कि डेटाबेस पर एक संयोजन क्वेरी को डेटाबेस प्रतिरूप के समान हस्ताक्षर में किसी अन्य संरचना द्वारा वर्णित किया जा सकता है। संबंधपरक प्रतिरूप से क्वेरी का प्रतिनिधित्व करने वाली संरचना के लिए एक समरूपता क्वेरी के समाधान के समान ही है। इससे पता चलता है कि संयोजक क्वेरी समस्या भी समाकारिता समस्या के समतुल्य है।
+एक अन्य अनुप्रयोग डेटाबेस सिद्धांत में है, जहां डेटाबेस का एक संबंध मॉडल अनिवार्य रूप से एक संबंध संरचना के समान होता है। इससे पता चलता है कि डेटाबेस पर एक संयोजन क्वेरी को डेटाबेस मॉडल के समान संकेत में किसी अन्य संरचना द्वारा वर्णित किया जा सकता है। संबंधपरक मॉडल से क्वेरी का प्रतिनिधित्व करने वाली संरचना के लिए एक समरूपता क्वेरी के समाधान के समान ही है। इससे पता चलता है कि संयोजक क्वेरी समस्या भी होमोमोरफिस्म समस्या के समतुल्य है।
 == संरचनाएं और प्रथम-क्रम तर्क ==
-{{See also|मॉडल सिद्धांत # प्रथम-क्रम तर्क|मॉडल सिद्धांत # निश्चितता}}
+{{See also|प्रतिरूप सिद्धांत # प्रथम-क्रम तर्क|प्रतिरूप सिद्धांत # निश्चितता}}
-संरचनाओं को कभी-कभी "प्रथम-क्रम संरचना" के रूप में संदर्भित किया जाता है। यह भ्रामक है, क्योंकि उनकी परिभाषा में कुछ भी उन्हें किसी विशिष्ट तर्क से बांधता नहीं है, और वास्तव में वे शब्दार्थ वस्तुओं के रूप में उपयुक्त है, दोनों पहले क्रम के तर्क के बहुत सीमित अंशों के लिए जैसे कि सार्वभौमिक बीजगणित में उपयोग किया जाता है, और दूसरे क्रम के तर्क के लिए। प्रथम-क्रम तर्क और प्रतिरूप सिद्धांत के संबंध में, संरचनाओं को अधिकांशतः प्रतिरूप कहा जाता है, तब भी जब प्रश्न "किसका प्रतिरूप?" कोई स्पष्ट उत्तर नहीं है।
+संरचनाओं को कभी-कभी "प्रथम-क्रम संरचना" के रूप में संदर्भित किया जाता है। ह भ्रामक है, क्योंकि उनकी परिभाषा में कुछ भी उन्हें किसी विशिष्ट तर्क से बांधता नहीं है, और वास्तव में वे शब्दार्थ वस्तुओं के रूप में उपयुक्त है, दोनों पहले क्रम के तर्क के बहुत सीमित अंशों के लिए जैसे कि सार्वभौमिक बीजगणित में उपयोग किया जाता है, और दूसरे क्रम के तर्क के लिए भी उपयोग किया जाता है। प्रथम-क्रम तर्क और मॉडल सिद्धांत के संबंध में, संरचनाओं को अधिकांशतः मॉडल कहा जाता है, तब भी जब प्रश्न किसका मॉडल? होता है तो कोई स्पष्ट उत्तर नहीं होता है।
 === संतुष्टि संबंध ===
-प्रत्येक प्रथम-क्रम संरचना <math>\mathcal{M} = (M, \sigma, I)</math> संतोष सम्बन्ध है <math>\mathcal{M} \vDash \phi</math> सभी सूत्रों के लिए परिभाषित <math>\, \phi</math> की भाषा से मिलकर भाषा में <math>\mathcal{M}</math> के प्रत्येक तत्व के लिए एक स्थिर प्रतीक के साथ <math>M,</math> जिसकी व्याख्या उस तत्व के रूप में की जाती है।इस संबंध को टार्स्की की [[टी-स्कीमा]] का उपयोग करके आगमनात्मक रूप से परिभाषित किया गया है।
+प्रत्येक प्रथम-क्रम संरचना <math>\mathcal{M} = (M, \sigma, I)</math> का संतुष्टि संबंध है<math>\mathcal{M} \vDash \phi</math> सभी सूत्रों के लिए परिभाषित <math>\, \phi</math> की भाषा से मिलकर भाषा में <math>\mathcal{M}</math> के प्रत्येक तत्व के लिए एक स्थिर प्रतीक के साथ <math>M,</math> जिसे उस तत्व के रूप में समझा जाता है। इस संबंध को टार्स्की की [[टी-स्कीमा]] का उपयोग करके आगमनात्मक रूप से परिभाषित किया गया है।
-संरचना <math>\mathcal{M}</math> एक [[सिद्धांत (गणितीय तर्क)]] का एक प्रतिरूप कहा जाता है <math>T</math> यदि की भाषा <math>\mathcal{M}</math> की भाषा के समान है <math>T</math> और हर वाक्य में <math>T</math> से संतुष्ट है <math>\mathcal{M}.</math> इस प्रकार, उदाहरण के लिए, एक वलय, छल्लों की भाषा के लिए एक संरचना है जो प्रत्येक वलय के स्वयंसिद्धों को संतुष्ट करती है, और ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों का एक प्रतिरूप सेट सिद्धांत की भाषा में एक संरचना है जो प्रत्येक ZFC स्वयंसिद्धों को संतुष्ट करती है।
+संरचना <math>\mathcal{M}</math> [[सिद्धांत (गणितीय तर्क)]] का एक मॉडल कहा जाता है <math>T</math> यदि भाषा <math>\mathcal{M}</math> की भाषा के समान है <math>T</math> और प्रत्येक वाक्य में <math>T</math> से संतुष्ट है <math>\mathcal{M}.</math> इस प्रकार, उदाहरण के लिए, जेडएफसी सेट सिद्धांत मॉडल भाषा में एक संरचना है। जो प्रत्येक जेडएफसी स्वीकृत को संतुष्ट करती है।
 === निश्चित संबंध ===
-एक <math>n</math>-आर्य संबंध <math>R</math> ब्रह्मांड पर (अर्थात डोमेन) <math>M</math> संरचना का <math>\mathcal{M}</math> परिभाषित करने योग्य कहा जाता है (या स्पष्ट रूप से परिभाषित करने योग्य cf. [[बेथ निश्चितता]], या <math>\emptyset</math>-परिभाषित करने योग्य, या से मापदंडों के साथ निश्चित <math>\emptyset</math>सी एफ नीचे) यदि कोई सूत्र है <math>\varphi(x_1, \ldots, x_n)</math> ऐसा है कि<math display=block>R = \{ (a_1, \ldots, a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)\}.</math>दूसरे शब्दों में, <math>R</math> निश्चित है यदि और केवल यदि कोई सूत्र है <math>\varphi</math> ऐसा है कि<math display="block">(a_1,\ldots,a_n ) \in R \Leftrightarrow  \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)</math>सही है।
+एक <math>n</math>-आर्य संबंध <math>R</math> व्योम पर (अर्थात डोमेन) <math>M</math> संरचना का <math>\mathcal{M}</math> परिभाषित करने योग्य कहा जाता है (या स्पष्ट रूप से परिभाषित करने योग्य सीएफ [[बेथ निश्चितता]], या <math>\emptyset</math>-परिभाषित करने योग्य, या मापदंडों के साथ निश्चित <math>\emptyset</math>सीएफ नीचे) यदि कोई सूत्र है <math>\varphi(x_1, \ldots, x_n)</math> जैसे कि<math display=block>R = \{ (a_1, \ldots, a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)\}.</math>दूसरे शब्दों में, <math>R</math> निश्चित है यदि कोई सूत्र है <math>\varphi</math> जैसा कि<math display="block">(a_1,\ldots,a_n ) \in R \Leftrightarrow  \mathcal{M} \vDash \varphi(a_1,\ldots,a_n)</math>सही है। एक महत्वपूर्ण विशेष स्थिति विशिष्ट तत्वों की निश्चितता है। तत्व <math>m</math> का <math>M</math> में निश्चित है <math>\mathcal{M}</math> यदि और केवल यदि कोई सूत्र है <math>\varphi(x)</math> जैसा कि<math display="block">\mathcal{M}\vDash \forall x ( x = m \leftrightarrow \varphi(x)).</math>
-एक महत्वपूर्ण विशेष मामला विशिष्ट तत्वों की निश्चितता है। तत्व <math>m</math> का <math>M</math> में निश्चित है <math>\mathcal{M}</math> यदि और केवल यदि कोई सूत्र है <math>\varphi(x)</math> ऐसा है कि<math display="block">\mathcal{M}\vDash \forall x ( x = m \leftrightarrow \varphi(x)).</math>
 ==== मापदंडों के साथ निश्चितता ====
-एक रिश्ता <math>R</math> कहा जाता है कि मापदंडों के साथ परिभाषित किया जा सकता है (या <math>|\mathcal M|</math>-निश्चित) यदि कोई सूत्र है <math>\varphi</math> मापदंडों के साथ <math>\mathcal{M}</math> ऐसा है कि <math>R</math> का प्रयोग करके निश्चित किया जा सकता है <math>\varphi.</math> एक संरचना के प्रत्येक तत्व को पैरामीटर के रूप में तत्व का उपयोग करके परिभाषित किया जा सकता है।
+एक सन्दर्भ में, <math>R</math> को मापदंडों के साथ निश्चित या परिभाषित किया जा सकता है (या <math>|\mathcal M|</math>-निश्चित) यदि कोई सूत्र है <math>\varphi</math> मापदंडों के साथ <math>\mathcal{M}</math> ऐसा है कि <math>R</math> का प्रयोग करके निश्चित किया जा सकता है <math>\varphi.</math> एक संरचना के प्रत्येक तत्व का उपयोग करके परिभाषित किया जा सकता है।
-कुछ लेखक बिना मापदंडों के निश्चित अर्थ के लिए निश्चित का उपयोग करते है, जबकि अन्य लेखकों का मतलब मापदंडों के साथ निश्चित है। मोटे तौर पर, परिपाटी का अर्थ है कि उसे बिना मापदंडों के परिभाषित किया जा सकता है, सेट सिद्धांतकारों के बीच अधिक सामान्य है, जबकि विपरीत सम्मेलन प्रतिरूप सिद्धांतकारों के बीच अधिक सामान्य है।
+कुछ लेखक बिना मापदंडों के निश्चित अर्थ के लिए निश्चित का उपयोग करते है, जबकि अन्य लेखकों का मतलब मापदंडों के साथ निश्चित होता है। मोटे तौर पर, परिपाटी का अर्थ है कि उसे बिना मापदंडों के परिभाषित किया जा सकता है, सेट सिद्धांतकारों के बीच अधिक सामान्य होता है, जबकि विपरीत सम्मेलन मॉडल सिद्धांतकारों के बीच अधिक सामान्य होता है।
 ==== निहित निश्चितता ====
-ऊपर से याद करें कि ए <math>n</math>-आर्य संबंध <math>R</math> ब्रह्मांड पर <math>M</math> का <math>\mathcal{M}</math> यदि कोई सूत्र है तो स्पष्ट रूप से परिभाषित किया जा सकता है <math>\varphi(x_1, \ldots, x_n)</math> ऐसा है कि<math display=block>R = \{ (a_1,\ldots,a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n) \}.</math>
+ऊपर से याद करें कि ए <math>n</math>-आर्य संबंध <math>R</math> व्योम पर <math>M</math> का <math>\mathcal{M}</math> यदि कोई सूत्र है तो स्पष्ट रूप से परिभाषित किया जा सकता है <math>\varphi(x_1, \ldots, x_n)</math> ऐसा है कि<math display=block>R = \{ (a_1,\ldots,a_n ) \in M^n : \mathcal{M} \vDash \varphi(a_1,\ldots,a_n) \}.</math><br />यहाँ सूत्र <math>\varphi</math> संबंध को परिभाषित करने के लिए प्रयोग किया जाता है <math>R</math> के संकेत के ऊपर होना चाहिए <math>\mathcal{M}</math> इसलिए <math>\varphi</math> उल्लेख नहीं हो सकता <math>R</math> खुद, के बाद से <math>R</math> के संकेत में नहीं है <math>\mathcal{M}.</math> यदि कोई सूत्र है <math>\varphi</math> की भाषा युक्त विस्तारित भाषा में <math>\mathcal{M}</math> और एक नया प्रतीक <math>R,</math> और संबंध <math>R</math> पर ही संबंध है <math>\mathcal{M}</math> ऐसा है कि <math>\mathcal{M} \vDash \varphi,</math> तब <math>R</math> परोक्ष रूप से परिभाषित किया जा सकता है <math>\mathcal{M}.</math> बेथ की प्रमेय, प्रत्येक निहित रूप से परिभाषित संबंध स्पष्ट रूप से निश्चित है।
-यहाँ सूत्र <math>\varphi</math> संबंध को परिभाषित करने के लिए प्रयोग किया जाता है <math>R</math> के हस्ताक्षर के ऊपर होना चाहिए <math>\mathcal{M}</math> इसलिए <math>\varphi</math> उल्लेख नहीं हो सकता <math>R</math> खुद, के बाद से <math>R</math> के हस्ताक्षर में नहीं है <math>\mathcal{M}.</math> यदि कोई सूत्र है <math>\varphi</math> की भाषा युक्त विस्तारित भाषा में <math>\mathcal{M}</math> और एक नया प्रतीक <math>R,</math> और संबंध <math>R</math> पर ही संबंध है <math>\mathcal{M}</math> ऐसा है कि <math>\mathcal{M} \vDash \varphi,</math> तब <math>R</math> परोक्ष रूप से परिभाषित किया जा सकता है <math>\mathcal{M}.</math>
-बेथ निश्चितता द्वारा | बेथ की प्रमेय, प्रत्येक निहित रूप से परिभाषित संबंध स्पष्ट रूप से निश्चित है।
 == कई प्रकार की संरचनाएं ==
-ऊपर परिभाषित संरचनाओं को कभी-कभी अधिक सामान्य कई-क्रमबद्ध संरचनाओं से अलग करने के लिए एक-क्रमबद्ध संरचना कहा जाता है। कई-सॉर्ट की गई संरचना में डोमेन की मनमानी संख्या हो सकती है। सॉर्ट हस्ताक्षर का हिस्सा है, और वे विभिन्न डोमेन के लिए नामों की भूमिका निभाते है। कई-सॉर्ट किए गए हस्ताक्षर यह भी निर्धारित करते है कि किस प्रकार के कई प्रकार के ढांचे के कार्यों और संबंधों को परिभाषित किया गया है। इसलिए, फ़ंक्शन प्रतीकों या संबंध प्रतीकों की समानताएं अधिक जटिल वस्तुएं होनी चाहिए जैसे कि प्राकृतिक संख्याओं के अतिरिक्त टुपल्स ऑफ सॉर्ट।
+ऊपर परिभाषित संरचनाओं को कभी-कभी अधिक सामान्य कई-क्रमबद्ध संरचनाओं से अलग करने के लिए एक-क्रमबद्ध संरचना कहा जाता है। कई-सॉर्ट की गई संरचना में डोमेन की मनमानी संख्या हो सकती है। सॉर्ट संकेत का हिस्सा होते है, और वे विभिन्न डोमेन के लिए नामों की भूमिका निभाते है। कई-सॉर्ट किए गए संकेत यह भी निर्धारित करते है कि किस प्रकार के कई प्रकार के ढांचे के फलनों और संबंधों को परिभाषित किया गया है। इसलिए, फलन प्रतीकों या संबंध प्रतीकों की समानताएं अधिक जटिल वस्तुएं होनी चाहिए जैसे कि प्राकृतिक संख्याओं के अतिरिक्त टुपल्स ऑफ सॉर्ट में होता है।
-वेक्टर रिक्त स्थान, उदाहरण के लिए, निम्नलिखित तरीके से दो क्रमबद्ध संरचनाओं के रूप में माना जा सकता है। वेक्टर रिक्त स्थान के दो-क्रमबद्ध हस्ताक्षर में दो प्रकार के वी (वैक्टर के लिए) और एस (स्केलर्स के लिए) और निम्नलिखित फ़ंक्शन प्रतीक होते है:
+संचालन रिक्त स्थान, उदाप्रत्येकण के लिए, निम्नलिखित विधि से दो क्रमबद्ध संरचनाओं के रूप में माना जा सकता है। संचालन रिक्त स्थान के क्रमबद्ध संकेत में दो प्रकार के वी (वैक्टर के लिए) और एस (स्केलर्स के लिए) और निम्नलिखित फलन प्रतीक होते है:
 {| style="width:95%"
 |- valign="top"
 |
-* +<sub>''S''</sub> और ×<sub>''S''</sub> ऑफ एरिटी (''S'',&nbsp;''S'';&nbsp;''S'').
+* +<sub>''एस''</sub> और ×<sub>''एस''</sub> ऑफ एरिटी (''एस'',&nbsp;''एस'',&nbsp;''एस'').
-* −<sub>''S''</sub> ऑफ एरिटी (''S'';&nbsp;''S'').
+* −<sub>''एस''</sub> ऑफ एरिटी (''एस'',&nbsp;''एस'').
-* 0<sub>''S''</sub> और 1<sub>''S''</sub> ऑफ एरिटी (''S'').
+* 0<sub>''एस''</sub> और 1<sub>''एस''</sub> ऑफ एरिटी (''एस'').
 |
-* +<sub>''V''</sub> ऑफ एरिटी (''V'',&nbsp;''V'';&nbsp;''V'').
+* +<sub>''वी''</sub> ऑफ एरिटी (''वी'',&nbsp;''वी'',&nbsp;''वी'').
-* −<sub>''V''</sub> ऑफ एरिटी (''V'';&nbsp;''V'').
+* −<sub>''वी''</sub> ऑफ एरिटी (''वी'',&nbsp;''वी'').
-* 0<sub>''V''</sub> ऑफ एरिटी (''V'').
+* 0<sub>''वी''</sub> ऑफ एरिटी (''वी'').
 |
-* × ऑफ एरिटी (''S'',&nbsp;''V'';&nbsp;''V'').
+* × ऑफ एरिटी (''एस'',&nbsp;''वी'',&nbsp;''वी'').
 |}
-यदि V क्षेत्र F पर सदिश स्थान है, तो संबंधित दो-क्रमबद्ध संरचना <math>\mathcal V</math> वेक्टर डोमेन के होते है <math>|\mathcal V|_V=V</math>, स्केलर डोमेन <math>|\mathcal V|_S=F</math>, और स्पष्ट कार्य, जैसे सदिश शून्य <math>0_V^{\mathcal V}=0\in|\mathcal V|_V</math>, अदिश शून्य <math>0_S^{\mathcal V}=0\in|\mathcal V|_S</math>, या अदिश गुणन <math>\times^{\mathcal V}:|\mathcal V|_S\times|\mathcal V|_V\rightarrow|\mathcal V|_V</math>.
+यदि वी क्षेत्र एफ पर सदिश स्थान है, तो संबंधित दो-क्रमबद्ध संरचना <math>\mathcal V</math> संचालन डोमेन के होते है <math>|\mathcal V|_V=V</math>, स्केलर डोमेन <math>|\mathcal V|_S=F</math>, और स्पष्ट फलन, जैसे सदिश शून्य <math>0_V^{\mathcal V}=0\in|\mathcal V|_V</math>, अदिश शून्य <math>0_S^{\mathcal V}=0\in|\mathcal V|_S</math>, या अदिश गुणन <math>\times^{\mathcal V}:|\mathcal V|_S\times|\mathcal V|_V\rightarrow|\mathcal V|_V</math>.
-बहु-वर्गीकृत संरचनाओं को अधिकांशतः एक सुविधाजनक उपकरण के रूप में उपयोग किया जाता है, यदि उन्हें थोड़े प्रयास से टाला जा सके। लेकिन उन्हें संभवतः ही कभी एक कठोर तरीके से परिभाषित किया जाता है, क्योंकि यह सामान्यीकरण को स्पष्ट रूप से पूरा करने के लिए सीधा और थकाऊ (इसलिए अप्रतिबंधित) है।
+बहु-वर्गीकृत संरचनाओं को अधिकांशतः एक सुविधाजनक उपकरण के रूप में उपयोग किया जाता है। लेकिन उन्हें संभवतः ही कभी एक कठोर विधि से परिभाषित किया जाता है, क्योंकि यह सामान्यीकरण को स्पष्ट रूप से पूरा करने के लिए अप्रतिबंधित होते है।
-अधिकांश गणितीय प्रयासों में, छँटाई पर अधिक ध्यान नहीं दिया जाता है। एक [[कई तरह का तर्क]] चूंकि स्वाभाविक रूप से एक प्रकार के सिद्धांत की ओर जाता है। जैसा कि [[बार्ट जैकब्स]] कहते है: एक तर्क हमेशा एक प्रकार के सिद्धांत पर एक तर्क होता है। बदले में यह जोर [[श्रेणीबद्ध तर्क]] की ओर ले जाता है क्योंकि एक प्रकार के सिद्धांत पर एक तर्क स्पष्ट रूप से एक (कुल) श्रेणी से मेल खाता है, तर्क पर कब्जा करना, दूसरे (आधार) श्रेणी पर [[रेशेदार श्रेणी]] होना, [[प्रकार सिद्धांत]] पर कब्जा करना।<ref>{{Citation
+अधिकांश गणितीय प्रयासों में, छँटाई पर अधिक ध्यान नहीं दिया जाता है। एक [[कई तरह का तर्क|तरह का तर्क]] चूंकि, स्वाभाविक रूप से एक प्रकार के सिद्धांत की ओर जाता है। जैसा कि [[बार्ट जैकब्स]] कहते है: एक तर्क हमेशा एक प्रकार के सिद्धांत पर एक तर्क होता है। बदले में यह जोर [[श्रेणीबद्ध तर्क]] की ओर ले जाता है क्योंकि एक प्रकार के सिद्धांत पर एक तर्क स्पष्ट रूप से एक (कुल) श्रेणी से मेल खाता है, तर्क पर कब्जा करना, दूसरे (आधार) [[रेशेदार श्रेणी|श्रेणी]] होना, [[प्रकार सिद्धांत]] पर कब्जा करना होता है।<ref>{{Citation
    | first = Bart
    | last = Jacobs
@@ Line 201: / Line 196: @@
 === आंशिक बीजगणित ===
-सार्वभौमिक बीजगणित और प्रतिरूप सिद्धांत दोनों (संरचनाओं या) बीजगणित की कक्षाओं का अध्ययन करते है जो एक हस्ताक्षर और स्वयंसिद्धों के एक सेट द्वारा परिभाषित होते है। प्रतिरूप सिद्धांत के स्थिति में इन स्वयंसिद्धों में पहले क्रम के वाक्यों का रूप है। सार्वभौमिक बीजगणित की औपचारिकता कहीं अधिक प्रतिबंधात्मक है; अनिवार्य रूप से यह केवल प्रथम-क्रम के वाक्यों की अनुमति देता है, जिनमें शब्दों के बीच सार्वभौमिक रूप से मात्रात्मक समीकरणों का रूप होता है, उदाहरण {{all}}एक्स{{all}}y (x + y = y + x)। एक परिणाम यह है कि प्रतिरूप सिद्धांत की तुलना में सार्वभौमिक बीजगणित में एक हस्ताक्षर का चुनाव अधिक महत्वपूर्ण है। उदाहरण के लिए, समूहों का वर्ग, जिसमें हस्ताक्षर में बाइनरी फ़ंक्शन प्रतीक × और निरंतर प्रतीक 1 सम्मलित है, एक प्रारंभिक वर्ग है, लेकिन यह [[विविधता (सार्वभौमिक बीजगणित)|विविधता]] नहीं है। यूनिवर्सल बीजगणित इस समस्या को एक यूनरी फ़ंक्शन प्रतीक <sup>-1</sup>.जोड़कर हल करता है।
+सार्वभौमिक बीजगणित और मॉडल सिद्धांत दोनों (संरचनाओं या) बीजगणित की कक्षाओं का अध्ययन करते है जो एक संकेत और स्वीकृत के एक सेट द्वारा परिभाषित होते है। मॉडल सिद्धांत के स्थिति में इन स्वीकृत में पहले क्रम के वाक्यों का रूप है। सार्वभौमिक बीजगणित की औपचारिकता कहीं अधिक प्रतिबंधात्मक होती है, अनिवार्य रूप से यह केवल प्रथम-क्रम के वाक्यों की अनुमति देता है, जिनमें शब्दों के बीच सार्वभौमिक रूप से मात्रात्मक समीकरणों का रूप होता है, उदाप्रत्येकण {{all}}एक्स{{all}}y (x + y = y + x)। एक परिणाम यह है कि मॉडल सिद्धांत की तुलना में सार्वभौमिक बीजगणित में एक संकेत का चुनाव अधिक महत्वपूर्ण होता है। उदाप्रत्येकण के लिए, समूहों का वर्ग, जिसमें संकेत में बाइनरी फलन प्रतीक × और निरंतर प्रतीक 1 सम्मलित है, एक प्रारंभिक वर्ग है, लेकिन यह [[विविधता (सार्वभौमिक बीजगणित)|विविधता]] नहीं है। यूनिवर्सल बीजगणित इस समस्या को एक यूनरी फलन प्रतीक <sup>-1</sup>.जोड़कर हल करता है।
-क्षेत्र के स्थिति में यह रणनीति सिर्फ जोड़ने के लिए काम करती है। गुणन के लिए यह विफल रहता है क्योंकि 0 में गुणक व्युत्क्रम नहीं होता है। इससे निपटने का एक तदर्थ प्रयास 0 को परिभाषित करना होगा<sup>−1</sup> = 0. (यह प्रयास विफल हो जाता है, अनिवार्य रूप से क्योंकि इस परिभाषा के साथ 0 × 0<sup>-1</sup> = 1 सत्य नहीं है।) इसलिए, स्वाभाविक रूप से किसी को आंशिक कार्यों की अनुमति देने के लिए प्रेरित किया जाता है, अर्थात ऐसे कार्य जो केवल उनके डोमेन के सबसेट पर परिभाषित होते है। चूँकि, धारणाओं को सामान्य बनाने के कई स्पष्ट तरीके है जैसे कि सबस्ट्रक्चर, होमोमोर्फिज्म और पहचान।
+क्षेत्र के स्थिति में यह रणनीति सिर्फ जोड़ने के लिए काम करती है। गुणन के लिए यह विफल रहता है क्योंकि 0 में गुणक व्युत्क्रम नहीं होता है। इससे निपटने का एक तदर्थ प्रयास 0 को परिभाषित करना होगा<sup>−1</sup> = 0. (यह प्रयास विफल हो जाता है, अनिवार्य रूप से क्योंकि इस परिभाषा के साथ 0 × 0<sup>-1</sup> = 1 सत्य नहीं है)। इसलिए, स्वाभाविक रूप से किसी को आंशिक फलनों की अनुमति देने के लिए प्रेरित किया जाता है, अर्थात ऐसे फलन जो केवल उनके डोमेन के सबसेट पर परिभाषित होते है। चूँकि, धारणाओं को सामान्य बनाने के कई स्पष्ट विधि होते है जैसे कि सबसंरचना, समरूपता और पहचान होते है।
 === टाइप की गई भाषाओं के लिए संरचनाएं ===
-प्रकार सिद्धांत में, कई प्रकार के चर होते है, जिनमें से प्रत्येक का एक प्रकार होता है। प्रकारों को आगमनात्मक रूप से परिभाषित किया गया है; दिए गए दो प्रकार δ और σ का एक प्रकार σ → δ भी है जो प्रकार σ की वस्तुओं से प्रकार δ की वस्तुओं के कार्यों का प्रतिनिधित्व करता है। टाइप की गई भाषा के लिए एक संरचना (सामान्य प्रथम-क्रम शब्दार्थ में) में प्रत्येक प्रकार की वस्तुओं का एक अलग सेट सम्मलित होना चाहिए, और फ़ंक्शन प्रकार के लिए संरचना में उस प्रकार के प्रत्येक ऑब्जेक्ट द्वारा दर्शाए गए फ़ंक्शन के बारे में पूरी जानकारी होनी चाहिए।
+प्रकार सिद्धांत में, कई प्रकार के चर होते है, जिनमें से प्रत्येक का एक प्रकार होता है। प्रकारों को आगमनात्मक रूप से परिभाषित किया गया है, दिए गए दो प्रकार δ और σ का एक प्रकार σ → δ भी है जो प्रकार σ की वस्तुओं से प्रकार δ की वस्तुओं के फलनों का प्रतिनिधित्व करता है। टाइप की गई भाषा के लिए एक संरचना (सामान्य प्रथम-क्रम शब्दार्थ में) प्रत्येक प्रकार की वस्तुओं का एक अलग सेट सम्मलित होना चाहिए, और फलन प्रकार के लिए संरचना में उस प्रकार के प्रत्येक वस्तु द्वारा दर्शाए गए फलन के बारे में पूरी जानकारी होनी चाहिए।
 === उच्च-क्रम की भाषाएँ ===
 {{Main|दूसरे क्रम का तर्क}}
-उच्च-क्रम तर्क के लिए एक से अधिक संभावित शब्दार्थ है, जैसा कि द्वितीय-क्रम तर्क पर लेख में चर्चा की गई है। पूर्ण उच्च-क्रम शब्दार्थ का उपयोग करते समय, एक संरचना के लिए केवल टाइप 0 की वस्तुओं के लिए एक ब्रह्मांड की आवश्यकता होती है, और टी-स्कीमा को विस्तारित किया जाता है जिससे कि उच्च-क्रम प्रकार पर एक क्वांटिफायर प्रतिरूप द्वारा संतुष्ट हो और केवल यदि यह अलग-अलग हो सत्य। प्रथम-क्रम शब्दार्थ का उपयोग करते समय, प्रत्येक उच्च-क्रम प्रकार के लिए एक अतिरिक्त क्रम जोड़ा जाता है, जैसा कि कई क्रमबद्ध प्रथम क्रम भाषा के स्थिति में होता है।
+उच्च-क्रम तर्क के लिए एक से अधिक संभावित शब्दार्थ है, जैसा कि द्वितीय-क्रम तर्क पर लेख में चर्चा की गई है। पूर्ण उच्च-क्रम शब्दार्थ का उपयोग करते समय, एक संरचना के लिए केवल टाइप 0 की वस्तुओं के लिए एक व्योम की आवश्यकता होती है, और टी-स्कीमा को विस्तारित किया जाता है जिससे कि उच्च-क्रम प्रकार पर एक परिमाणक मॉडल द्वारा संतुष्ट होता है और केवल यदि यह अलग-अलग सत्य होता है। प्रथम-क्रम शब्दार्थ का उपयोग करते समय, प्रत्येक उच्च-क्रम प्रकार के लिए एक अतिरिक्त क्रम जोड़ा जाता है, जैसा कि कई क्रमबद्ध प्रथम क्रम भाषा के स्थिति में होता है।
 === संरचनाएं जो [[उचित वर्ग]] है ===
-समुच्चय सिद्धांत और [[श्रेणी सिद्धांत]] के अध्ययन में, कभी-कभी उन संरचनाओं पर विचार करना उपयोगी होता है जिनमें संवाद का क्षेत्र एक समुच्चय के अतिरिक्त एक उचित वर्ग होता है। ऊपर चर्चा किए गए सेट प्रतिरूप से अलग करने के लिए इन संरचनाओं को कभी-कभी क्लास प्रतिरूप कहा जाता है। जब डोमेन एक उचित वर्ग है, तो प्रत्येक कार्य और संबंध प्रतीक को उचित वर्ग द्वारा भी प्रदर्शित किया जा सकता है।
+समुच्चय सिद्धांत और [[श्रेणी सिद्धांत]] के अध्ययन में, कभी-कभी उन संरचनाओं पर विचार करना उपयोगी होता है जिनमें संवाद का क्षेत्र एक समुच्चय के अतिरिक्त डोमेन का उचित वर्ग होता है। ऊपर चर्चा किए गए सेट मॉडल से अलग करने के लिए इन संरचनाओं को कभी-कभी क्लास मॉडल कहा जाता है। जब डोमेन एक उचित वर्ग होता है, तो प्रत्येक फलन और संबंध प्रतीक को उचित वर्ग द्वारा भी प्रदर्शित किया जाता है।
 [[बर्ट्रेंड रसेल]] के '[[गणितीय सिद्धांत]]' में, संरचनाओं को उनके डोमेन के रूप में उचित वर्ग रखने की भी अनुमति थी।
@@ Line 222: / Line 217: @@
 == यह भी देखें ==
-* {{annotated link|Mathematical structure}}
+* {{annotated link|गणितीय संरचना}}
@@ Line 245: / Line 250: @@
-==बाहरी संबंध==
+==बाप्रत्येकी संबंध==
 * [http://plato.stanford.edu/entries/logic-classical/#4 Semantics] section in [http://plato.stanford.edu/entries/logic-classical/ Classical Logic] (an entry ऑफ [http://plato.stanford.edu Stanford Encyclopedia ऑफ Philosophy])
-{{Mathematical logic}}
 {{Authority control}}
-[[Category: गणितीय तर्क]] [[Category: गणितीय संरचनाएं]] [[Category: मॉडल सिद्धांत]] [[Category: सार्वभौमिक बीजगणित]]
-[[Category: Machine Translated Page]]
+[[Category:All accuracy disputes]]
+[[Category:All articles with unsourced statements]]
+[[Category:Articles with disputed statements from January 2023]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:Articles with invalid date parameter in template]]
+[[Category:Articles with unsourced statements from September 2015]]
 [[Category:Created On 16/02/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]

Anonymous

Search

संरचना (गणितीय तर्क): Difference between revisions

Latest revision as of 13:35, 17 March 2023

परिभाषा

डोमेन

संकेत

व्याख्या फलन

उदाप्रत्येकण

प्रेरित अवसंरचनाएं और बंद उप-समूचय

उदाप्रत्येकण

समरूपता और एम्बेडिंग

समरूपता

एम्बेडिंग

उदाप्रत्येकण

समरूपता समस्या

संरचनाएं और प्रथम-क्रम तर्क

संतुष्टि संबंध

निश्चित संबंध

मापदंडों के साथ निश्चितता

निहित निश्चितता

कई प्रकार की संरचनाएं

अन्य सामान्यीकरण

आंशिक बीजगणित

टाइप की गई भाषाओं के लिए संरचनाएं

उच्च-क्रम की भाषाएँ

संरचनाएं जो उचित वर्ग है

यह भी देखें

टिप्पणियाँ

संदर्भ

बाप्रत्येकी संबंध

Navigation

Wiki tools

Page tools

Other projects

Hidden categories