Pages that link to "Item:Q598297"
From MaRDI portal
The following pages link to Independence-friendly logic and axiomatic set theory (Q598297):
Displaying 18 items.
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts (Q253125) (← links)
- What is the axiomatic method? (Q408327) (← links)
- IF logic, definitions and the vicious circle principle (Q427230) (← links)
- A sharing-based approach to supporting adaptation in service compositions (Q488324) (← links)
- Set-theoretical invariance criteria for logicality (Q976533) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- Absolutely independent axiomatizations for countable sets in classical logic (Q1262297) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- To Peirce Hintikka's thoughts (Q2334658) (← links)
- On Tarski's assumptions (Q2386111) (← links)
- (Q2753677) (← links)
- Independent axiom systems for nearlattices (Q2881225) (← links)
- (Q3007387) (← links)
- Some proofs of independence in axiomatic set theory (Q3237140) (← links)
- Truth Definitions, Skolem Functions and Axiomatic Set Theory (Q4227856) (← links)
- Independence-friendly logic without Henkin quantification (Q5918342) (← links)
- Kim-independence in positive logic (Q6156873) (← links)