MATH
Login Or Sign up

List Question

15
280
Views

Finite Set of Models

Published on
#model-theory
500
Views

Problem with Morley's Theorem

Published on
#logic #model-theory
1.4k
Views

A theory with exactly $n$ countable models, for each $n>1$

Published on
#logic #model-theory
1.9k
Views

$2\mathbb Z$ is not a definable set in the structure $(\mathbb Z, 0, S,<)$

Published on
#logic #model-theory
217
Views

Realizing n-types of a complete theory

Published on
#model-theory
67
Views

Definable orders

Published on
#abstract-algebra #logic #model-theory #ordered-fields
873
Views

Number of types in a given complete Theory

Published on
#model-theory
100
Views

Prime Model and boundary functions for n-types

Published on
#model-theory
2.7k
Views

Show that binary < "less than" relation is not definable on set of Natural Numbers with successor function

Published on
#logic #model-theory
308
Views

Does the category framework permit new logics?

Published on
#logic #set-theory #category-theory #model-theory #topos-theory
132
Views

Definability in FO($\mathbb{Q}, +, \leq$)

Published on
#logic #model-theory
458
Views

Examples of vaughtian pairs

Published on
#model-theory
286
Views

Prime Model and countable saturated model proof and types of a theory

Published on
#model-theory
148
Views

Extend non-principal n-type

Published on
#model-theory
341
Views

Existence of elementary substructures of a uncountable structure over a countable language

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.