P-measures in models without P-points

Συγγραφείς: Piotr Borodulin-Nadzieja, Jonathan Cancino-Manríquez, Adam Morawski

Πηγή: Annals of Pure and Applied Logic. 176:103579

Θεματικοί όροι: Other connections with logic and set theory, P-measures, rapid filters, Mathematics - Logic, Other combinatorial set theory, 01 natural sciences, additive property, random forcing, FOS: Mathematics, Applications of set theory, Consistency and independence results, P-points, 0101 mathematics, Logic (math.LO), silver forcing

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2401.14042
https://zbmath.org/8036421
https://doi.org/10.1016/j.apal.2025.103579
https://hdl.handle.net/11104/0365029

Integration with filters

Συγγραφείς: Bottazzi, Emanuele, Eskew, Monroe

Πηγή: Journal of Logic and Analysis. 14

Θεματικοί όροι: Other connections with logic and set theory, 101013 Mathematische Logik, Non-archimedean mathematics, 101002 Analysis, SPACES, Integration theory, Mathematics - Logic, 01 natural sciences, Functional Analysis (math.FA), 101013 Mathematical logic, Mathematics - Functional Analysis, measure theory, NONSTANDARD REPRESENTATION, integration theory, non-Archimedean mathematics, FOS: Mathematics, Measure theory, Applications of set theory, 0101 mathematics, Logic (math.LO)

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2004.09103

Borel extensions of Baire measures in ZFC

Συγγραφείς: Menachem Kojman, Henryk Michalewski

Πηγή: Fundamenta Mathematicae. 211:197-223

Θεματικοί όροι: Other connections with logic and set theory, Large cardinals, Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.), Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets, Measures on Boolean rings, measure algebras, 01 natural sciences, Dowker space, Borel measure, Ordered sets and their cofinalities, pcf theory, Ordinal and cardinal numbers, Counterexamples in general topology, Baire measure, Consistency and independence results, 0101 mathematics, \(P\)-spaces

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: http://www.math.bgu.ac.il/~kojman/Baire.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.bwnjournal-article-doi-10_4064-fm211-3-1
https://documat.unirioja.es/servlet/articulo?codigo=3678615
https://eudml.org/doc/283064
https://www.impan.pl/pl/wydawnictwa/czasopisma-i-serie-wydawnicze/fundamenta-mathematicae/all/211/3/88308/borel-extensions-of-baire-measures-in-zfc
https://dialnet.unirioja.es/servlet/articulo?codigo=3678615
https://www.impan.pl/shop/publication/transaction/download/product/88308?download.pdf

Computability on the probability measures on the Borel sets of the unit interval

Συγγραφείς: Klaus Weihrauch

Πηγή: Lecture Notes in Computer Science ISBN: 9783540631651

Θεματικοί όροι: Other connections with logic and set theory, computable analysis, Computable operators, Probability measures, 0102 computer and information sciences, Models of computation (Turing machines, etc.), 01 natural sciences, Theoretical Computer Science, Higher-type and set recursion theory, probability measures, Computable analysis, 0101 mathematics, computable operators, Computer Science(all)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://link.springer.com/chapter/10.1007/3-540-63165-8_174
https://dblp.uni-trier.de/db/conf/icalp/icalp97.html#Weihrauch97
https://link.springer.com/content/pdf/10.1007/3-540-63165-8_174.pdf
http://dblp.uni-trier.de/db/conf/icalp/icalp97.html#Weihrauch97

Constructive algebraic integration theory

Συγγραφείς: Spitters, Bas

Πηγή: Annals of Pure and Applied Logic, 137, 1, pp. 380-390

Θεματικοί όροι: Other connections with logic and set theory, Logic, Constructive functional analysis, convergence almost everywhere, measurable functions, dominated convergence, 0102 computer and information sciences, 0101 mathematics, Other constructive mathematics, 01 natural sciences, Constructive real analysis, Foundations, Constructive and recursive analysis

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/2235858
https://doi.org/10.1016/j.apal.2005.05.031
https://research.tue.nl/en/publications/7467b490-1cff-4829-b651-bd0780c8a6ef
https://doi.org/10.1016/j.apal.2005.05.031
https://repository.ubn.ru.nl/handle/2066/35957
https://www.narcis.nl/publication/RecordID/oai%3Arepository.ubn.ru.nl%3A2066%2F35957
https://www.sciencedirect.com/science/article/pii/S0168007205000783
https://core.ac.uk/display/16123088
https://research.tue.nl/nl/publications/constructive-algebraic-integration-theory
https://www.sciencedirect.com/science/article/abs/pii/S0168007205000783
https://repository.ubn.ru.nl//bitstream/handle/2066/35957/35957.pdf
http://hdl.handle.net/2066/35957

