MATH
Login Or Sign up

List Question

15
666
Views

Type of Infinite Tuple

Published on
#logic #model-theory
686
Views

Understanding types and the proof that every type is realized in an elementary extension.

Published on
#logic #model-theory
3.4k
Views

prove that any two isomorphic structures are elementarily equivalent

Published on
#model-theory #first-order-logic
203
Views

Prove that the Morley Rank is preserved under definable bijections.

Published on
#logic #model-theory
391
Views

When can independence of a statement in a theory be reduced to "truth"?

Published on
#logic #model-theory #philosophy #meta-math
404
Views

Definition for non-dividing

Published on
#logic #model-theory
2k
Views

Clarify definitions of relation and 0-ary relation

Published on
#elementary-set-theory #model-theory
108
Views

Shelah's materialize vs. realize;note: tags are badly chosen due to the lack of them

Published on
#model-theory #forcing
205
Views

An AE axiomatization of groups

Published on
#logic #model-theory
182
Views

A test for quantifier elimination

Published on
#logic #first-order-logic #model-theory #quantifier-elimination
289
Views

ACF universal is the theory of integral domains

Published on
#logic #model-theory
141
Views

elementary equivalence and incompleteness

Published on
#elementary-set-theory #logic #model-theory #nonstandard-models
90
Views

Absoluteness and Extensionality

Published on
#elementary-set-theory #logic #model-theory
667
Views

Upward Löwenheim Skolem

Published on
#logic #model-theory
80
Views

D.Marker's axiomatization of rings

Published on
#logic #model-theory

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.