MATH
Login Or Sign up

List Question

15
250
Views

Compactness for definable models?

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

Tarski-Vaught test for $\preceq$ reduction

Published on
#logic #examples-counterexamples #model-theory
422
Views

Formally Developing Model Theory Within ZFC

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

Equivalent Definitions of Types

Published on
#logic #model-theory
184
Views

Theory of (Z,+) has uncountably many 1-types

Published on
#model-theory
123
Views

Theory of (Q,+,0) has QE

Published on
#model-theory #quantifier-elimination
97
Views

The standard approach to second-order axiom systems

Published on
#logic #model-theory #proof-theory
304
Views

The ultraproduct $\mathbb{N}^\mathbb{N} / \mathcal{F}$ is uncountable

Published on
#model-theory
200
Views

What techniques are available for "surgical adjustment" of models of set theory?

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

Uncountable models for a language $L_Q$

Published on
#logic #cardinals #model-theory
216
Views

Complete n-types of the theory of atomless Boolean algebras

Published on
#model-theory
296
Views

Axiomatizable classes

Published on
#model-theory
1.5k
Views

Is "reflexive transitive closure of relation $R$" a first-order property?

Published on
#logic #model-theory #predicate-logic
243
Views

Construct countable Boolean algebra

Published on
#model-theory #boolean-algebra
630
Views

What are the formal properties of Godel numbering that are required to make it 'work'?

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