- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Foundations of online structure theory
Bulletin of Symbolic Logic 25 (2):141-181 (2019)
Abstract
The survey contains a detailed discussion of methods and results in the new emerging area of online “punctual” structure theory. We also state several open problems.Author's Profile
My notes
Similar books and articles
Degrees of categoricity and spectral dimension.Nikolay A. Bazhenov, Iskander Sh Kalimullin & Mars M. Yamaleev - 2018 - Journal of Symbolic Logic 83 (1):103-116.
Foundations for Mathematical Structuralism.Uri Nodelman & Edward N. Zalta - 2014 - Mind 123 (489):39-78.
On the Foundations of Superstring Theory.Gerard ’T. Hooft - 2013 - Foundations of Physics 43 (1):46-53.
Signature Pedagogies for Social Foundations: Negotiating Social Foundations Teaching Practices in the Field of Education.Sandra B. Schneider - 2010 - Educational Studies: A Jrnl of the American Educ. Studies Assoc 46 (4):416-428.
On Downey's conjecture.Marat M. Arslanov, Iskander Sh Kalimullin & Steffen Lempp - 2010 - Journal of Symbolic Logic 75 (2):401-441.
Existential Foundations for a Methodical Ethics in the Work of Bernard Lonergan.Michael Patrick Maxwell - 1997 - Dissertation, Boston College
Using Aristotle’s theory of friendship to classify online friendships: a critical counterview.Sofia Kaliarnta - 2016 - Ethics and Information Technology 18 (2):65-79.
Cause for Optimism: Engaging in a Vital Conversation About Online Learning.Ellen Rose - 2017 - Foundations of Science 22 (2):373-376.
Structure of hadron matter: Hierarchy, democracy, or potentiality? [REVIEW]Aharon Kantorovich - 1973 - Foundations of Physics 3 (3):335-349.
The Phenomenology of Space in Writing Online.Max Van Manen & Catherine Adams - 2009 - Educational Philosophy and Theory 41 (1):10-21.
Levinas and the “inter‐face”: The ethical challenge of online education.Charalambos Vrasidas Michalinos Zembylas - 2005 - Educational Theory 55 (1):61-78.
The phenomenology of space in writing online.Catherine Adams Max van Manen - 2009 - Educational Philosophy and Theory 41 (1):10-21.
The Phenomenological Foundations of Predicative Structure.Dominique Pradelle - 2012 - In Dan Zahavi (ed.), The Oxford handbook of contemporary phenomenology. Oxford: Oxford University Press.
Analytics
Added to PP
2019-04-18
Downloads
26 (#610,229)
6 months
10 (#267,566)
2019-04-18
Downloads
26 (#610,229)
6 months
10 (#267,566)
Historical graph of downloads
Author's Profile
Citations of this work
Punctual Categoricity and Universality.Rod Downey, Noam Greenberg, Alexander Melnikov, Keng Meng Ng & Daniel Turetsky - 2020 - Journal of Symbolic Logic 85 (4):1427-1466.
Punctual definability on structures.Iskander Kalimullin, Alexander Melnikov & Antonio Montalban - 2021 - Annals of Pure and Applied Logic 172 (8):102987.
Primitive recursive reverse mathematics.Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu & Alexander Melnikov - 2024 - Annals of Pure and Applied Logic 175 (1):103354.
Online, computable and punctual structure theory.Matthew Askes & Rod Downey - 2023 - Logic Journal of the IGPL 31 (6):1251-1293.
Non-density in punctual computability.Noam Greenberg, Matthew Harrison-Trainor, Alexander Melnikov & Dan Turetsky - 2021 - Annals of Pure and Applied Logic 172 (9):102985.
References found in this work
Computable functors and effective interpretability.Matthew Harrison-Trainor, Alexander Melnikov, Russell Miller & Antonio Montalbán - 2017 - Journal of Symbolic Logic 82 (1):77-97.
Recursively presentable prime models.Leo Harrington - 1974 - Journal of Symbolic Logic 39 (2):305-309.
Every recursive linear ordering has a copy in dtime-space (n, log(n)).Serge Grigorieff - 1990 - Journal of Symbolic Logic 55 (1):260-276.
Polynomial-time abelian groups.Douglas Cenzer & Jeffrey Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):313-363.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-wg6s5 uwo