MATH
Login Or Sign up

List Question

15
386
Views

Are there Countable $\omega$- models of ZFC?

Published on
#logic #set-theory #first-order-logic #model-theory #nonstandard-models
116
Views

Interpreting infinite languages in graphs (for Vaught's conjecture)

Published on
#logic #model-theory
71
Views

In this model extension ever holds CH

Published on
#set-theory #model-theory #forcing #large-cardinals
131
Views

Amenable structures and $\Sigma_0$-preserving cofinal embedding

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

Coding finite sets in abelian groups

Published on
#model-theory
510
Views

Is there a specific infinitary sentence second-order logic can't capture?

Published on
#logic #set-theory #model-theory #descriptive-set-theory #second-order-logic
339
Views

What does the Forcing relation mean semantically?

Published on
#set-theory #model-theory #forcing
736
Views

Constructive proof of Gödel's incompleteness theorem

Published on
#model-theory #incompleteness #constructive-mathematics
231
Views

Two ways to prove the completeness theorem from corollary

Published on
#logic #proof-writing #propositional-calculus #model-theory #solution-verification
198
Views

Model Theory: Group Substructures

Published on
#group-theory #model-theory #universal-algebra
48
Views

Proving the Exchange Principle in model theory

Published on
#logic #model-theory
669
Views

Is an interpretation just a homomorphism between theories?

Published on
#logic #first-order-logic #model-theory #philosophy
513
Views

The field of algebraic numbers as a recursive structure

Published on
#logic #reference-request #field-theory #model-theory #computability
127
Views

What kinds of theories of real multiplication with one real constant are possible?

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

Definable subsets in ACF

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