scientific article; zbMATH DE number 978993
From MaRDI portal
Publication:4332919
zbMATH Open0874.03002MaRDI QIDQ4332919FDOQ4332919
Authors: Moshé Machover 
Publication date: 18 February 1997
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3182186
- Logic and sets
- Logic, sets, and mathematics
- scientific article; zbMATH DE number 2101964
- scientific article; zbMATH DE number 1932778
- scientific article; zbMATH DE number 3173693
- scientific article; zbMATH DE number 4045703
- Set logics and their representations
completeness theoremrecursion theoryclassical logicset theoryquantification theoryaxiomatic set theoryZermelo-FraenkelSkolem's paradoxGödel's incompleteness theoremslimitative results
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)
Cited In (18)
- Criteria of theoreticity: bridging statement and non-statement view
- A first journey through logic
- Title not available (Why is that?)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- The concept of truth in a finite universe
- Are logical languages compositional?
- Variations on a Montagovian theme
- Incompleteness in the land of sets
- Limits of mathematics. A journey through the core subjects of mathematical logic
- Elements of set theory and recursive arguments
- Analysis and its discontents: nonlinearity and the way things aren't
- Objections to Set Theory
- Limits of mathematics. A journey through the core subjects of mathematical logic.
- Set theory and mathematical logic. From infinite mathematics to Gödel's theorems
- Can Church's thesis be viewed as a Carnapian explication?
- Title not available (Why is that?)
- Bases for structures and theories. I.
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332919)
