MATH
Login Or Sign up

List Question

15
154
Views

Morley rank and dimension

Published on
#logic #model-theory
569
Views

counterexample to the omitting types in uncountable language

Published on
#model-theory
184
Views

How many nonisomorphic models of ZFC (or other theories) are there?

Published on
#model-theory
334
Views

Is $\mathbb R$ saturated?

Published on
#logic #model-theory
64
Views

Prove that a logic can not distinguish two models

Published on
#logic #model-theory
628
Views

Countable set of truth assignments satisfying set of well formed formulas

Published on
#logic #proof-verification #propositional-calculus #model-theory #natural-deduction
96
Views

If types are equal over a set, are they also equal over the algebraic closure of the set?

Published on
#model-theory
129
Views

First-order properties and models of $\mathbb{Q}$

Published on
#reference-request #model-theory
393
Views

Parameters in model theory

Published on
#logic #self-learning #model-theory
261
Views

A theory whose models are closed under chains has a $\forall\exists$-axiomatization

Published on
#logic #model-theory
159
Views

Smallest "Unprovable" Cardinal?

Published on
#set-theory #model-theory
952
Views

First-order sentence involving only a symmetric binary relation with only infinite models

Published on
#logic #relations #predicate-logic #model-theory #first-order-logic
65
Views

How to axiomatize oddness

Published on
#logic #model-theory
409
Views

Generalizing Henkin proof

Published on
#logic #model-theory
111
Views

For $p$ a global type, $p$ divides iff it forks

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.