MATH
Login Or Sign up

List Question

15
183
Views

Elementarily equivalence

Published on
#logic #model-theory
170
Views

Defining $\mathbb{C}$ in $\mathbb{C}(X)$

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

Finite Shelah 2-rank implies stable. A combinatorial proof.

Published on
#combinatorics #reference-request #model-theory
92
Views

Follow up on the existence of prime model;

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

Attempted Proof of Löwenheim-Skolem theorem

Published on
#solution-verification #model-theory
116
Views

An example of the quotient of definable groups not being definable?

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

Help to understand these quantifiers' effects on each other

Published on
#logic #model-theory
73
Views

Help to understand the validness of relation in a model

Published on
#logic #first-order-logic #predicate-logic #model-theory #satisfiability
115
Views

Logic consistency

Published on
#logic #model-theory
68
Views

Complete isolated 1-types of the theory $Th(\mathbb{N}, s, P)$

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

What is a logical formula in the language of categories? How can we express basic model theoretic concepts categorically?

Published on
#logic #reference-request #category-theory #model-theory #categorical-logic
53
Views

Obscure passages in Hodges speaking about automorphism of structures

Published on
#logic #proof-explanation #intuition #model-theory
492
Views

Exercise 3.4.1 Markers model theory

Published on
#logic #model-theory #quantifier-elimination
147
Views

$T$ has a countable $\omega$-saturated models if and only if $\forall n |S_n(T)|\leq\omega$ (Hodges, ex. 6.2.6)

Published on
#logic #proof-explanation #solution-verification #first-order-logic #model-theory
87
Views

Problems in understanding equivalent definitions of type.

Published on
#logic #proof-explanation #first-order-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.