Finite approximation of measure and integration

Συγγραφείς: Julian Webster

Πηγή: Annals of Pure and Applied Logic. 137:439-449

Θεματικοί όροι: Other connections with logic and set theory, Logic, topological graphs, approximation of measure spaces, stably compact spaces, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Other constructive mathematics, Computing methodologies for image processing, 01 natural sciences

Περιγραφή αρχείου: application/xml

A continuous movement version of the Banach–Tarski paradox: A solution to de Groot's Problem: A continuous movement version of the Banach-Tarski paradox: a solution to de Groot's problem

Συγγραφείς: Wilson, Trevor M.

Πηγή: J. Symbolic Logic 70, iss. 3 (2005), 946-952

Θεματικοί όροι: 0301 basic medicine, Other connections with logic and set theory, 03 medical and health sciences, Axiom of choice and related propositions, 0101 mathematics, 16. Peace & justice, 01 natural sciences

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://authors.library.caltech.edu/11927/1/WILjsl05.pdf
http://projecteuclid.org/euclid.jsl/1122038921

On the existence of a possibility distribution function

Συγγραφείς: E.E. Ismail, M.Z. Arslanov

Πηγή: Fuzzy Sets and Systems. 148:279-290

Θεματικοί όροι: Other connections with logic and set theory, Large cardinals, 0202 electrical engineering, electronic engineering, information engineering, measurable cardinal, possibility space, 02 engineering and technology, 0101 mathematics, possibility theory, Theory of fuzzy sets, etc, 01 natural sciences, possibility distribution, possibility measure

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/2126016
https://doi.org/10.1016/j.fss.2004.02.002

