8 views

Uploaded by Viplav Singh

problem set

- Names Csfw00
- Category Theory and Higher Dimensional Algebra- potential descriptive tools in neuroscience∗
- Alan McMichael; Ed Zalta -- An Alternative Theory of Nonexistent Objects
- _EAP_EAP28_03_S0266267112000296a
- Real World Economics Review 67
- m 1 Geometry
- XII. NOTES Achilles had overtaken the Tortoise.
- An Even Shorter Model Theory
- CTS Placement Paper 2
- Box
- JE 2
- Epistemic Probability and Epistemic Weight
- Predicate logic, sets, and lambda: tools for semantic analysis
- Article Design Methodology
- Badiou Vitalist Ontology
- Transcript 10
- Reasoning Inequality
- Aristotelianism - Wikipedia
- Paradox in time travel at past
- Logic Puzzle Answers

You are on page 1of 2

Class 3: Theories

Prof Michael Potter

3pm Tuesday 11th February 2014

1. Are the following statements true or false? In each case, justify your answer.

(a) If there is an interpretation that satisfies an axiom set but not some sentence , then is independent of .

(b) If there is some sentence such that theory and , then is

negation incomplete.

(c) If theory has a model that satisfies some sentence and another model

that satisfies , then is independent of .

(d) If the removal of an axiom from theory s axiom set changes from a

negation complete theory to a negation incomplete theory, then is independent of .

(e) If theory |= but , then s deductive system is negation incomplete.

(f) If theory has a model, then it is consistent.

(g) If theory is consistent, then it has a model.

2. Incidence geometry has the following 3 axioms:

(1) For every point P and for every point Q not equal to P there exists a unique

line l incident with P and Q.

(2) For every line l there exist at least two distinct points incident with l.

(3) There exist three distinct points with the property that no line is incident

with all three of them.

Show that the following are theorems of incidence geometry:

(a) If l and m are distinct lines that are not parallel, then l and m have a unique

point in common.

(b) For every line there is at least one point not lying on it.

(c) For every point P there exist at least two distinct lines that are incident with

P.

(See Chapter 2 of Greenbergs Euclidean and Non-Euclidean Geometries for more on

incidence geometry.)

3. Find out what is meant by the Beltrami-Klein disk model. (Hint Google it.)

(a) How should we reinterpret the primitives point, line and is incident with

for the Beltrami-Klein disk model?

(b) Reinterpret the axioms of incidence geometry accordingly and check that

so interpreted they are true.

(c) The hyperbolic axiom is:

For every line l and every point P that does not lie on l, there is more

than one line m that can be drawn through P that is parallel to l.

Reinterpret this axiom for the Beltrami-Klein disk model and check that, so

interpreted, it is a truth of Euclidean geometry.

4. Find out what is meant by the Poincar disk model. (Hint Google it.)

(a) How should we reinterpret the primitives point, line and is incident with

for the Poincar disk model?

(b) Reinterpret the axioms of incidence geometry accordingly and check that

so interpreted they are true.

(c) Reinterpret the hyperbolic axiom for the Poincar model and check that, so

interpreted, it is a truth of Euclidean geometry.

(d) Does the Poincar disk model have any advantages over the Beltrami-Klein

disk model. (Hint Think about angles.)

(See Chapter 7 of Greenbergs Euclidean and Non-Euclidean Geometries for more on

hyperbolic geometry.)

- Names Csfw00Uploaded byqbdelhqdi
- Category Theory and Higher Dimensional Algebra- potential descriptive tools in neuroscience∗Uploaded byH
- Alan McMichael; Ed Zalta -- An Alternative Theory of Nonexistent ObjectsUploaded byFriedrich Vaneigem
- _EAP_EAP28_03_S0266267112000296aUploaded byAntonio Memmio
- Real World Economics Review 67Uploaded byValentin Matei
- m 1 GeometryUploaded bysheilaabad8766
- XII. NOTES Achilles had overtaken the Tortoise.Uploaded byÀlis Sandr
- An Even Shorter Model TheoryUploaded byJan Hula
- CTS Placement Paper 2Uploaded byNandini Reddy
- BoxUploaded byMei Yue Chan
- JE 2Uploaded byMaher Rifai
- Epistemic Probability and Epistemic WeightUploaded byمحمدشمائیل نثار Shemyal
- Predicate logic, sets, and lambda: tools for semantic analysisUploaded byDede Fatinova
- Article Design MethodologyUploaded byjfornara8
- Badiou Vitalist OntologyUploaded byMaragah
- Transcript 10Uploaded byGustavo Saboia
- Reasoning InequalityUploaded byanubhavv5
- Aristotelianism - WikipediaUploaded byDiana Ghius
- Paradox in time travel at pastUploaded byparadox777
- Logic Puzzle AnswersUploaded byeva.benson
- Guide Questions for Plato¥s MenoUploaded byFanny Kung
- comparative study between Waliullah's Aref Ali and Synge's MaryaUploaded byনিজন্ম সূর্য
- HO Time TravelUploaded byPratheep Gs
- Many Individuals on Your Planet When They Play Such Gains as the Water in Their Mindset More Often Them Not the Majority of Them Will Be Thinking i Hope i Pick the Winning NumbersUploaded byCarloscabc
- SetsUploaded byMouseManX
- The Synthetic a Priori and What It Means for EconomicsUploaded byshaharhr1
- Module on Areas of Knowledge (IB CLE)Uploaded bypeetchlao
- Contemplation.form.Plotinus (1)Uploaded byMARIA DE LOS ANGELES GONZALEZ
- Philosophy and Fun of Algebra 003 Chapter 2 the Making of AlgebrasUploaded byAnil Kumar
- Logicas difusasUploaded byPaulo Arráiz

