MATH
Login Or Sign up

List Question

15
397
Views

Two homogenous structures realizing the same types are isomorphic

Published on
#model-theory
446
Views

Question regarding inexpressibility results over finite models using compactness and the Löwenheim–Skolem theorem

Published on
#logic #model-theory
702
Views

What lessons have mathematicians drawn from the existence of non-standard models?

Published on
#model-theory #philosophy #foundations #nonstandard-models
302
Views

Is a topological space a structure?

Published on
#category-theory #model-theory
160
Views

understanding provability and more about Löb's theorem

Published on
#logic #model-theory
132
Views

how do we prove that ring of characteristic $p$ has arbitrarily large models?

Published on
#abstract-algebra #ring-theory #model-theory
230
Views

Does ZFC allow self-reference?

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

cardinality of elements in a "semiring minus multiplicative identity"

Published on
#abstract-algebra #ring-theory #model-theory
1.3k
Views

Dense linear orderings isomorphism

Published on
#model-theory #order-theory
68
Views

Order isomorphism help

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

Semi-formal language

Published on
#logic #order-theory #model-theory
670
Views

Exclude operation symbols in signature

Published on
#logic #order-theory #model-theory
216
Views

Classification of models

Published on
#model-theory
2k
Views

Prove that two structures are elementarily equivalent (Logic)

Published on
#logic #model-theory
210
Views

Second incompleteness and Model theorey

Published on
#logic #computer-science #model-theory #computability

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.