MATH
Login Or Sign up

List Question

15
74
Views

Trouble with a detail in the proof of Łoś theorem

Published on
#model-theory
124
Views

Empty assignment (model theory)

Published on
#logic #model-theory
394
Views

How can we prove the existence of algebraic closures from first-order compactness?

Published on
#reference-request #field-theory #model-theory #maximal-and-prime-ideals
133
Views

Ultraproducts of groups with a right inverse

Published on
#abstract-algebra #group-theory #model-theory
145
Views

Clarifications on the Incompleteness Theorems

Published on
#first-order-logic #model-theory #incompleteness
55
Views

How can $n\neq 0-$types contain sentences?

Published on
#model-theory
507
Views

Godel's Constructible Universe and Standard Models of ZFC

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

Is there a natural example of a divisible torsioned (= periodic) abelian group?

Published on
#abstract-algebra #group-theory #logic #model-theory #abelian-groups
274
Views

Yet another question about non-ZFC models of ZFC.

Published on
#set-theory #model-theory #axioms
193
Views

Using transfinite iteration in the construction of inductive sets

Published on
#logic #set-theory #model-theory #ordinals #universal-algebra
642
Views

Isomorphic Embeddings in Model Theory

Published on
#logic #model-theory
87
Views

PA internal model

Published on
#logic #model-theory #peano-axioms #incompleteness
200
Views

Applications of Keisler–Shelah's Theorem

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

Compactness theorem for sentential logic

Published on
#logic #proof-explanation #propositional-calculus #model-theory
211
Views

Help with the model theoretic proof of the Nullstellensatz?

Published on
#algebraic-geometry #logic #commutative-algebra #field-theory #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.