Advanced search options

Sorted by: relevance · author · university · date | New search

You searched for `subject:(Logic AND Foundations)`

.
Showing records 1 – 30 of
77 total matches.

Search Limiters

Dates

- 2017 – 2021 (12)
- 2012 – 2016 (36)
- 2007 – 2011 (24)

▼ Search Limiters

University of Oxford

1.
Yim, Austin Vincent.
On Galois correspondences in formal * logic*.

Degree: PhD, 2012, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

► This thesis examines two approaches to Galois correspondences in formal *logic*. A standard result of classical first-order model theory is the observation that models of…
(more)

Subjects/Keywords: 511.3; Mathematics; Mathematical logic and foundations; Logic; Number theory; Mathematical logic; model theory; substructural logic

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Yim, A. V. (2012). On Galois correspondences in formal logic. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

Chicago Manual of Style (16^{th} Edition):

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

MLA Handbook (7^{th} Edition):

Yim, Austin Vincent. “On Galois correspondences in formal logic.” 2012. Web. 27 Feb 2021.

Vancouver:

Yim AV. On Galois correspondences in formal logic. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404.

Council of Science Editors:

Yim AV. On Galois correspondences in formal logic. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:b47d1dda-8186-4c81-876c-359409f45b97 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.588404

University of Illinois – Chicago

2.
Morris, Sean P.
Investigating the Universe: Quine, New *Foundations*, and the Philosophy of Set Theory.

Degree: 2012, University of Illinois – Chicago

URL: http://hdl.handle.net/10027/9545

► Investigating the Universe Quine, New *Foundations*, and the Philosophy of Set Theory Sean P. Morris, Ph.D. Department of Philosophy University of Illinois at Chicago Chicago,…
(more)

Subjects/Keywords: W.V. Quine; New Foundations; Set Theory; Logic

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Morris, S. P. (2012). Investigating the Universe: Quine, New Foundations, and the Philosophy of Set Theory. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/9545

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Morris, Sean P. “Investigating the Universe: Quine, New Foundations, and the Philosophy of Set Theory.” 2012. Thesis, University of Illinois – Chicago. Accessed February 27, 2021. http://hdl.handle.net/10027/9545.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Morris, Sean P. “Investigating the Universe: Quine, New Foundations, and the Philosophy of Set Theory.” 2012. Web. 27 Feb 2021.

Vancouver:

Morris SP. Investigating the Universe: Quine, New Foundations, and the Philosophy of Set Theory. [Internet] [Thesis]. University of Illinois – Chicago; 2012. [cited 2021 Feb 27]. Available from: http://hdl.handle.net/10027/9545.

Note: this citation may be lacking information needed for this citation format:

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Morris SP. Investigating the Universe: Quine, New Foundations, and the Philosophy of Set Theory. [Thesis]. University of Illinois – Chicago; 2012. Available from: http://hdl.handle.net/10027/9545

Not specified: Masters Thesis or Doctoral Dissertation

University of Pennsylvania

3. Cho, Simon Seamoon. Continuity In Enriched Categories And Metric Model Theory.

Degree: 2017, University of Pennsylvania

URL: https://repository.upenn.edu/edissertations/2227

► We explore aspects of continuity as they manifest in two separate settings - metric model theory (continuous *logic*) and enriched categories - and interpret the…
(more)

Subjects/Keywords: Logic and Foundations of Mathematics; Mathematics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Cho, S. S. (2017). Continuity In Enriched Categories And Metric Model Theory. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/2227

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Cho, Simon Seamoon. “Continuity In Enriched Categories And Metric Model Theory.” 2017. Thesis, University of Pennsylvania. Accessed February 27, 2021. https://repository.upenn.edu/edissertations/2227.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Cho, Simon Seamoon. “Continuity In Enriched Categories And Metric Model Theory.” 2017. Web. 27 Feb 2021.

Vancouver:

Cho SS. Continuity In Enriched Categories And Metric Model Theory. [Internet] [Thesis]. University of Pennsylvania; 2017. [cited 2021 Feb 27]. Available from: https://repository.upenn.edu/edissertations/2227.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cho SS. Continuity In Enriched Categories And Metric Model Theory. [Thesis]. University of Pennsylvania; 2017. Available from: https://repository.upenn.edu/edissertations/2227

Not specified: Masters Thesis or Doctoral Dissertation

University of Colorado

4. Scherer, Charles Frederich. Maximal Comparable and Incomparable Sets in Boolean Algebras.

Degree: PhD, Mathematics, 2016, University of Colorado

URL: https://scholar.colorado.edu/math_gradetds/43

► We consider the minimal possible sizes of both maximal comparable and maximal incomparable subsets of Boolean algebras. Comparability is given upper and lower bounds…
(more)

Subjects/Keywords: Boolean Algebras; Cardinal Invariants; Logic; Set Theory; Logic and Foundations; Mathematics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Scherer, C. F. (2016). Maximal Comparable and Incomparable Sets in Boolean Algebras. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/math_gradetds/43

