MATH
Login Or Sign up

List Question

15
202
Views

$\Sigma_1 \cup \Sigma_2$ has a model

Published on
#logic #model-theory
186
Views

Another question on saturated models of ZFC

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

How many countable models of ZFC are there?

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

Gluing together mathematical structures, how?

Published on
#logic #model-theory #products
1.1k
Views

Fraïssé limits and groups

Published on
#group-theory #logic #model-theory
993
Views

Model Theory: Homomorphism preserves positive L-formulas

Published on
#logic #model-theory
414
Views

Using the compactness theorem to show a set of first-order formula is equivalent to a set of quantifier-free formula

Published on
#logic #model-theory
2.1k
Views

What is an efficient nesting of mathematical theorems?

Published on
#model-theory
190
Views

How to prove exact number of congruences over $\mathbb {R}$?

Published on
#model-theory
123
Views

Trying to construct a model for this algebraic specification

Published on
#model-theory
636
Views

Inaccessible cardinals and well-founded models of ZFC

Published on
#logic #set-theory #model-theory #large-cardinals
1.2k
Views

Topological spaces as model-theoretic structures -- definitions?

Published on
#general-topology #model-theory
2.3k
Views

Is there a first-order-logic for calculus?

Published on
#calculus #logic #model-theory
650
Views

Structuralist slogans

Published on
#reference-request #category-theory #big-list #model-theory #philosophy
1.1k
Views

Non-ZFC set theory and the hyperreals: problem solved?

Published on
#logic #set-theory #model-theory #nonstandard-analysis

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.