The following pages link to (Q3264229):
Displaying 10 items.
- On the idea(l) of logical closure (Q1192341) (← links)
- A semantic characterization of the well-typed formulae of \(\lambda\)- calculus (Q1208735) (← links)
- Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations (Q1312954) (← links)
- Coalgebra and abstraction (Q1981994) (← links)
- Ontology, set theory, and the paraphrase challenge (Q2056213) (← links)
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) (← links)
- A contribution to Gödel's axiomatic set theory, II: Basic notions and application of the theory of dyadic rings of the set theoretical type (Q3272472) (← links)
- (Q3328538) (← links)
- Non‐well‐founded extensions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\mathbf {V}$\end{document} (Q4928967) (← links)
- ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION (Q5884258) (← links)