Chicago Manual of Style (16^{th} Edition):

Scherer, Charles Frederich. “Maximal Comparable and Incomparable Sets in Boolean Algebras.” 2016. Doctoral Dissertation, University of Colorado. Accessed February 27, 2021. https://scholar.colorado.edu/math_gradetds/43.

MLA Handbook (7^{th} Edition):

Scherer, Charles Frederich. “Maximal Comparable and Incomparable Sets in Boolean Algebras.” 2016. Web. 27 Feb 2021.

Vancouver:

Scherer CF. Maximal Comparable and Incomparable Sets in Boolean Algebras. [Internet] [Doctoral dissertation]. University of Colorado; 2016. [cited 2021 Feb 27]. Available from: https://scholar.colorado.edu/math_gradetds/43.

Council of Science Editors:

Scherer CF. Maximal Comparable and Incomparable Sets in Boolean Algebras. [Doctoral Dissertation]. University of Colorado; 2016. Available from: https://scholar.colorado.edu/math_gradetds/43

University of Colorado

5. Selker, Kevin. On Some Min-Max Cardinals on Boolean Algebras.

Degree: PhD, Mathematics, 2015, University of Colorado

URL: https://scholar.colorado.edu/math_gradetds/34

► This thesis is concerned with cardinal functions on Boolean Algebras (BAs) in general, and especially with min-max type functions on atomless BAs. The thesis…
(more)

Subjects/Keywords: Boolean algebras; Logic; Set theory; Algebra; Logic and Foundations; Set Theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Selker, K. (2015). On Some Min-Max Cardinals on Boolean Algebras. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/math_gradetds/34

Chicago Manual of Style (16^{th} Edition):

Selker, Kevin. “On Some Min-Max Cardinals on Boolean Algebras.” 2015. Doctoral Dissertation, University of Colorado. Accessed February 27, 2021. https://scholar.colorado.edu/math_gradetds/34.

MLA Handbook (7^{th} Edition):

Selker, Kevin. “On Some Min-Max Cardinals on Boolean Algebras.” 2015. Web. 27 Feb 2021.

Vancouver:

Selker K. On Some Min-Max Cardinals on Boolean Algebras. [Internet] [Doctoral dissertation]. University of Colorado; 2015. [cited 2021 Feb 27]. Available from: https://scholar.colorado.edu/math_gradetds/34.

Council of Science Editors:

Selker K. On Some Min-Max Cardinals on Boolean Algebras. [Doctoral Dissertation]. University of Colorado; 2015. Available from: https://scholar.colorado.edu/math_gradetds/34

University of Western Ontario

6. McDonald, Darren. Anti-Foundational Categorical Structuralism.

Degree: 2012, University of Western Ontario

URL: https://ir.lib.uwo.ca/etd/533

► The aim of this dissertation is to outline and defend the view here dubbed “anti-foundational categorical structuralism” (henceforth AFCS). The program put forth is intended…
(more)

Subjects/Keywords: category theory; philosophy; foundations of mathematics; structuralism; properties; mathematical truth; Logic and Foundations of Mathematics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

McDonald, D. (2012). Anti-Foundational Categorical Structuralism. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/533

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

McDonald, Darren. “Anti-Foundational Categorical Structuralism.” 2012. Thesis, University of Western Ontario. Accessed February 27, 2021. https://ir.lib.uwo.ca/etd/533.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

McDonald, Darren. “Anti-Foundational Categorical Structuralism.” 2012. Web. 27 Feb 2021.

Vancouver:

McDonald D. Anti-Foundational Categorical Structuralism. [Internet] [Thesis]. University of Western Ontario; 2012. [cited 2021 Feb 27]. Available from: https://ir.lib.uwo.ca/etd/533.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

McDonald D. Anti-Foundational Categorical Structuralism. [Thesis]. University of Western Ontario; 2012. Available from: https://ir.lib.uwo.ca/etd/533

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

7. Anscombe, William George. Definability in Henselian fields.

Degree: PhD, 2012, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

