MATH
Login Or Sign up

List Question

15
106
Views

Omitting Types Theorem for homogeneous model

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

Understanding some uses of the Separation Lemma

Published on
#logic #model-theory #quantifier-elimination
59
Views

Proof of theorem 2.1 and conclusion 2.2 in Sh:31 (Categoricity of Uncountable theories)

Published on
#model-theory
106
Views

Levy hierarchy and the axiom of separation

Published on
#logic #set-theory #first-order-logic #model-theory
90
Views

Mendelson, Logic, Lemma 2.16: a possible typo or flawed understanding?

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

What is the relationship between ultrafilters and propositional theories?

Published on
#logic #compactness #propositional-calculus #model-theory #filters
267
Views

Henkin's Model Existence Theorem and Forcing

Published on
#logic #set-theory #model-theory #forcing
74
Views

Is Tarski's exponential function problem arithmetically decidable?

Published on
#logic #model-theory #decidability #oracles
59
Views

What collections of sets are appropriate for the "HoTT: Logic of spaces" and are they models?

Published on
#general-topology #algebraic-topology #vector-spaces #model-theory #homotopy-type-theory
145
Views

Introductory text on logic for those interested in the intersection of logic, algebra, and topology?

Published on
#logic #model-theory #philosophy #modal-logic
202
Views

Elementarily equivalent structures + one of them finite implies isomorphism

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

Abstract conditions for a formal system to be adequate with respect to the standard semantics

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

Is there a first-order theory which is not the theory of countably many of its models?

Published on
#model-theory
131
Views

Implicit and explicit definability over $\mathbb{R}$ of the exponential function

Published on
#first-order-logic #model-theory #predicate-logic
88
Views

Proof of Prop. 31.1, Sacks Saturated Model Theory, 1st vs. 2nd edition

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.