Domains, integration and ‘positive analysis’: Domains, integration and `positive analysis'

Συγγραφείς: Jimmie Lawson

Πηγή: Mathematical Structures in Computer Science. 14:815-832

Θεματικοί όροι: Other connections with logic and set theory, S-integral, 0102 computer and information sciences, Riemann-Edalat integral, 01 natural sciences, Continuous lattices and posets, applications, continuous domain, survey, Contents, measures, outer measures, capacities, horizontal integral, 0101 mathematics, Integration with respect to measures and other set functions, valuation, Constructive real analysis, Constructive and recursive analysis

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/2147881
https://doi.org/10.1017/s0960129504004372
https://digitalcommons.lsu.edu/mathematics_pubs/623/
https://dblp.uni-trier.de/db/journals/mscs/mscs14.html#Lawson04
http://dblp.uni-trier.de/db/journals/mscs/mscs14.html#Lawson04
https://dialnet.unirioja.es/servlet/articulo?codigo=1053897
http://journals.cambridge.org/abstract_S0960129504004372
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/domains-integration-and-positive-analysis/973D2767FC698A51EFD5A6C4C27403AA

Almost everywhere domination

Συγγραφείς: Dobrinen, Natasha L., Simpson, Stephen G.

Πηγή: J. Symbolic Logic 69, iss. 3 (2004), 914-922

Θεματικοί όροι: Other connections with logic and set theory, Other Turing degree structures, Turing degrees, Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets, reverse mathematics, measure, 0101 mathematics, 16. Peace & justice, Second- and higher-order arithmetic and fragments, Foundations of classical theories (including reverse mathematics), 01 natural sciences, domination

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://philpapers.org/rec/DOBAED
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/almost-everywhere-domination/D170281950E5B51A1FB34F3B70B1BDE5
https://projecteuclid.org/journals/journal-of-symbolic-logic/volume-69/issue-3/Almost-everywhere-domination/10.2178/jsl/1096901775.full
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/D170281950E5B51A1FB34F3B70B1BDE5/S0022481200007714a.pdf/div-class-title-almost-everywhere-domination-div.pdf
https://www.jstor.org/stable/info/30041766
https://dblp.uni-trier.de/db/journals/jsyml/jsyml69.html#DobrinenS04
http://projecteuclid.org/euclid.jsl/1096901775

On some properties of squares of Sierpiński sets

Συγγραφείς: Andrzej Nowik

Πηγή: Colloquium Mathematicum. 99:221-229

Θεματικοί όροι: Other connections with logic and set theory, Sierpiński set, category, Other classical set theory (including functions, relations, and set algebra), Continuum hypothesis and Martin's axiom, measure, 0101 mathematics, Descriptive set theory, Lusin set, 01 natural sciences

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://www.impan.pl/shop/publication/transaction/download/product/86928?download.pdf
https://zbmath.org/2106961
https://doi.org/10.4064/cm99-2-7
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.bwnjournal-article-doi-10_4064-cm99-2-7

Less than 2ωmany translates of a compact nullset may cover the real line: Less than \(2^{\omega}\) many translates of a compact nullset may cover the real line

Συγγραφείς: Márton Elekes, Juris Steprāns

Πηγή: Fundamenta Mathematicae. 181:89-96

Θεματικοί όροι: Other connections with logic and set theory, perfect set, Primary 28E15, Secondary 03E17, 03E35, compact subset, Classes of sets (Borel fields, \(\sigma\)-rings, etc.), measurable sets, Suslin sets, analytic sets, continuum, Mathematics - Logic, 01 natural sciences, Cardinal characteristics of the continuum, translate, measure zero, Mathematics - Classical Analysis and ODEs, consistence, Consistency and independence results, cover, 0101 mathematics

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://www.impan.pl/shop/publication/transaction/download/product/88860?download.pdf
http://arxiv.org/abs/1109.5307
https://zbmath.org/2092561
https://doi.org/10.4064/fm181-1-4
http://ui.adsabs.harvard.edu/abs/2003math......6411E/abstract
https://www.arxiv-vanity.com/papers/math/0306411/
https://www.impan.pl/pl/wydawnictwa/czasopisma-i-serie-wydawnicze/fundamenta-mathematicae/all/181/1/88860/less-than-2-omega-many-translates-of-a-compact-nullset-may-cover-the-real-line
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.bwnjournal-article-doi-10_4064-fm181-1-4
http://journals.impan.pl/cgi-bin/doi?fm181-1-4

Random gaps under CH

Συγγραφείς: James Hirschorn

Πηγή: Transactions of the American Mathematical Society. 356:1281-1290

Θεματικοί όροι: continuum hypothesis, Other connections with logic and set theory, Other aspects of forcing and Boolean-valued models, destructible gap, Continuum hypothesis and Martin's axiom, 05 social sciences, random real, 0101 mathematics, Other combinatorial set theory, 01 natural sciences, 0506 political science

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://www.ams.org/tran/2004-356-04/S0002-9947-03-03380-4/S0002-9947-03-03380-4.pdf
https://zbmath.org/2023384
https://doi.org/10.1090/s0002-9947-03-03380-4
https://www.ams.org/journals/tran/2004-356-04/S0002-9947-03-03380-4/home.html
https://www.jstor.org/stable/3845002
https://www.ams.org/tran/2004-356-04/S0002-9947-03-03380-4/S0002-9947-03-03380-4.pdf

Special subsets of the reals and tree forcing notions: Small subsets of the reals and tree forcing notions

Συγγραφείς: Marcin Kysiak, Andrzej Nowik, Tomasz Weiss

Πηγή: Proceedings of the American Mathematical Society. 135:2975-2982

Θεματικοί όροι: Other connections with logic and set theory, strong measure zero set, 4. Education, perfectly meager set, universally null set, Consistency and independence results, 0101 mathematics, Laver forcing, 16. Peace & justice, 01 natural sciences, Miller forcing

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://www.ams.org/proc/2007-135-09/S0002-9939-07-08808-9/S0002-9939-07-08808-9.pdf
https://www.ams.org/proc/2004-132-01/S0002-9939-03-07026-6/S0002-9939-03-07026-6.pdf
https://zbmath.org/1986396
https://doi.org/10.1090/s0002-9939-03-07026-6
https://www.ams.org/journals/proc/2007-135-09/S0002-9939-07-08808-9/S0002-9939-07-08808-9.pdf
https://documat.unirioja.es/servlet/articulo?codigo=782198
https://dialnet.unirioja.es/servlet/articulo?codigo=782198
https://www.ams.org/journals/proc/2007-135-09/S0002-9939-07-08808-9/home.html
https://www.mimuw.edu.pl/~mkysiak/files/papers/treeforc.pdf

Some remarks on totally imperfect sets

Συγγραφείς: Tomasz Weiss, Andrzej Nowik

Πηγή: Proceedings of the American Mathematical Society. 132:231-237

Θεματικοί όροι: Other connections with logic and set theory, strongly meager sets, dual Ramsey null sets, Other classical set theory (including functions, relations, and set algebra), partitions, strongly meager set, 0101 mathematics, Descriptive set theory, 01 natural sciences

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://www.ams.org/proc/2004-132-01/S0002-9939-03-06997-1/S0002-9939-03-06997-1.pdf
https://dialnet.unirioja.es/servlet/articulo?codigo=782196
https://documat.unirioja.es/servlet/articulo?codigo=782196
https://www.jstor.org/stable/1193999
https://www.ams.org/journals/proc/2004-132-01/S0002-9939-03-06997-1/home.html

Measurable envelopes, Hausdorff measures and Sierpiński sets

Συγγραφείς: Márton Elekes

Πηγή: Colloquium Mathematicum. 98:155-162

Θεματικοί όροι: Other connections with logic and set theory, Sierpiński set, 4. Education, independence, Mathematics - Logic, Hausdorff measure, Primary 28A78, Secondary 03E35, 28E15, Fractals, measurable envelope, Hausdorff and packing measures, Mathematics - Classical Analysis and ODEs, Classical Analysis and ODEs (math.CA), FOS: Mathematics, Consistency and independence results, Logic (math.LO)

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://www.impan.pl/shop/publication/transaction/download/product/87981?download.pdf
http://arxiv.org/abs/1109.5305
https://zbmath.org/2092733
https://doi.org/10.4064/cm98-2-2
https://www.impan.pl/en/publishing-house/journals-and-series/colloquium-mathematicum/all/98/2/87981/measurable-envelopes-hausdorff-measures-and-sierpinski-sets
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.bwnjournal-article-doi-10_4064-cm98-2-2

Metric Boolean algebras and constructive measure theory

Συγγραφείς: Thierry Coquand, Erik Palmgren

Πηγή: Archive for Mathematical Logic. 41:687-704

Θεματικοί όροι: Borel measure problem, Other connections with logic and set theory, constructive measure theory, metric Boolean algebras, Measures on Boolean rings, measure algebras, 06 humanities and the arts, Nonclassical models (Boolean-valued, sheaf, etc.), 0101 mathematics, 0603 philosophy, ethics and religion, 01 natural sciences, Constructive and recursive analysis

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/1982495
https://doi.org/10.1007/s001530100123
http://www.diva-portal.org/smash/record.jsf?pid=diva2:65447
https://philpapers.org/rec/COQMBA
https://link.springer.com/article/10.1007%2Fs001530100123
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:72441
https://dblp.uni-trier.de/db/journals/aml/aml41.html#CoquandP02

On the Ramseyan properties of some special subsets of 2ωand their algebraic sums: On the Ramseyan properties of some special subsets of \(2^\omega\) and their algebraic sums

Συγγραφείς: Nowik, Andrzej, Weiss, Tomasz

Πηγή: J. Symbolic Logic 67, iss. 2 (2002), 547-556

Θεματικοί όροι: Other connections with logic and set theory, strongly meager sets, \((T')\)-sets, 28E15, (T') sets, \(\gamma\)-sets, 03E15, 0101 mathematics, Ramsey null sets, Descriptive set theory, 01 natural sciences, MGR\(^{\ast}\)-sets

Περιγραφή αρχείου: application/xml; application/pdf

Σύνδεσμος πρόσβασης: https://zbmath.org/1808604
https://doi.org/10.2178/jsl/1190150097
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/on-the-ramseyan-properties-of-some-special-subsets-of-2-and-their-algebraic-sums/4C0B1EA29F4CAF9F91A1B95D46175750
https://www.jstor.org/stable/2694938
https://dblp.uni-trier.de/db/journals/jsyml/jsyml67.html#NowikW02
http://projecteuclid.org/euclid.jsl/1190150097

On non-measurable sets and invariant tori

Συγγραφείς: Krzysztof Wojciechowski, Piotr Pieranski

Πηγή: Chaos, Solitons & Fractals. 13:1093-1097

Θεματικοί όροι: Completely integrable finite-dimensional Hamiltonian systems, integration methods, integrability tests, Other connections with logic and set theory, Physics - General Physics, General Physics (physics.gen-ph), rational or irrational invariant tori, 0103 physical sciences, Classical Physics (physics.class-ph), FOS: Physical sciences, non-measurable set, Physics - Classical Physics, 01 natural sciences

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/physics/0103058
http://arxiv.org/abs/physics/0103058
https://ui.adsabs.harvard.edu/abs/2002CSF....13.1093P/abstract
https://www.sciencedirect.com/science/article/pii/S0960077901001151
https://arxiv.org/abs/physics/0103058
https://arxiv.org/pdf/physics/0103058

Vitali's Theorem and WWKL: Vitali's theorem and WWKL

Συγγραφείς: Mariagnese Giusto, Douglas K. Brown, Stephen G. Simpson

Πηγή: Archive for Mathematical Logic. 41:191-206

Θεματικοί όροι: WWKL, Other connections with logic and set theory, computable analysis, second-order arithmetic, Reverse mathematics, 0101 mathematics, Second- and higher-order arithmetic and fragments, Foundations of classical theories (including reverse mathematics), constructive analysis, 01 natural sciences, Constructive and recursive analysis, Lebesgue measure theory

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: https://zbmath.org/1982469
https://doi.org/10.1007/s001530100100