MATH
Login Or Sign up

List Question

15
45
Views

Why an internal map, maps an internal set to an internal set?

Published on
#logic #model-theory #nonstandard-models
36
Views

Determinism of Pseudo-Skolemization in Fragment of FOL with quantifiers $\forall$ and $\exists!$ restricted to prenex position

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

Empty theory is a sequence of isolated points

Published on
#general-topology #logic #first-order-logic #model-theory
463
Views

Proving $\mathcal{L}$-structures can be elementarily equivalent, but not isomorphic

Published on
#model-theory
176
Views

Unary predicates theory with no principal types

Published on
#logic #first-order-logic #predicate-logic #model-theory
256
Views

Algebraic and definable closure of a vector space is a span of its subset

Published on
#linear-algebra #logic #vector-spaces #first-order-logic #model-theory
142
Views

Proving that unary predicates theory has no $T$-complete formulas

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

Why does model theory treat well-ordered but uncountable languages?

Published on
#logic #set-theory #compactness #model-theory #well-orders
315
Views

Can we always "locate" a transitive model inside some larger transitive model?

Published on
#logic #set-theory #model-theory
468
Views

Can we make a theory of small categories?

Published on
#logic #category-theory #model-theory
50
Views

Logical consequence using Replacement Axiom

Published on
#model-theory
77
Views

Dividing over algebraic closure

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

What is a starfinite set?

Published on
#logic #model-theory #nonstandard-analysis #nonstandard-models
51
Views

Building a model using the power set of $Ord$

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

$\text{Sat}_{\Delta_0}(x, y)$ is $\Delta_1(\textbf{PA})$ (Kaye's book)

Published on
#logic #model-theory #peano-axioms #nonstandard-models

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.