MATH
Login Or Sign up

List Question

15
121
Views

Boolean valued models in a general setting

Published on
#set-theory #model-theory #boolean-algebra #algebraic-logic
129
Views

Non-standard model of naturals and Löwenheim–Skolem

Published on
#logic #model-theory #nonstandard-analysis #nonstandard-models
115
Views

Question on usage of Löwenheim–Skolem in Beginner Logic

Published on
#logic #model-theory
285
Views

A tame(ish) fragment of second-order logic

Published on
#logic #set-theory #model-theory #large-cardinals #second-order-logic
174
Views

Definable and $A$-invariant set is $A$-definable.

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

Is '$M$ is a model of cardinality $\kappa$' a type definable property?

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

Is submodel of atomic model atomic

Published on
#model-theory
760
Views

In what sense do isomorphisms "preserve all logical properties"?

Published on
#logic #soft-question #set-theory #model-theory #meta-math
73
Views

Unprovability of $\exists x\forall u\exists y((R(x,x)\vee\neg R(x,u))\vee(R(y,x)\&\neg R(y,u)))$

Published on
#logic #solution-verification #predicate-logic #model-theory #proof-theory
206
Views

Cardinality of the ranks of the constructible universe

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

Upward Löwenheim-Skolem theorem without equality

Published on
#logic #first-order-logic #predicate-logic #model-theory
59
Views

Examples of "interesting" applications of that fact that $ACF_p$ is $\kappa$-categorical?

Published on
#abstract-algebra #first-order-logic #model-theory
92
Views

VC Dimension of o-Minimal Families

Published on
#model-theory
87
Views

Number of types in simple theories

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

Structures that are reciprocally homomorphic images but are not isomorphic

Published on
#abstract-algebra #model-theory #universal-algebra

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.