- Nobel PrizeUploaded byViplav Singh
- Fiber Migration.docxUploaded byViplav Singh
- Veiling Young Girls Must Be BannedUploaded byViplav Singh
- EconomicUploaded byViplav Singh
- Good Quotes and LinesUploaded byViplav Singh
- Kautilya and ArthashastraUploaded byViplav Singh
- MisllUploaded byViplav Singh
- sun yat-senUploaded byViplav Singh
- BiologyUploaded byViplav Singh
- Kingdoms After the Mauryan EmpireUploaded byViplav Singh
- Kingdoms After the Mauryan EmpireUploaded byViplav Singh
- Room_Allotment_Chart.pdfUploaded byViplav Singh
- Room_Allotment_Chart.pdfUploaded byViplav Singh
- IAS Prelims 2016 GS I Question PaperUploaded bypintu_55
- Yarn failure mechanism (13 files merged).pdfUploaded byViplav Singh
- art%3A10.1007%2Fs11229-010-9814-3Uploaded byViplav Singh
- Nuclear PolicyUploaded byViplav Singh
- The Fruits of LogicismUploaded byViplav Singh
- To Be CoveredUploaded byViplav Singh
- ExpressionUploaded byViplav Singh
- Laws and ActsUploaded byViplav Singh
- list of readingsUploaded byViplav Singh
- (494953177) VIPLAV SINGHUploaded byViplav Singh
- Sartre Outline - Paul Vincent SpadeUploaded bykwsx
- Maidenhood Lost (e z Make) - NotepadUploaded byViplav Singh
- Mathematical Intuition vs Mathematical MonstersUploaded byfoldsnholds
- Dec 09Uploaded byViplav Singh
- PoliciesUploaded byViplav Singh
- Truth SimpleUploaded byViplav Singh
- Climate ChangeUploaded byViplav Singh

- Coarse graining Shannon and von Neumann entropies.pdfUploaded bydani_cirig
- Physics of the ParanormalUploaded bysatyaduthm
- Mathematics NewsletterUploaded byhidayatsadikin
- 362559Uploaded byHrishikesh Dhawadshikar
- 2011-Effect of Local Charge Distribution on Graphite Surface on Nafion Polymer Adsorption as Visualized at the Molecular LevelUploaded bySevim Korkmaz
- CVEN1300 Hand in Assignment_SolutionsUploaded byDom Hines
- Geometry Expressions ManualUploaded byHeinz Ruben Lopez
- Polyalkylene Polyethylene Glycols #3Uploaded byrotterson9616
- A Necessary Condition for Proof of Abiotic SemiosisUploaded byCzem Nhobl
- Exercise 1 Sayas Ej2Uploaded bybryan
- Design RevetmentsUploaded byShamsul Bahrin Sulaiman
- Earth Pressure Theory and ApplicationUploaded byShawn Hopper
- A Study on the Variation of Forces and Temperature in a Friction Stir Welding Process a Finite Element ApproachUploaded byGabriel Vazquez Vega
- Is-4989_2 Foam ConcentrateUploaded byCharls James
- 3 a Bit LifeUploaded byDE-PAT
- KAP4-SIR-Rev 03Uploaded byserafini
- lec7_cybUploaded byneethurj9
- Advanced Topics in Science and Technology in China Prof. Weicheng Cui Prof. Xiaoping Huang Dr. Fang Wang Auth. Towards a Unified Fatigue Life Prediction Method for Marine Structures Springer VerUploaded byZharthit Phras
- ASTM C 881.pdfUploaded byguyii86
- Part 3Uploaded byHermise Raju
- Significance of Amphiphilic Block Copolymer Micelles and its CharacteristicsUploaded byEditor IJTSRD
- 16) Acid-Base TitrationUploaded byCzarina Angelli Anastacio
- Roderich Moessner- Tutorial on frustrated magnetismUploaded byBanshees_Glee
- PNA Resistance ReleaseUploaded byNgurah Buana
- Advances in Applied Mathematics Vol 001Uploaded byPantelis Paraskevopoulos
- 03 Van Der Bruggen PPT 1Uploaded byRelu Mititelu
- Kartikeya Tiwari(Petroleum Geochemistry ppt)Uploaded byKartikeya Tiwari
- Engineering Mechanics QUESTION PAPERSUploaded bygotu123
- ASTM D 256Uploaded byIngJGM
- Teach Quantum Mechanics to Your Dog by Ryan Lott (2012)Uploaded byryanlott