შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
64.7% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
ჩემი LITERA Point
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers
North-Holland Publishing
H. Jerome Keisler
theorem
countable
models
formula
elementary
suppose
sentence
formulas
fragment
function
sets
prove
assume
skolem
whence
ordinal
consistent
corollary
infinite
cardinal
lemma
admissible
finite
satisfies
indiscernibles
homogeneous
exists
barwise
uncountable
transitive
arb
ordinals
variables
symbols
existence
lecture
categorical
countably
morley
realizes
constants
infinitary
moreover
contains
extensions
functions
saturated
axiom
hanf
compactness
წელი:
1971
ენა:
english
ფაილი:
PDF, 6.17 MB
თქვენი თეგები:
0
/
0
english, 1971
2
О теореме Левенгейма-Сколема-Мальцева для HF-структур
Пузаренко В. Г.
ϕ
lσa
модель
сигнатуры
наследственно
языка
множество
мощности
существует
конечных
фрагмент
lσ
mδ
теория
mα
конечной
надстроек
надстройки
ℵ0
lσω
левенгейма
определение
сколема
теореме
элементов
sα
xϕ
вида
модели
неразличимых
теории
hσ
mβ
каждого
мальцева
множества
пузаренко
символов
формул
σ1
ω1
любой
структур
теорема
фрагментом
card
iα
tskolem
допустимое
допустимый
წელი:
2004
ენა:
russian
ფაილი:
PDF, 186 KB
თქვენი თეგები:
0
/
0
russian, 2004
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×