Vorschläge - wadoku.de

直観主義述語論理ちょっ￨かん･しゅ￨ぎ･じゅつ￨ご･ろん￨り

N.

Logik intuitionistische Prädikatenlogik f f.

中間論理ちゅう￨かん･ろん￨り

N.

Logik Zwischenlogik f f.

部分構造論理ぶ￨ぶん･こう￨ぞう･ろん￨り

N.

Logik substrukturelle Logik f f; Substrukturlogik f f.

非古典的ひ￨こ￨てん･てき

Na.‑Adj. mit na bzw. präd. mit da etc.

nichtklassisch; nicht-klassisch.

非古典ひ･こ￨てん

N.

Nichtklassik f f.

非古典論理ひ￨こ￨てん･ろん￨り

N.

Logik nichtklassische Logik f f; Nichtstandardlogik f f.

ノン･スタンダード論理のん･すたんだーど･ろん￨り

N.

Logik Nichtstandardlogik f f; nichtklassische Logik f f.

ノン･スタンダードのん･すたんだーど

N.

von engl. non-standard

Nichtstandard n n.

普遍妥当のふ￨へん･だ￨とうの

allgemeingültig.

普遍妥当ふ￨へん･だ￨とう

N.

allgemeine Gültigkeit f f; Allgemeingültigkeit f f.

射影決定性公理しゃ￨えい･けっ￨てい￨せい･こう￨り

N.

Math. Axiom n n der projektiven Determiniertheit.

決定性公理けっ￨てい￨せい･こう￨り

N.

Math. Determiniertheitsaxiom n n; Axiom n n der Determiniertheit; AD n n.

射影決定性しゃ￨えい･けっ￨てい￨せい

N.

Math. projektive Determiniertheit f f.

射影階層しゃ￨えい･かい￨そう

N.

Math. projektive Hierarchie f f.

射影集合しゃ￨えい･しゅう￨ごう

N.

Math. projektive Menge f f.

スースリンすーすりん

N.

Persönlichk. Michail Jakowlewitsch Suslin (russ. Mathematiker; 1894–1919).

還元定理かん￨げん･てい￨り

N.

Math. Reduktionstheorem n n.

演繹定理えん￨えき･てい￨り

N.

Math. Deduktionstheorem n n.

補解析集合ほ￨かい￨せき･しゅう￨ごう

N.

Math. koanalytische Menge f f.

解析集合かい￨せき･しゅう￨ごう

N.

Math. analytische Menge f f.

汎用集合はん￨よう･しゅう￨ごう

N.

Math. Universalmenge f f.

万有集合ばん￨ゆう･しゅう￨ごう

N.

Math. Universalmenge f f.

記述集合論き￨じゅつ･しゅう￨ごう￨ろん

N.

Math. deskriptive Mengenlehre f f.

広布種こう￨ふ･しゅ

N.

Ökol. Kosmopolit m m.

広布こう￨ふ

N., mit suru intrans. V.

schriftspr. weite Verbreitung f f.

汎存種はん￨ぞん･しゅ

N.

Ökol. Kosmopolit m m.

普遍種ふ￨へん･しゅ

N.

Ökol. Kosmopolit m m.

量子群りょう￨し･ぐん

N.

Math. Quantengruppe f f.

普遍言語ふ￨へん･げん￨ご

N.

Sprachw. Universalsprache f f.

普遍原理ふ￨へん･げん￨り

N.

allgemeingültiges Prinzip n n; universales Prinzip n n.

モジュライもじゅらい

N.

von engl. moduli

Math. Module mpl mpl.

モジュライ問題もじゅらい･もん￨だい

N.

Math. Modulproblem n n.

普遍記号学ふ￨へん･き￨ごう￨がく

N.

Philos., Logik Universalsprache f f; Characteristica f f universalis.

近似理論きん￨じ･り￨ろん

N.

Math. Approximationstheorie f f.

普遍数学ふ￨へん･すう￨がく

N.

Philos., Logik Universalmathematik f f; Universallehre f f; Mathesis f f universalis.

普遍学ふ￨へん･がく

N.

Philos., Logik Universallehre f f; Universalmathematik f f; Mathesis f f universalis.

特性類とく￨せい･るい

N.

Math. charakteristische Klasse f f.

普遍者ふ￨へん･しゃ

N.

Philos. das Allgemeine n n.

非順序対ひ￨じゅん￨じょ･つい

N.

Math. ungeordnetes Paar n n.

メタ再帰理論めた･さい￨き･り￨ろん

N.

Math. Metarekursionstheorie f f.

Ablage