MATH
Login Or Sign up

List Question

15
166
Views

What does Morley rank of a quotient group mean?

Published on
#logic #model-theory
722
Views

Non-standard model of arithmetic - why is adding new constants to the model acceptable?

Published on
#logic #first-order-logic #model-theory #nonstandard-models
80
Views

Write two models of the language

Published on
#logic #first-order-logic #model-theory #formal-languages
200
Views

Preservation theorem of $\exists \forall $ sentences

Published on
#logic #model-theory
118
Views

Theory $T$ has model isomorphic with its proper substructure. Prove that $T$ has infinite model isomorhpic with its proper substructure.

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

Homomorphism between structures in first order logic

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

Finite structures of a theory have finite atomic diagram.

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

The elementary theory of finite commutative rings

Published on
#logic #model-theory #computability #decidability
150
Views

Isomorphism between finite structures which is not elementary

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

Non-existence of prime extensions

Published on
#model-theory
89
Views

Application of model-theoretic forcing

Published on
#logic #model-theory
126
Views

Cardinal collapse and (higher) toposes

Published on
#soft-question #category-theory #model-theory #topos-theory #type-theory
173
Views

Understanding Absoluteness

Published on
#logic #set-theory #model-theory
122
Views

Preservation of $\exists \forall $-sentence of infinite algebraic extension fields

Published on
#logic #extension-field #model-theory
55
Views

Formal languages and theories - difference between these two symbols

Published on
#logic #notation #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.