MATH
Login Or Sign up

List Question

15
287
Views

What does variety language mean?

Published on
#model-theory
992
Views

Does the existence of a $\mathbb{Q}$-basis for $\mathbb{R}$ imply that choice holds up to $\frak c$?

Published on
#linear-algebra #set-theory #model-theory #axiom-of-choice
86
Views

Nice model theoretic properties of a theory adding a new predicate?

Published on
#model-theory
643
Views

Independence results in first-order PA and second-order PA

Published on
#logic #model-theory #higher-order-logic
6.1k
Views

Question about the proof of consistency iff satisfiability of a theory

Published on
#logic #model-theory
2.2k
Views

Mathematical structures and signature

Published on
#model-theory #meta-math
1k
Views

Lowenheim-Skolem theorem and first-order model

Published on
#logic #model-theory
236
Views

Automorphisms of elementary extensions

Published on
#logic #examples-counterexamples #model-theory
6.5k
Views

Is Foundational Research a Dead Field?

Published on
#logic #soft-question #set-theory #model-theory #advice
467
Views

Theories and models

Published on
#logic #intuition #model-theory
281
Views

Is this incompleteness result easier to get than incompleteness of PA?

Published on
#logic #model-theory #incompleteness
711
Views

Non-Archimedean non-standard models for R

Published on
#logic #model-theory
124
Views

Proof through consistency

Published on
#logic #model-theory
665
Views

how to show that a group is elementarily equivalent to the additive group of integers

Published on
#group-theory #abelian-groups #model-theory
417
Views

$\aleph_1$-categorical fields are algebraically closed.

Published on
#reference-request #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.