► We investigate definability in henselian fields. Specifically, we are interested in those sets and substructures that are existentially definable or definable with `few' parameters. Our…
(more)

Subjects/Keywords: 511.324; Mathematical logic and foundations; logic; 03C model theory; 12L field theory; polynomials

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Anscombe, W. G. (2012). Definability in Henselian fields. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

Chicago Manual of Style (16^{th} Edition):

Anscombe, William George. “Definability in Henselian fields.” 2012. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039.

MLA Handbook (7^{th} Edition):

Anscombe, William George. “Definability in Henselian fields.” 2012. Web. 27 Feb 2021.

Vancouver:

Anscombe WG. Definability in Henselian fields. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039.

Council of Science Editors:

Anscombe WG. Definability in Henselian fields. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:65eec6d9-457d-4673-80de-6413865a6a46 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581039

University of Oxford

8. D'Silva, Vijay Victor. Logical abstract interpretation.

Degree: PhD, 2013, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

► Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of *logic* and abstract…
(more)

Subjects/Keywords: 005.115; Computer science (mathematics); Mathematical logic and foundations; Logic; Lattice Theory; Abstract Interpretation

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

D'Silva, V. V. (2013). Logical abstract interpretation. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

Chicago Manual of Style (16^{th} Edition):

D'Silva, Vijay Victor. “Logical abstract interpretation.” 2013. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322.

MLA Handbook (7^{th} Edition):

D'Silva, Vijay Victor. “Logical abstract interpretation.” 2013. Web. 27 Feb 2021.

Vancouver:

D'Silva VV. Logical abstract interpretation. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322.

Council of Science Editors:

D'Silva VV. Logical abstract interpretation. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

University of Western Ontario

9.
Winters, David.
A Groundwork for A *Logic* of Objects.

Degree: 2019, University of Western Ontario

URL: https://ir.lib.uwo.ca/etd/6621

► The history of philosophy is rich with theories about objects; theories of object kinds, their nature, the status of their existence, etc. In recent years…
(more)

Subjects/Keywords: Logic; formal-system; object; extant; depictable; sentential; Logic and Foundations of Mathematics; Philosophy of Language

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Winters, D. (2019). A Groundwork for A Logic of Objects. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/6621

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Winters, David. “A Groundwork for A Logic of Objects.” 2019. Thesis, University of Western Ontario. Accessed February 27, 2021. https://ir.lib.uwo.ca/etd/6621.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Winters, David. “A Groundwork for A Logic of Objects.” 2019. Web. 27 Feb 2021.

Vancouver:

Winters D. A Groundwork for A Logic of Objects. [Internet] [Thesis]. University of Western Ontario; 2019. [cited 2021 Feb 27]. Available from: https://ir.lib.uwo.ca/etd/6621.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Winters D. A Groundwork for A Logic of Objects. [Thesis]. University of Western Ontario; 2019. Available from: https://ir.lib.uwo.ca/etd/6621

Not specified: Masters Thesis or Doctoral Dissertation

University of Michigan

10.
Wellmuth, John James.
Epistemological *Foundations* Of Formal *Logic*.

Degree: PhD, Philosophy, Religion and Theology, 1940, University of Michigan

URL: http://hdl.handle.net/2027.42/128621

Subjects/Keywords: Epistemological; Formal; Foundations; Logic

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Wellmuth, J. J. (1940). Epistemological Foundations Of Formal Logic. (Doctoral Dissertation). University of Michigan. Retrieved from http://hdl.handle.net/2027.42/128621

Chicago Manual of Style (16^{th} Edition):

Wellmuth, John James. “Epistemological Foundations Of Formal Logic.” 1940. Doctoral Dissertation, University of Michigan. Accessed February 27, 2021. http://hdl.handle.net/2027.42/128621.

MLA Handbook (7^{th} Edition):

Wellmuth, John James. “Epistemological Foundations Of Formal Logic.” 1940. Web. 27 Feb 2021.

Vancouver:

Wellmuth JJ. Epistemological Foundations Of Formal Logic. [Internet] [Doctoral dissertation]. University of Michigan; 1940. [cited 2021 Feb 27]. Available from: http://hdl.handle.net/2027.42/128621.

Council of Science Editors:

Wellmuth JJ. Epistemological Foundations Of Formal Logic. [Doctoral Dissertation]. University of Michigan; 1940. Available from: http://hdl.handle.net/2027.42/128621

University of Georgia

11. Schoenbaum, Lucius Traylor. Mathematics, philosophy, and proof theory.

Degree: 2014, University of Georgia

URL: http://hdl.handle.net/10724/25047

► Our purpose shall be to introduce revisions into the foundational systematic introduced by Brouwer and Hilbert in the early part of the last century. We…
(more)

Subjects/Keywords: Foundations of Mathematics; Proof Theory; Formalism; Intuitionism; Intuitionistic Logic

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Schoenbaum, L. T. (2014). Mathematics, philosophy, and proof theory. (Thesis). University of Georgia. Retrieved from http://hdl.handle.net/10724/25047

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Schoenbaum, Lucius Traylor. “Mathematics, philosophy, and proof theory.” 2014. Thesis, University of Georgia. Accessed February 27, 2021. http://hdl.handle.net/10724/25047.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Schoenbaum, Lucius Traylor. “Mathematics, philosophy, and proof theory.” 2014. Web. 27 Feb 2021.

Vancouver:

Schoenbaum LT. Mathematics, philosophy, and proof theory. [Internet] [Thesis]. University of Georgia; 2014. [cited 2021 Feb 27]. Available from: http://hdl.handle.net/10724/25047.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Schoenbaum LT. Mathematics, philosophy, and proof theory. [Thesis]. University of Georgia; 2014. Available from: http://hdl.handle.net/10724/25047

Not specified: Masters Thesis or Doctoral Dissertation

University of Oxford

12. Solanki, Vinesh. Zariski structures in noncommutative algebraic geometry and representation theory.

Degree: PhD, 2011, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659

► A suitable subcategory of aﬃne Azumaya algebras is deﬁned and a functor from this category to the category of Zariski structures is constructed. The rudiments…
(more)

Subjects/Keywords: 576.35; Mathematical logic and foundations; Algebraic geometry; Quantum theory (mathematics)

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Solanki, V. (2011). Zariski structures in noncommutative algebraic geometry and representation theory. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659

Chicago Manual of Style (16^{th} Edition):

Solanki, Vinesh. “Zariski structures in noncommutative algebraic geometry and representation theory.” 2011. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659.

MLA Handbook (7^{th} Edition):

Solanki, Vinesh. “Zariski structures in noncommutative algebraic geometry and representation theory.” 2011. Web. 27 Feb 2021.

Vancouver:

Solanki V. Zariski structures in noncommutative algebraic geometry and representation theory. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659.

Council of Science Editors:

Solanki V. Zariski structures in noncommutative algebraic geometry and representation theory. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572659

University of Oxford

13. Kirby, P. J. The theory of exponential differential equations.

Degree: PhD, 2006, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471

► This thesis is a model-theoretic study of exponential differential equations in the context of differential algebra. I define the theory of a set of differential…
(more)

Subjects/Keywords: 515.35; Mathematical logic and foundations

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Kirby, P. J. (2006). The theory of exponential differential equations. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471

Chicago Manual of Style (16^{th} Edition):

Kirby, P J. “The theory of exponential differential equations.” 2006. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471.

MLA Handbook (7^{th} Edition):

Kirby, P J. “The theory of exponential differential equations.” 2006. Web. 27 Feb 2021.

Vancouver:

Kirby PJ. The theory of exponential differential equations. [Internet] [Doctoral dissertation]. University of Oxford; 2006. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471.

Council of Science Editors:

Kirby PJ. The theory of exponential differential equations. [Doctoral Dissertation]. University of Oxford; 2006. Available from: http://ora.ox.ac.uk/objects/uuid:b3fdaff3-9253-4efe-a3ff-400c7b4c7db0 : http://eprints.maths.ox.ac.uk/275/ ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433471

University of Cambridge

14.
Lewicki, Adam.
Categories with New * Foundations*.

Degree: PhD, 2020, University of Cambridge

URL: https://www.repository.cam.ac.uk/handle/1810/311541

► While the interaction between set theory and category theory has been studied extensively, the set theories considered have remained almost entirely within the Zermelo family.…
(more)

Subjects/Keywords: Category Theory; New Foundations (NF); Set Theory; Mathematical Logic

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Lewicki, A. (2020). Categories with New Foundations. (Doctoral Dissertation). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/311541

Chicago Manual of Style (16^{th} Edition):

Lewicki, Adam. “Categories with New Foundations.” 2020. Doctoral Dissertation, University of Cambridge. Accessed February 27, 2021. https://www.repository.cam.ac.uk/handle/1810/311541.

MLA Handbook (7^{th} Edition):

Lewicki, Adam. “Categories with New Foundations.” 2020. Web. 27 Feb 2021.

Vancouver:

Lewicki A. Categories with New Foundations. [Internet] [Doctoral dissertation]. University of Cambridge; 2020. [cited 2021 Feb 27]. Available from: https://www.repository.cam.ac.uk/handle/1810/311541.

Council of Science Editors:

Lewicki A. Categories with New Foundations. [Doctoral Dissertation]. University of Cambridge; 2020. Available from: https://www.repository.cam.ac.uk/handle/1810/311541

University of South Florida

15. Leyva, Daviel. The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact.

Degree: 2019, University of South Florida

URL: https://scholarcommons.usf.edu/etd/7844

► In 1942, Paul C. Rosenbloom put out a definition of a Post algebra after Emil L. Post published a collection of systems of many–valued *logic*.…
(more)

Subjects/Keywords: cyclic negation; Epstein lattice; Hasse diagram; logically equivalent formulas; many-valued logic; Logic and Foundations of Mathematics; Mathematics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Leyva, D. (2019). The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact. (Thesis). University of South Florida. Retrieved from https://scholarcommons.usf.edu/etd/7844

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Leyva, Daviel. “The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact.” 2019. Thesis, University of South Florida. Accessed February 27, 2021. https://scholarcommons.usf.edu/etd/7844.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Leyva, Daviel. “The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact.” 2019. Web. 27 Feb 2021.

Vancouver:

Leyva D. The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact. [Internet] [Thesis]. University of South Florida; 2019. [cited 2021 Feb 27]. Available from: https://scholarcommons.usf.edu/etd/7844.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Leyva D. The Systems of Post and Post Algebras: A Demonstration of an Obvious Fact. [Thesis]. University of South Florida; 2019. Available from: https://scholarcommons.usf.edu/etd/7844

Not specified: Masters Thesis or Doctoral Dissertation

16.
Mulvihill, Corey Edward.
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic * Logic*.

Degree: 2015, University of Waterloo

URL: http://hdl.handle.net/10012/9643

► Hilbert’s choice operators τ and ε, when added to intuitionistic *logic*, strengthen it. In the presence of certain extensionality axioms they produce classical *logic*, while…
(more)

Subjects/Keywords: Logic; Foundations of Mathematics; Hilbert's Epsilon operator; Intermediate Logics; Intuitionism; Anti-Realism; Philosophy of Logic; Metaphysics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Mulvihill, C. E. (2015). Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/9643

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Mulvihill, Corey Edward. “Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.” 2015. Thesis, University of Waterloo. Accessed February 27, 2021. http://hdl.handle.net/10012/9643.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Mulvihill, Corey Edward. “Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.” 2015. Web. 27 Feb 2021.

Vancouver:

Mulvihill CE. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic. [Internet] [Thesis]. University of Waterloo; 2015. [cited 2021 Feb 27]. Available from: http://hdl.handle.net/10012/9643.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mulvihill CE. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic. [Thesis]. University of Waterloo; 2015. Available from: http://hdl.handle.net/10012/9643

Not specified: Masters Thesis or Doctoral Dissertation

McMaster University

17.
Hu, Qian.
REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED * LOGIC*.

Degree: MSc, 2011, McMaster University

URL: http://hdl.handle.net/11375/11471

►

Effective definedness checking is crucial for an implementation of a *logic* with undefinedness. The objective of the MathScheme project is to develop a new…
(more)

Subjects/Keywords: Undefinedness; AND/OR Tree; MathScheme; Chiron; Mechanized Mathematics; Computer Sciences; Logic and Foundations; Computer Sciences

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Hu, Q. (2011). REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/11471

Chicago Manual of Style (16^{th} Edition):

Hu, Qian. “REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC.” 2011. Masters Thesis, McMaster University. Accessed February 27, 2021. http://hdl.handle.net/11375/11471.

MLA Handbook (7^{th} Edition):

Hu, Qian. “REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC.” 2011. Web. 27 Feb 2021.

Vancouver:

Hu Q. REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC. [Internet] [Masters thesis]. McMaster University; 2011. [cited 2021 Feb 27]. Available from: http://hdl.handle.net/11375/11471.

Council of Science Editors:

Hu Q. REASONING ABOUT DEFINEDNESS － A DEFINEDNESS CHECKING SYSTEM FOR AN IMPLEMENTED LOGIC. [Masters Thesis]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11471

University of Colorado

18. Moore, Matthew Dale. The Undecidability of the Definability of Principal Subcongruences.

Degree: PhD, Mathematics, 2013, University of Colorado

URL: https://scholar.colorado.edu/esbm_gradetds/2

► For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only…
(more)

Subjects/Keywords: definable principal subcongruences; Turing machine; undecidable; Computer Sciences; Logic and Foundations; Mathematics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Moore, M. D. (2013). The Undecidability of the Definability of Principal Subcongruences. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/esbm_gradetds/2

Chicago Manual of Style (16^{th} Edition):

Moore, Matthew Dale. “The Undecidability of the Definability of Principal Subcongruences.” 2013. Doctoral Dissertation, University of Colorado. Accessed February 27, 2021. https://scholar.colorado.edu/esbm_gradetds/2.

MLA Handbook (7^{th} Edition):

Moore, Matthew Dale. “The Undecidability of the Definability of Principal Subcongruences.” 2013. Web. 27 Feb 2021.

Vancouver:

Moore MD. The Undecidability of the Definability of Principal Subcongruences. [Internet] [Doctoral dissertation]. University of Colorado; 2013. [cited 2021 Feb 27]. Available from: https://scholar.colorado.edu/esbm_gradetds/2.

Council of Science Editors:

Moore MD. The Undecidability of the Definability of Principal Subcongruences. [Doctoral Dissertation]. University of Colorado; 2013. Available from: https://scholar.colorado.edu/esbm_gradetds/2

University of Oxford

19. Jahnke, Franziska Maxie. Definable henselian valuations and absolute Galois groups.

Degree: PhD, 2014, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

► This thesis investigates the connections between henselian valuations and absolute Galois groups. There are fundamental links between these: On one hand, the absolute Galois group…
(more)

Subjects/Keywords: 515; Mathematical logic and foundations; Valuations; Henselian; Absolute Galois Theory; Model Theory of Fields; Definability

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Jahnke, F. M. (2014). Definable henselian valuations and absolute Galois groups. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

Chicago Manual of Style (16^{th} Edition):

Jahnke, Franziska Maxie. “Definable henselian valuations and absolute Galois groups.” 2014. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025.

MLA Handbook (7^{th} Edition):

Jahnke, Franziska Maxie. “Definable henselian valuations and absolute Galois groups.” 2014. Web. 27 Feb 2021.

Vancouver:

Jahnke FM. Definable henselian valuations and absolute Galois groups. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025.

Council of Science Editors:

Jahnke FM. Definable henselian valuations and absolute Galois groups. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:95b8f301-bb8b-42d9-9b63-46580424e515 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.596025

University of Oxford

20. Sustretov, Dmitry. Non-algebraic Zariski geometries.

Degree: PhD, 2012, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011

► The thesis deals with definability of certain Zariski geometries, introduced by Zilber, in the theory of algebraically closed fields. I axiomatise a class of structures,…
(more)

Subjects/Keywords: 516.3; Mathematical logic and foundations; Zariski geometries; interpretability; algebraic geometry; model theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Sustretov, D. (2012). Non-algebraic Zariski geometries. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011

Chicago Manual of Style (16^{th} Edition):

Sustretov, Dmitry. “Non-algebraic Zariski geometries.” 2012. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011.

MLA Handbook (7^{th} Edition):

Sustretov, Dmitry. “Non-algebraic Zariski geometries.” 2012. Web. 27 Feb 2021.

Vancouver:

Sustretov D. Non-algebraic Zariski geometries. [Internet] [Doctoral dissertation]. University of Oxford; 2012. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011.

Council of Science Editors:

Sustretov D. Non-algebraic Zariski geometries. [Doctoral Dissertation]. University of Oxford; 2012. Available from: http://ora.ox.ac.uk/objects/uuid:b67f85d8-6fac-4820-913d-a064d3582412 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581011

Boise State University

21. Beserra, Kyle Douglas. On the Conjugacy Problem for Automorphisms of Trees.

Degree: 2016, Boise State University

URL: https://scholarworks.boisestate.edu/td/1083

► In this thesis we identify the complexity of the conjugacy problem of automorphisms of regular trees. We expand on the results of Kechris, Louveau, and…
(more)

Subjects/Keywords: invariant descriptive set theory; borel reducibility; graph theory; regular trees; Logic and Foundations; Set Theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Beserra, K. D. (2016). On the Conjugacy Problem for Automorphisms of Trees. (Thesis). Boise State University. Retrieved from https://scholarworks.boisestate.edu/td/1083

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Beserra, Kyle Douglas. “On the Conjugacy Problem for Automorphisms of Trees.” 2016. Thesis, Boise State University. Accessed February 27, 2021. https://scholarworks.boisestate.edu/td/1083.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Beserra, Kyle Douglas. “On the Conjugacy Problem for Automorphisms of Trees.” 2016. Web. 27 Feb 2021.

Vancouver:

Beserra KD. On the Conjugacy Problem for Automorphisms of Trees. [Internet] [Thesis]. Boise State University; 2016. [cited 2021 Feb 27]. Available from: https://scholarworks.boisestate.edu/td/1083.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Beserra KD. On the Conjugacy Problem for Automorphisms of Trees. [Thesis]. Boise State University; 2016. Available from: https://scholarworks.boisestate.edu/td/1083

Not specified: Masters Thesis or Doctoral Dissertation

Boise State University

22. Krakoff, Marcello Gianni. Computable Reducibility of Equivalence Relations.

Degree: 2019, Boise State University

URL: https://scholarworks.boisestate.edu/td/1536

► Computable reducibility of equivalence relations is a tool to compare the complexity of equivalence relations on natural numbers. Its use is important to those doing…
(more)

Subjects/Keywords: computability theory; descriptive set theory; equivalence relations; Borel equivalence relations; Logic and Foundations; Set Theory

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Krakoff, M. G. (2019). Computable Reducibility of Equivalence Relations. (Thesis). Boise State University. Retrieved from https://scholarworks.boisestate.edu/td/1536

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Krakoff, Marcello Gianni. “Computable Reducibility of Equivalence Relations.” 2019. Thesis, Boise State University. Accessed February 27, 2021. https://scholarworks.boisestate.edu/td/1536.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Krakoff, Marcello Gianni. “Computable Reducibility of Equivalence Relations.” 2019. Web. 27 Feb 2021.

Vancouver:

Krakoff MG. Computable Reducibility of Equivalence Relations. [Internet] [Thesis]. Boise State University; 2019. [cited 2021 Feb 27]. Available from: https://scholarworks.boisestate.edu/td/1536.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Krakoff MG. Computable Reducibility of Equivalence Relations. [Thesis]. Boise State University; 2019. Available from: https://scholarworks.boisestate.edu/td/1536

Not specified: Masters Thesis or Doctoral Dissertation

Marshall University

23.
Saadaoui, Alaeddine.
On the *Logic* of Reverse Mathematics.

Degree: 2012, Marshall University

URL: https://mds.marshall.edu/etd/234

► The goal of reverse mathematics is to study the implication and non-implication relationships between theorems. These relationships have their own internal *logic*, allowing some implications…
(more)

Subjects/Keywords: Logic; Reverse Mathematics; <; p>; Reverse mathematics.<; /p>; <; p>; Logic - Mathematics.<; /p>;

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Saadaoui, A. (2012). On the Logic of Reverse Mathematics. (Thesis). Marshall University. Retrieved from https://mds.marshall.edu/etd/234

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Saadaoui, Alaeddine. “On the Logic of Reverse Mathematics.” 2012. Thesis, Marshall University. Accessed February 27, 2021. https://mds.marshall.edu/etd/234.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Saadaoui, Alaeddine. “On the Logic of Reverse Mathematics.” 2012. Web. 27 Feb 2021.

Vancouver:

Saadaoui A. On the Logic of Reverse Mathematics. [Internet] [Thesis]. Marshall University; 2012. [cited 2021 Feb 27]. Available from: https://mds.marshall.edu/etd/234.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Saadaoui A. On the Logic of Reverse Mathematics. [Thesis]. Marshall University; 2012. Available from: https://mds.marshall.edu/etd/234

Not specified: Masters Thesis or Doctoral Dissertation

University of Western Ontario

24. Papagiannopoulos, Filippos A. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.

Degree: 2018, University of Western Ontario

URL: https://ir.lib.uwo.ca/etd/5660

► This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than…
(more)

Subjects/Keywords: Definitions of Algorithms; Real Computability; BSS model; Foundations of Scientific Computing; Analog Computing; Physical Models; Logic and Foundations of Mathematics; Philosophy of Science

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Papagiannopoulos, F. A. (2018). Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations. (Thesis). University of Western Ontario. Retrieved from https://ir.lib.uwo.ca/etd/5660

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Papagiannopoulos, Filippos A. “Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.” 2018. Thesis, University of Western Ontario. Accessed February 27, 2021. https://ir.lib.uwo.ca/etd/5660.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Papagiannopoulos, Filippos A. “Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.” 2018. Web. 27 Feb 2021.

Vancouver:

Papagiannopoulos FA. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations. [Internet] [Thesis]. University of Western Ontario; 2018. [cited 2021 Feb 27]. Available from: https://ir.lib.uwo.ca/etd/5660.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Papagiannopoulos FA. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations. [Thesis]. University of Western Ontario; 2018. Available from: https://ir.lib.uwo.ca/etd/5660

Not specified: Masters Thesis or Doctoral Dissertation

25.
Pablo Mayckon Silva Farias.
A study about the origins of Mathematical *Logic* and the limits of its applicability to the formalization of Mathematics.

Degree: Master, 2007, Universidade Federal do Ceará

URL: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;

►

Este trabalho Ã um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, Ã apresentada… (more)

Subjects/Keywords: LOGICA MATEMATICA; LÃgica MatemÃtica; Fundamentos da MatemÃtica; Teoremas de incompletude de GÃdel; Mathematical Logic; Foundations of Mathematics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Farias, P. M. S. (2007). A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;

Chicago Manual of Style (16^{th} Edition):

Farias, Pablo Mayckon Silva. “A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics.” 2007. Masters Thesis, Universidade Federal do Ceará. Accessed February 27, 2021. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;.

MLA Handbook (7^{th} Edition):

Farias, Pablo Mayckon Silva. “A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics.” 2007. Web. 27 Feb 2021.

Vancouver:

Farias PMS. A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics. [Internet] [Masters thesis]. Universidade Federal do Ceará 2007. [cited 2021 Feb 27]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;.

Council of Science Editors:

Farias PMS. A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics. [Masters Thesis]. Universidade Federal do Ceará 2007. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=1516 ;

Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

26. Rouvelas, Panagiotis. Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF.

Degree: 2017, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

URL: http://hdl.handle.net/10442/hedi/41152

►

In this work, we present results concerning the consistency problem for the axiomatic system “New Foundations” (NF). More specifically, we study the decidability of various… (more)

Subjects/Keywords: Θεωρία συνόλων; Λογική; Απλή θεωρία τύπων; Set theory; Logic; Simple type theory; New Foundations; NF; Quine

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Rouvelas, P. (2017). Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF. (Thesis). Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Retrieved from http://hdl.handle.net/10442/hedi/41152

Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16^{th} Edition):

Rouvelas, Panagiotis. “Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF.” 2017. Thesis, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Accessed February 27, 2021. http://hdl.handle.net/10442/hedi/41152.

Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7^{th} Edition):

Rouvelas, Panagiotis. “Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF.” 2017. Web. 27 Feb 2021.

Vancouver:

Rouvelas P. Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2017. [cited 2021 Feb 27]. Available from: http://hdl.handle.net/10442/hedi/41152.

Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rouvelas P. Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF. [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2017. Available from: http://hdl.handle.net/10442/hedi/41152

Not specified: Masters Thesis or Doctoral Dissertation

McMaster University

27. Galaugher, Jolen B. Russell's Philosophical Approach to Logical Analysis.

Degree: PhD, 2011, McMaster University

URL: http://hdl.handle.net/11375/11631

►

In what is supposed to have been a radical break with neo-Hegelian idealism, Bertrand Russell, alongside G.E Moore, advocated the analysis of propositions by… (more)

Subjects/Keywords: Russell; logical analysis; logicism; decomposition; History of Philosophy; Logic and foundations of mathematics; History of Philosophy

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Galaugher, J. B. (2011). Russell's Philosophical Approach to Logical Analysis. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/11631

Chicago Manual of Style (16^{th} Edition):

Galaugher, Jolen B. “Russell's Philosophical Approach to Logical Analysis.” 2011. Doctoral Dissertation, McMaster University. Accessed February 27, 2021. http://hdl.handle.net/11375/11631.

MLA Handbook (7^{th} Edition):

Galaugher, Jolen B. “Russell's Philosophical Approach to Logical Analysis.” 2011. Web. 27 Feb 2021.

Vancouver:

Galaugher JB. Russell's Philosophical Approach to Logical Analysis. [Internet] [Doctoral dissertation]. McMaster University; 2011. [cited 2021 Feb 27]. Available from: http://hdl.handle.net/11375/11631.

Council of Science Editors:

Galaugher JB. Russell's Philosophical Approach to Logical Analysis. [Doctoral Dissertation]. McMaster University; 2011. Available from: http://hdl.handle.net/11375/11631

University of Colorado

28. Ravanbakhsh, Hadi. Inductive Certificate Synthesis for Control Design.

Degree: PhD, 2018, University of Colorado

URL: https://scholar.colorado.edu/csci_gradetds/174

► The focus of this thesis is developing a framework for designing correct-by-construction controllers using control certificates. We use nonlinear dynamical systems to model the…
(more)

Subjects/Keywords: control lyapunov function; control synthesis; formal methods; learning from demonstration; learning theory; lyapunov analysis; Computer Sciences; Logic and Foundations; Robotics

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Ravanbakhsh, H. (2018). Inductive Certificate Synthesis for Control Design. (Doctoral Dissertation). University of Colorado. Retrieved from https://scholar.colorado.edu/csci_gradetds/174

Chicago Manual of Style (16^{th} Edition):

Ravanbakhsh, Hadi. “Inductive Certificate Synthesis for Control Design.” 2018. Doctoral Dissertation, University of Colorado. Accessed February 27, 2021. https://scholar.colorado.edu/csci_gradetds/174.

MLA Handbook (7^{th} Edition):

Ravanbakhsh, Hadi. “Inductive Certificate Synthesis for Control Design.” 2018. Web. 27 Feb 2021.

Vancouver:

Ravanbakhsh H. Inductive Certificate Synthesis for Control Design. [Internet] [Doctoral dissertation]. University of Colorado; 2018. [cited 2021 Feb 27]. Available from: https://scholar.colorado.edu/csci_gradetds/174.

Council of Science Editors:

Ravanbakhsh H. Inductive Certificate Synthesis for Control Design. [Doctoral Dissertation]. University of Colorado; 2018. Available from: https://scholar.colorado.edu/csci_gradetds/174

University of Oxford

29. Shearer, Robert D. C. Scalable reasoning for description logics.

Degree: PhD, 2011, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

► Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. The DL SROIQ provides the logical underpinning for the semantic web…
(more)

Subjects/Keywords: 005.3; Computer science (mathematics) : Mathematical logic and foundations : Applications and algorithms : description logics : automated reasoning : classification

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Shearer, R. D. C. (2011). Scalable reasoning for description logics. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

Chicago Manual of Style (16^{th} Edition):

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

MLA Handbook (7^{th} Edition):

Shearer, Robert D C. “Scalable reasoning for description logics.” 2011. Web. 27 Feb 2021.

Vancouver:

Shearer RDC. Scalable reasoning for description logics. [Internet] [Doctoral dissertation]. University of Oxford; 2011. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275.

Council of Science Editors:

Shearer RDC. Scalable reasoning for description logics. [Doctoral Dissertation]. University of Oxford; 2011. Available from: http://ora.ox.ac.uk/objects/uuid:d7c4fbf6-4258-4db4-a451-476dcebe68ca ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540275

University of Oxford

30. Elsner, Bernhard August Maurice. Presmooth geometries.

Degree: PhD, 2014, University of Oxford

URL: http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508

► This thesis explores the geometric principles underlying many of the known Trichotomy Theorems. The main aims are to unify the field construction in non-linear o-minimal…
(more)

Subjects/Keywords: 516.3; Mathematical logic and foundations; Mathematics; Model Theory; Zariski Geometries; Presmooth Geometries; Trichotomy Theorem; Zilber's Trichotomy

Record Details Similar Records

❌

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6^{th} Edition):

Elsner, B. A. M. (2014). Presmooth geometries. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508

Chicago Manual of Style (16^{th} Edition):

Elsner, Bernhard August Maurice. “Presmooth geometries.” 2014. Doctoral Dissertation, University of Oxford. Accessed February 27, 2021. http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508.

MLA Handbook (7^{th} Edition):

Elsner, Bernhard August Maurice. “Presmooth geometries.” 2014. Web. 27 Feb 2021.

Vancouver:

Elsner BAM. Presmooth geometries. [Internet] [Doctoral dissertation]. University of Oxford; 2014. [cited 2021 Feb 27]. Available from: http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508.

Council of Science Editors:

Elsner BAM. Presmooth geometries. [Doctoral Dissertation]. University of Oxford; 2014. Available from: http://ora.ox.ac.uk/objects/uuid:b5d9ccfd-8360-4a2c-ad89-0b4f136c5a96 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.618508