MATH
Login Or Sign up

List Question

15
765
Views

A logic that can distinguish between two structures

Published on
#logic #model-theory
4.5k
Views

How can there be genuine models of set theory?

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

How can i prove that the theory of random graph has a vaughtian pair?

Published on
#logic #model-theory
193
Views

Some questions concerning set-theoretic models of first-order theories

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

Formalising real numbers in set theory

Published on
#real-analysis #logic #set-theory #model-theory
236
Views

A problem about complete theory

Published on
#logic #model-theory
574
Views

Structure and Formula encoding for Turing Machine

Published on
#logic #model-theory #computational-complexity #computational-mathematics
477
Views

The structure $(\mathbb{Q}, <)$ is O-minimal

Published on
#logic #model-theory
178
Views

Computing square roots and calculus

Published on
#calculus #logic #model-theory #formal-systems
1.2k
Views

Comparing countable models of ZFC

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

Non-triviality of a semigroup and a semiring

Published on
#abstract-algebra #model-theory
341
Views

What does a nonstandard proof of Con(PA) look like?

Published on
#logic #arithmetic #model-theory
639
Views

Primes in nonstandard models of PA

Published on
#arithmetic #model-theory #nonstandard-models
376
Views

What is a model of a formal system?

Published on
#elementary-set-theory #model-theory
112
Views

Poizat's definition of $p$-equivalent $k$-tuples

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