Pages that link to "Item:Q2556402"

The following pages link to Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed (Q2556402):

Displaying 50 items.

• The mereological foundation of megethology (Q288250) (← links)
• Total boundedness and the axiom of choice (Q328638) (← links)
• Why non-individuality? A discussion on individuality, identity, and cardinality in the quantum context (Q488347) (← links)
• Platitudes in mathematics (Q514596) (← links)
• An anti-realist account of mathematical truth (Q585184) (← links)
• Intergenerational equity, efficiency, and constructibility (Q663208) (← links)
• Uncertainty, imprecision, and many-valued logics in protein bioinformatics (Q669205) (← links)
• Constructive chaos by cellular automata and possible sources of an arrow of time (Q751849) (← links)
• Intuitionistic typical ambiguity (Q757362) (← links)
• The concepts of equivalence, equality and identity (Q777979) (← links)
• The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes (Q813283) (← links)
• Ordering infinite utility streams comes at the cost of a non-Ramsey set (Q845012) (← links)
• What is a first countable space? (Q860475) (← links)
• Note on the generality of fuzzy sets (Q918977) (← links)
• Physics and the measurement of continuous variables (Q928187) (← links)
• Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) (← links)
• The continuity program between Cantor and nonstandard analysis. (Q1106822) (← links)
• What do we do when we do mathematics? (Q1106831) (← links)
• An introduction to the axiomatics of procedures of aggregation (Q1166396) (← links)
• Conceptual realism versus Quine on classes and higher-order logic (Q1187230) (← links)
• Toward a modal-structural interpretation of set theory (Q1202500) (← links)
• Some set-theoretical partition theorems suggested by the structure of Spinoza's God (Q1223291) (← links)
• Robinson forcing is not absolute (Q1245825) (← links)
• Impossible worlds: A modest approach (Q1276421) (← links)
• Fuzzy shadows (Q1302243) (← links)
• A note on fuzzy union and fuzzy intersection (Q1304312) (← links)
• Issues in commonsense set theory (Q1346620) (← links)
• HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081) (← links)
• Broadening the iterative conception of set (Q1422104) (← links)
• Infinite populations, choice and determinacy (Q1615993) (← links)
• Linguistic\(\leftrightarrow \)rational agents' semantics (Q1688923) (← links)
• On first and second countable spaces and the axiom of choice (Q1880711) (← links)
• Why is the universe of sets not a set? (Q2054117) (← links)
• Cauchy's logico-linguistic slip, the Heisenberg uncertainty principle and a semantic dilemma concerning ``Quantum gravity'' (Q2114034) (← links)
• Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
• Analysis in a formal predicative set theory (Q2148788) (← links)
• Causal slingshots (Q2269539) (← links)
• Bolzano's infinite quantities (Q2289681) (← links)
• Logic of paradoxes in classical set theories (Q2441742) (← links)
• Knowledge and communication: A first-order theory (Q2457657) (← links)
• Levy and set theory (Q2493914) (← links)
• A modern elaboration of the ramified theory of types (Q2563450) (← links)
• An optimization model for the student-to-project supervisor assignment problem-the case of an engineering department (Q2688892) (← links)
• Absence perception and the philosophy of zero (Q2690215) (← links)
• On one of Specker's theorems (Q2691875) (← links)
• A Logical Framework for Developing and Mechanizing Set Theories (Q2817908) (← links)
• The Philosophical Impact of the Löwenheim-Skolem Theorem (Q2908779) (← links)
• Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications (Q2971600) (← links)
• An ω-hierarchy of axiom systemZF (Q3197817) (← links)
• The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting (Q3295841) (← links)