263

Answers

votes newest views recent

2

logics restricted in arithmetic hierarchy

2

failure of $\square(\kappa)$ at an inaccessible $\kappa$

2

Axiom of Replacement in Category Theory

2

Stronger theorem not resulting from proof analysis

2

Understanding Troelstra’s Uniformity Principle in Constructive Mathematics

2

$\Sigma_1^0-COH$?

2

The category of Boolean-valued models associated to a model of ZFC

2

Kleene’s fixed point theorem on recursive subsets of computable functions

2

papers archives? (especially not indexed by google)

2

Permission to use Online Notes

1

Proper class forcing vs forcing with a set of conditions bigger than one’s model

1

Forcing over models without the axiom of choice

1

Hyperarithemtic statements decidable by induction up to a recursive ordinal

1

Are there countable index subrings of the reals?

1

[Points in space] Pairing function for reals (Set cardinality problem)

1

In what sense Fraissean view point shows Model Theory can be done without any formal syntax and deduction rule?

1

Ternary relations that are not binary functions

1

Parametrized natural numbers object.

1

Prime-ness checking for polynomial ideals over ACFs( algebraically closed fields).

1

Diophantine equation of first degree

1

Bicartesian closed categories and Heyting algebras

1

Marey’s problem: Generating all prime numbers in $[n_1,n_2]$

0

Propositional logic and first order logic textbook