SORT LOGIC AND FOUNDATIONS OF MATHEMATICS

DOI10.1142/9789814571043_0005zbMath1321.03048OpenAlexW2429012521MaRDI QIDQ5178531

Jouko Väänänen

Publication date: 16 March 2015

Published in: Infinity and Truth (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d1a03f2d72d86a9760be95d1dda31ee717f698e4

zbMATH Keywords

second order logicsort logicZFC-like axioms

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (3)

Model theoretic characterizations of large cardinals ⋮ Sort logic and foundations of mathematics ⋮ Marketing impact on diffusion in social networks

This page was built for publication: SORT LOGIC AND FOUNDATIONS OF MATHEMATICS