MATH
Login Or Sign up

List Question

15
1k
Views

Proving the completeness of a theory $\Gamma$

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

Characterization of a theory whose model has elementary submodels as only its submodels

Published on
#model-theory
236
Views

Colored operads as finitely essentially algebraic theory.

Published on
#category-theory #model-theory #operads
249
Views

Cardinality of the set of non isomorphic structures of fixed cardinality

Published on
#logic #model-theory
387
Views

Reference request basic logic/model theory

Published on
#logic #model-theory
73
Views

Type-definable Forcing or forcing in a non-first order setting

Published on
#reference-request #logic #set-theory #model-theory #forcing
188
Views

Books and articles on model theory for set theory

Published on
#reference-request #set-theory #model-theory #book-recommendation
47
Views

Relations between equations in a theory, and the number of independent equations

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

Model theory of valued

Published on
#field-theory #model-theory
142
Views

Natural Algebraic Structures on the Set of Automorphisms of a Structure

Published on
#abstract-algebra #general-topology #reference-request #logic #model-theory
62
Views

An affine group behaving like a field

Published on
#group-theory #model-theory
89
Views

Non-forking frames in AEC

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

Exercise 20.7 of Sacks's Saturated Model Theory (Partial isomorphisms)

Published on
#model-theory
90
Views

Logical Consequences and Ordered Fields.

Published on
#logic #propositional-calculus #model-theory
425
Views

Show that the function is an isomorphism between two $L$-structure.

Published on
#abstract-algebra #logic #propositional-calculus #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.