Logic and sets

DOI10.12775/LLP.2019.023MaRDI QIDQ5006818zbMATH OpenOpenAlexFDO

Authors Marta Vlasáková

Publication date 17 August 2021

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2019.023

zbMATH Keywords

extensional thesisextensionsGottlob Fregeset theorysetsunsaturated functions

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 5938111
• Extensionalizing intensional second-order logic
• scientific article; zbMATH DE number 4172943
• Cantor's power-set theorem versus frege's double-correlation thesis
• scientific article; zbMATH DE number 1790378

Cites work

• Axiomatic set theory. With a historical introduction by Abraham A. Fraenkel
• Frege's \textit{Begriffsschrift} is indeed first-order complete
• scientific article; zbMATH DE number 50930 (Why is no real title available?)
• scientific article; zbMATH DE number 69311 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 193520 (Why is no real title available?)
• scientific article; zbMATH DE number 516878 (Why is no real title available?)
• scientific article; zbMATH DE number 2048499 (Why is no real title available?)
• scientific article; zbMATH DE number 1549896 (Why is no real title available?)
• scientific article; zbMATH DE number 2107962 (Why is no real title available?)
• scientific article; zbMATH DE number 3307531 (Why is no real title available?)
• scientific article; zbMATH DE number 3317721 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• I.—ON FREGE'S WAY OUT
• The philosophical logic of Gottlob Frege. A commentary. With the texts of the prefaces to Grundgesetze der Arithmetik and Logische Untersuchungen I--IV
• Understanding the infinite

Cited in

(6)

• Extensions as representative objects in Frege's logic
• Extensionalizing intensional second-order logic
• scientific article; zbMATH DE number 978993 (Why is no real title available?)
• Logic and groups
• Mizar Course in Logic and Set Theory
• Sets, logic and maths for computing

This page was built for publication: Logic and sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5006818)